MLanguage / mlang
Compiler for the M language, used to compute the income tax of French taxpayers
☆175Updated this week
Related projects: ⓘ
- A reference implementation of Alan Turing's 1936 paper, On Computable Numbers☆39Updated 3 months ago
- Thoughts on adjoint, norm and such.☆165Updated last year
- ☆54Updated 3 years ago
- tar creator+extractor in ~100 lines of prolog☆255Updated last year
- Brzozowski derivative python sketch☆83Updated 5 months ago
- Flexible and Constant Time Programming Language☆197Updated 2 years ago
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆89Updated 9 months ago
- a tiny tile-based editor☆275Updated this week
- ☆98Updated this week
- Forge: A Tool and Language for Teaching Formal Methods☆67Updated 2 weeks ago
- Domain Specific Languages for Computational Law☆67Updated last week
- The Principia Rewrite☆205Updated 4 months ago
- a language for building system dynamic models☆164Updated 2 months ago
- Animations of lambda term reduction sequences☆89Updated 6 years ago
- OCaml code to construct an NFA from a regular expression☆49Updated 4 years ago
- Learn TLA+ for free! No prior experience necessary!☆195Updated 3 weeks ago
- Inpla: Interaction nets as a programming language (the current version)☆273Updated last week
- The cuteness implementation of a dependently typed language.☆188Updated last year
- My personal repository of formally verified mathematics.☆290Updated 3 months ago
- ☆183Updated 11 months ago
- An interactive theorem prover for string diagrams☆105Updated 7 months ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆200Updated 7 months ago
- a categorical deep learning compiler☆104Updated 4 months ago
- functional neural networks in ocaml☆88Updated 4 years ago
- The Brown Benchmark for Table Types (B2T2)☆61Updated 3 months ago
- A formal consistency proof of Quine's set theory New Foundations☆57Updated this week
- Verified hash-based AMQ structures in Coq☆122Updated 4 years ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆124Updated 5 months ago
- A Rust verification tool☆176Updated this week
- Haskell implementation of open games☆143Updated 8 months ago