MLanguage / mlangLinks
Compiler for the M language, used to compute the income tax of French taxpayers
☆198Updated 2 weeks ago
Alternatives and similar repositories for mlang
Users that are interested in mlang are comparing it to the libraries listed below
Sorting:
- a language for building system dynamic models☆169Updated this week
- a tiny tile-based editor☆317Updated 2 months ago
- Domain Specific Languages for Computational Law☆78Updated 7 months ago
- Forge: A Tool and Language for Teaching Formal Methods☆95Updated this week
- Learn TLA+ for free! No prior experience necessary!☆236Updated last month
- ☆53Updated 5 months ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆121Updated last month
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆124Updated last week
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- Inpla: Interaction nets as a programming language (the current version)☆318Updated 3 weeks ago
- The Principia Rewrite☆229Updated 2 months ago
- A minimal proof checker.☆79Updated last year
- Flexible and Constant Time Programming Language☆204Updated 3 years ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆228Updated 2 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆197Updated 2 weeks ago
- tar creator+extractor in ~100 lines of prolog☆259Updated 3 years ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- OCaml code to construct an NFA from a regular expression☆53Updated 5 years ago
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- Verifiable online voting system. This is a mirror of https://gitlab.com/vcast.vote/belenios☆145Updated this week
- The cuteness implementation of a dependently typed language.☆193Updated 3 years ago
- Hash-based Diffing for AST's☆77Updated 5 years ago
- The Brown Benchmark for Table Types (B2T2)☆67Updated 6 months ago
- A graphical interactive proof assistant designed for education☆171Updated last year
- A simple program reducer for any language.☆77Updated 2 years ago
- A typed, polyglot, functional language☆211Updated this week
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago
- ☆14Updated 2 years ago
- Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)☆123Updated last year
- The glitch-soc/Mastodon fork running on types.pl☆26Updated last week