A small example of a source->source pattern matching to decision tree compiler
☆14Jul 29, 2020Updated 6 years ago
Alternatives and similar repositories for match-compile
Users that are interested in match-compile are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Apr 19, 2022Updated 4 years ago
- ☆12Feb 11, 2019Updated 7 years ago
- Ahnfelt's Type Inference by Example but implemented in Gleam☆12Jul 28, 2023Updated 3 years ago
- An LR(1) parser generator, implemented as a proc macro☆16Apr 21, 2023Updated 3 years ago
- Staged regular expression library for MetaOCaml☆12Jun 30, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Code and Materials for an interactive online course on Logic (part of Strathclyde's CS208 Logic and Algorithms module)☆14Updated this week
- ☆26Dec 20, 2021Updated 4 years ago
- ☆17Apr 4, 2024Updated 2 years ago
- Compiler for a simplified version of Rust developed in OCaml under Jean Christophe Filliatre Supervision (https://www.lri.fr/~filliatr/in…☆13Aug 8, 2020Updated 6 years ago
- A simple BDD library for OCaml☆13May 20, 2025Updated last year
- A Coq plugin that implements exceptions in Coq☆13Jan 7, 2021Updated 5 years ago
- The OverScript programming language☆14Aug 21, 2022Updated 4 years ago
- ☆12Dec 4, 2021Updated 4 years ago
- Haskell implementation and Coq proof for an implicit polymorphic gradual type system.☆17May 27, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆13Nov 23, 2019Updated 6 years ago
- A meta-circular interpreter of a subset of Scheme☆16Apr 12, 2020Updated 6 years ago
- haha I'm graduating☆14Jul 22, 2021Updated 5 years ago
- ☆13Sep 14, 2023Updated 3 years ago
- My Attempt at System Fω with Row-Polymorphism☆31Jul 4, 2021Updated 5 years ago
- A compiler and bytecode interpreter for a subset of Python☆10Jan 23, 2021Updated 5 years ago
- Datatype-generic object-oriented transformations for OCaml☆17Aug 29, 2026Updated 2 months ago
- A high-level programming language written in Scala☆37Nov 26, 2023Updated 2 years ago
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated 8 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆12Apr 3, 2026Updated 6 months ago
- okta programming language compiler. THIS IS A MIRROR OF THE ORIGINAL REPO HOSTED IN SOURCEHUT.☆27May 1, 2022Updated 4 years ago
- Rust macro to build std::Command objects with shell syntax. Uses macro_rules! and works on stable.☆43Mar 12, 2020Updated 6 years ago
- 🧀 A delicious programming language☆36Jan 13, 2023Updated 3 years ago
- Alternative implementation of the logical framework Dedukti in Rust☆25Apr 10, 2025Updated last year
- Dynamically-typed Haskell expressions involving applications and variables.☆22Jan 30, 2025Updated last year
- Formal Semantics for Why3☆21Jul 15, 2026Updated 3 months ago
- A mini language for logic programming☆23Jun 5, 2020Updated 6 years ago
- dependent type theory experiment☆26Mar 1, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A pretty-printing combinator library for OCaml☆49Aug 7, 2024Updated 2 years ago
- A bare-bones LCF-style proof assistant☆26Aug 13, 2019Updated 7 years ago
- WebAssembly specification, reference interpreter, and test suite with effect handlers extension.☆32Jun 10, 2022Updated 4 years ago
- being a programming language for sequential circuits☆26Oct 6, 2026Updated 3 weeks ago
- ☆15Aug 11, 2026Updated 2 months ago
- Fun plugin to play with the Gallina AST.☆39Oct 3, 2019Updated 7 years ago
- Dice Language Support for VS Code☆10Sep 29, 2020Updated 6 years ago