MLanguage / mlangLinks
Compiler for the M language, used to compute the income tax of French taxpayers
☆197Updated last week
Alternatives and similar repositories for mlang
Users that are interested in mlang are comparing it to the libraries listed below
Sorting:
- Flexible and Constant Time Programming Language☆200Updated 3 years ago
- a language for building system dynamic models☆166Updated 2 months ago
- a tiny tile-based editor☆304Updated 3 weeks ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆176Updated 4 years ago
- A graphical interactive proof assistant designed for education☆166Updated 7 months ago
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆109Updated this week
- Forge: A Tool and Language for Teaching Formal Methods☆81Updated last week
- Domain Specific Languages for Computational Law☆76Updated 2 weeks ago
- Brzozowski derivative python sketch☆85Updated 3 months ago
- Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)☆121Updated last year
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆115Updated this week
- Inpla: Interaction nets as a programming language (the current version)☆309Updated 8 months ago
- The Principia Rewrite☆224Updated 5 months ago
- A reference implementation of Alan Turing's 1936 paper, On Computable Numbers☆45Updated last year
- ☆53Updated 4 years ago
- A simple program reducer for any language.☆74Updated 2 years ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆222Updated last year
- Verifiable online voting system. This is a mirror of https://gitlab.com/vcast.vote/belenios☆139Updated 3 weeks ago
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆110Updated last year
- The Brown Benchmark for Table Types (B2T2)☆64Updated this week
- Learn TLA+ for free! No prior experience necessary!☆216Updated 4 months ago
- A minimal proof checker.☆75Updated 10 months ago
- OCaml - Oxidized!☆411Updated this week
- Software suite for ranking chess positions and accurately estimating the number of legal chess positions☆165Updated last year
- The MaPLe compiler: efficient and scalable parallel functional programming☆385Updated 3 months ago
- Miking - the meta viking: a meta-language system for creating embedded languages☆54Updated last month
- An Activitypub server in OCaml!☆70Updated 2 years ago
- My personal repository of formally verified mathematics.☆302Updated this week
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 4 months ago