LogicNG

ninjarobot/pengines.client10

Logic query library

A F# client library that provides a simple interface to interact with a sandboxed Prolog environment for querying and evaluating logic rules.

juj/mathgeolib694

Computer graphics math library

A C++ library for linear algebra and geometry manipulation used in computer graphics

lsils/mockturtle214

Logic network library

A C++ library for analyzing and manipulating logic networks

grosser/bitfields223

Boolean library

A Ruby library that enables efficient storage and querying of multiple boolean values in a single integer

jvranish/minikanrent76

logic programming library

An implementation of logic programming concepts in Haskell

ahgamut/blis4

Linear algebra library generator

A software framework that instantiates high-performance linear algebra libraries

awalterschulze/gominikanren38

Logic programmer

An implementation of a logic programming language in Go

haskell/fgl184

Graph library

A library that provides an inductive approach to dealing with graphs

aggregateknowledge/java-hll313

Set counter library

A Java library implementing a probabilistic set data structure for counting distinct values with tunable precision

luc-tielen/eclair-lang220

Logic prog lang

A compiler-based implementation of a minimalist logic programming language

jpa99/algorithms128

Algorithmic library

A collection of various useful algorithms and data structures implemented in Java

circuitgraph/circuitgraph110

Circuit library

A Python library for working with digital circuits as graphs

neo4j-labs/graph390

Graph algorithm library

A high-performance graph algorithm library built on top of the graph_builder crate.

visualcomputing/nub34

Graphics Library

A Java-based rendering and interaction processing library supporting 2D and 3D graphics and animation.

cloudkj/lambda-ml76

ML library

A machine learning library written in Lisp (Clojure) providing simple implementations of various algorithms and utilities.