MLanguage / mlangLinks
Compiler for the M language, used to compute the income tax of French taxpayers
☆198Updated last week
Alternatives and similar repositories for mlang
Users that are interested in mlang are comparing it to the libraries listed below
Sorting:
- a tiny tile-based editor☆317Updated 2 months ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- a language for building system dynamic models☆170Updated last week
- ☆53Updated 5 months ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆121Updated 3 weeks ago
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆124Updated this week
- Brzozowski derivative python sketch☆86Updated 9 months ago
- Hash-based Diffing for AST's☆77Updated 5 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆94Updated last week
- A graphical interactive proof assistant designed for education☆171Updated last year
- Domain Specific Languages for Computational Law☆78Updated 7 months ago
- The Principia Rewrite☆229Updated 2 months ago
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆115Updated 2 years ago
- My personal repository of formally verified mathematics.☆308Updated last week
- Flexible and Constant Time Programming Language☆204Updated 3 years ago
- Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)☆123Updated last year
- A formal consistency proof of Quine's set theory New Foundations☆79Updated 7 months ago
- Learn TLA+ for free! No prior experience necessary!☆235Updated last month
- A math language for dimensional analysis☆23Updated 2 years ago
- The Brown Benchmark for Table Types (B2T2)☆67Updated 6 months ago
- Inpla: Interaction nets as a programming language (the current version)☆318Updated 2 weeks ago
- A Low Barrier Proof Assistant☆153Updated this week
- An interactive theorem prover for string diagrams☆124Updated last year
- Metamath Zero specification language☆372Updated 3 weeks ago
- *cheep cheep shriek caw*☆99Updated 2 years ago
- An Activitypub server in OCaml!☆69Updated 2 years ago
- A small collection of formally verified junk theorems provable in Lean4 + Mathlib.☆90Updated last month
- A minimal proof checker.☆78Updated last year
- OCaml code to construct an NFA from a regular expression☆52Updated 5 years ago