82 Open source projects that are alternatives of or similar to LPL

A Reasoning System for a First-Order Logic of Limited Belief, written in C++

Move your mouse, generate code from flow chart

LaTTe : a Laboratory for Type Theory experiments (in clojure)

A list of philosophy books and resources.

ACL2 System and Books as Maintained by the Community

Mod for minetest that adds digital circuitry [=minecraft redstone]

Schematics for DLS - The Digital Logic Simulator game http://makingartstudios.itch.io/dls

Examples of not obvious behaviors for javascript beginner programmers

Basic pytorch implementation of NAC/NALU from Neural Arithmetic Logic Units paper by trask et.al

LoMRF is an open-source implementation of Markov Logic Networks

Openllet is an OWL 2 reasoner in Java, build on top of Pellet.

A digital logic designer and circuit simulator.

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.

Final Year Masters Project: modal logic solver tableaux

The Flix Programming Language

λΠ Programming Language Theory

A digital logic simulator

Curated list of Prolog packages and resources

OpenNARS for Research 3.0+

TypeQL: the query language of TypeDB - a strongly-typed database

Functional relational programming for Clojure(Script).