choral-lang / choralLinks
A compiler, testing bed, and standard library for the Choral programming language.
☆30Updated 4 months ago
Alternatives and similar repositories for choral
Users that are interested in choral are comparing it to the libraries listed below
Sorting:
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- Slog 1.0☆43Updated last year
- purple: compiling a reflective language☆33Updated 10 months ago
- Statically typed embedding of miniKanren relational programming language into OCaml☆118Updated last month
- The Brown Benchmark for Table Types (B2T2)☆64Updated 2 weeks ago
- source code for the bondi programming language☆40Updated 6 years ago
- Alloy with browser-based visualizations☆29Updated 4 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆54Updated 6 months ago
- The Makam Metalanguage☆198Updated 2 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆83Updated last month
- Interpreter for the reversible functional language rFun☆36Updated 7 years ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆127Updated 2 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆90Updated 6 years ago
- The Next Generation of Compositional Programming☆52Updated last month
- The Candle theorem prover (fork of the HOL Light sources)☆14Updated 11 months ago
- The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.☆28Updated last year
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆72Updated this week
- The Boomerang Bidirectional Programming Language☆77Updated 2 years ago
- Compilation and Verification of Data-Centric Languages☆58Updated last year
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Unofficial git mirror of the BER MetaOCaml patchset.☆66Updated 3 months ago
- Collapsing Towers of Interpreters☆91Updated last month
- Prolog, Datalog, languages, resources, and beyond!☆32Updated 9 months ago
- Mystery Languages☆38Updated last year
- A Gradual Dependently-typed Language☆14Updated 6 years ago
- LVC verified compiler☆57Updated 6 years ago
- ☆71Updated 5 years ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year
- An experimental language server for SomewhatML☆24Updated 2 years ago