giomasce / mmppLinks
Metamath in C++
☆14Updated 6 years ago
Alternatives and similar repositories for mmpp
Users that are interested in mmpp are comparing it to the libraries listed below
Sorting:
- A high level LLVM IR AST provider for GraphEngine JIT.☆22Updated 7 years ago
- The Dragon Virtual Machine.☆10Updated 7 years ago
- ☆30Updated 7 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- A pattern match macro for chez-scheme☆19Updated 8 years ago
- Successor project: https://github.com/thautwarm/Quick-Backend☆24Updated 6 years ago
- OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations☆26Updated last year
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆16Updated 7 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- SPARK 2014 repository for the Why3 verification platform.☆32Updated 2 weeks ago
- JIT compiler for Scheme targeting x86-64 platforms☆31Updated 6 years ago
- This repository is supposed to hold a released version of Xanadu☆24Updated 4 years ago
- Some papers on "Lambda Calculus"☆31Updated last week
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago
- Compile JavaScript to Native Code☆29Updated 5 years ago
- Implementing a programming language within 20 minutes, also a tutorial for syntax driven parsing with frontend-for-free.☆16Updated 4 years ago
- NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle☆16Updated 2 years ago
- ☆39Updated 3 weeks ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 5 years ago
- My Own Linear Lisp☆42Updated 7 years ago
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆44Updated 7 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 5 months ago
- The Cubicle model checker☆14Updated last year
- ☆19Updated 8 years ago
- OCamlPro public development repository for Alt-Ergo☆139Updated 3 weeks ago
- Parser for the llvm bitcode format☆59Updated last week
- A Self-Hosting LISP to LLVM-IR Compiler☆28Updated 6 years ago
- ☆57Updated 8 years ago
- minikanren mips assembler/disassembler☆33Updated 10 years ago
- Archived since the contents have been moved to the Hydras & Co. repository☆30Updated 2 years ago