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

📚Solutions to Language, Proof and Logic (2nd Edition)

Fitch style proof constructor

A JavaScript propositional logic and resolution library

TypeDB: a strongly-typed database

GAPT: General Architecture for Proof Theory

An advanced SAT solver

Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq

A list of philosophy books and resources.

⚠️ KADENCE HAS MOVED TO GITLAB ⚠️

Examples of not obvious behaviors for javascript beginner programmers

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

Basic Analysis, undergraduate real analysis textbook

Formalisation of the linear lambda calculus in Coq

Build trust into your image by creating a blockchain certificate for it

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

Move your mouse, generate code from flow chart

Public append-only ledger microservice built with Slim Framework

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

A predictable state management library that helps implement the BLoC design pattern

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

Project is in active development and has been moved to the EthereumJS VM monorepo.

A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs

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.

A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators

The Flix Programming Language

A digital logic simulator

Project Planeverb is a CPU based real-time wave-based acoustics engine for games. It comes with an integration with the Unity Engine.

Emofishes is a collection of proof of concepts that help improve, bypass or detect virtualized execution environments (focusing on the ones setup for malware analysis).

Batch verification proposal for the zkSNARK verification with the same(!) circuit

Proof of concept to generate safe and fast JavaScript

Intermediate Memory Model (IMM) and compilation correctness proofs for it

Provably correct implementation of insertion sort in Idris.

Hääl - Anonymous Electronic Voting System on Public Blockchains

A curated list of awesome philosophy

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

A framework for formally verifying distributed systems implementations in Coq

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

Coq formalizations of functional languages.

ACL2 System and Books as Maintained by the Community

The Agda standard library

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

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

seL4 specification and proofs

LoMRF is an open-source implementation of Markov Logic Networks

The Definitive Guide to Dark Mode and Bootstrap 4 - A proof of concept

A digital logic designer and circuit simulator.

Examples of NuID's zero knowledge authentication and key management facilities in various languages and frameworks. Open an Issue or PR if you'd like to see your favorite tool here.

OpenNARS for Research 3.0+

Final Year Masters Project: modal logic solver tableaux

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

λΠ Programming Language Theory

🎞️💓🍿 Love streaming - It's always best to watch a movie together ! 🤗

Curated list of Prolog packages and resources

KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

Create linked objects (datapoints) of your devices with a self-defined structure. This makes it possible to create a structure in ioBroker, where all objects are centralized, e.g. to be used in the vis or scripts.

A micro conditional javascript engine used to parse the raw logical and comparison expressions, evaluate the expression in the given data context, and provide access to a text form of the given expressions.

Version 2 of my Crazy Small CPU

Tierion Hash API client library for Node.js

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