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

Solutions for the book "Language Proof and Logic".

Fitch style proof constructor

A JavaScript propositional logic and resolution library

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

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 lightweight Promise based HTTP client, using Fetch API.

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

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

GAPT: General Architecture for Proof Theory

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

Formalisation of the linear lambda calculus in Coq

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

Build and evaluate JsonLogic with React components

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.

Haskell bindings for PicoSAT solver

Version 2 of my Crazy Small CPU

Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera

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

Digital circuit learning platform

Tierion Hash API client library for Node.js

Model finder for higher-order logic

Basic Analysis, undergraduate real analysis textbook

An advanced SAT solver

Switch is a small logic game that demonstrates usage of Pixar USD and Hydra on Windows.

Public append-only ledger microservice built with Slim Framework

⚠️ KADENCE HAS MOVED TO GITLAB ⚠️

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

INACTIVE: Move your mouse, generate code from flow chart

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

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

Logic Circuits from the Juice library

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

Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。

A curated list of awesome philosophy

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.

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

O(N log N)-space IPC solver in OCaml

Proof of concept to generate safe and fast JavaScript

Coq formalizations of functional languages.

TypeDB: a strongly-typed database

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

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

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

Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten

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).

A free, open source, online digital circuit/logic designer.

Provably correct implementation of insertion sort in Idris.

A symbolic model checker for Dynamic Epistemic Logic.

A framework for formally verifying distributed systems implementations in Coq

TypeDB: a strongly-typed database

The Agda standard library

Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models

seL4 specification and proofs

Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)

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

An efficient graph solver for generating well-formed models

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

Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.

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

truth-table-generator is a tool that allows to generate a truth table