MLanguage / mlang
Compiler for the M language, used to compute the income tax of French taxpayers
☆195Updated last week
Alternatives and similar repositories for mlang:
Users that are interested in mlang are comparing it to the libraries listed below
- A reference implementation of Alan Turing's 1936 paper, On Computable Numbers☆45Updated 10 months ago
- A graphical interactive proof assistant designed for education☆167Updated 5 months ago
- The cuteness implementation of a dependently typed language.☆190Updated 2 years ago
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆633Updated last year
- Inpla: Interaction nets as a programming language (the current version)☆299Updated 5 months ago
- The Principia Rewrite☆218Updated 2 months ago
- Flexible and Constant Time Programming Language☆199Updated 3 years ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆170Updated 3 years ago
- Metamath Zero specification language☆338Updated last week
- Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)☆121Updated 9 months ago
- tar creator+extractor in ~100 lines of prolog☆261Updated 2 years ago
- Hash-based Diffing for AST's☆76Updated 5 years ago
- My personal repository of formally verified mathematics.☆297Updated last month
- Brzozowski derivative python sketch☆85Updated 3 weeks ago
- a tiny tile-based editor☆304Updated last week
- A compiler for Standard ML, somewhat☆202Updated 3 years ago
- A sudoku game where you have to prove that your deductions are valid☆114Updated 2 years ago
- Learn TLA+ for free! No prior experience necessary!☆211Updated last month
- Proving leftpad correct two-dozen different ways☆669Updated this week
- The MaPLe compiler: efficient and scalable parallel functional programming☆376Updated last month
- OCaml code to construct an NFA from a regular expression☆51Updated 4 years ago
- A modern supercompiler for call-by-value functional languages☆407Updated last week
- An online IDE for visual programming in Prolog☆240Updated last week
- a language for building system dynamic models☆165Updated this week
- Thoughts on adjoint, norm and such.☆169Updated 2 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆134Updated 2 weeks ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 4 years ago
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆101Updated this week
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆125Updated last year
- A fast functional language based on two level type theory☆390Updated 2 years ago