giomasce / mmpp
Metamath in C++
☆11Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for mmpp
- Differentiation in logical form by Stone duality.☆8Updated 7 years ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 4 years ago
- A high level LLVM IR AST provider for GraphEngine JIT.☆22Updated 6 years ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Updated 4 years ago
- programming languages invented/implemented by myself.☆8Updated last year
- A compiler for higher rank ML with type classes☆13Updated 4 years ago
- The Dragon Virtual Machine.☆10Updated 6 years ago
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 4 years ago
- The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.☆29Updated 5 years ago
- Theorems that rule this multiverse☆11Updated 6 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- MLpolyR☆7Updated 8 years ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- Mathematical notes and papers☆25Updated last month
- The dependently & gradually typed Sage programming language☆9Updated 10 years ago
- The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as record…☆14Updated 4 years ago
- The MLPolyR programming language, revived☆24Updated 4 years ago
- A toy IO library for Arend☆18Updated 3 years ago
- Constructive Interpretations of HoTT☆36Updated 4 years ago
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆41Updated 4 years ago
- Exploring Automatic Differentiation with Racket☆12Updated 2 years ago
- A Scheme interpreter in Python☆14Updated 10 years ago
- My PhD Thesis☆14Updated 2 years ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆13Updated 11 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆34Updated 7 years ago
- a Haskell implementation of Deep Learning frameworks.☆12Updated 8 years ago
- Elaboration with inductive types☆16Updated last year