tammet / logictools
The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical predicate logic and propositional formulas.
☆72Updated 4 years ago
Alternatives and similar repositories for logictools:
Users that are interested in logictools are comparing it to the libraries listed below
- Some fun examples of solving problems with symbolic execution☆113Updated 6 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- The Kleenex programming language☆55Updated 3 months ago
- APL Compiler targeting a typed array intermediate language☆211Updated 5 months ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 10 years ago
- Higher Order Prolog with Extensional Semantics☆53Updated 4 years ago
- A terse declarative logic programming language☆118Updated 4 years ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆152Updated 9 months ago
- Conjure: The Automated Constraint Modelling Tool☆102Updated this week
- Collapsing Towers of Interpreters☆87Updated last year
- setlX is an interpreter for the high level programming-language SetlX (set language extended).☆27Updated 3 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆28Updated 7 years ago
- metamath proof enumerators and other things☆90Updated 6 months ago
- A small compiler for PCF☆123Updated 4 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆141Updated last month
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- ☆21Updated 3 years ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆281Updated 11 years ago
- A graphical interactive proof assistant designed for education☆165Updated 2 months ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 4 years ago
- The best Prolog visualizer☆85Updated 2 years ago
- Implementation of the λΠ-calculus modulo rewriting☆201Updated 2 months ago
- PRolog Equation Solving System☆29Updated 8 years ago
- WASM builds of the Z3 SMT solver☆142Updated 5 years ago
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 9 years ago
- Chart parser (Earley SPPF)☆27Updated 6 years ago
- Editor for language composition☆58Updated 2 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆120Updated 11 years ago
- Randomized testing for Prolog à la QuickCheck☆23Updated 5 years ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year