choral-lang / choralLinks
A compiler, testing bed, and standard library for the Choral programming language.
☆32Updated 2 weeks 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"☆34Updated 2 years ago
- source code for the bondi programming language☆41Updated 6 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆61Updated this week
- Alloy with browser-based visualizations☆29Updated 4 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆89Updated 2 months ago
- Interpreter for the reversible functional language rFun☆36Updated 7 years ago
- The Next Generation of Compositional Programming☆54Updated last month
- Educational Proof Assistant for Type Theory☆75Updated last year
- Bologna Optimal Higher-Order Machine, Version 1.1☆77Updated 8 years ago
- Slog 1.0☆43Updated last year
- The Boomerang Bidirectional Programming Language☆76Updated 2 years ago
- SPSC: A Small Positive Supercompiler☆38Updated last year
- Gallina to Bedrock2 compilation toolkit☆60Updated this week
- SKI combinators☆55Updated 8 years ago
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆72Updated this week
- The Brown Benchmark for Table Types (B2T2)☆64Updated 2 months ago
- ☆37Updated last year
- The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.☆29Updated last year
- Language based on Rewriting Logic☆137Updated last week
- Synthesis of Heap-Manipulating Programs from Separation Logic☆128Updated 2 years ago
- The Makam Metalanguage☆199Updated 2 years ago
- A compiler for the gradually typed lambda calculus☆75Updated 3 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆55Updated 4 years ago
- purple: compiling a reflective language☆33Updated 11 months ago
- Reference compiler for c0☆37Updated 4 months ago
- a self-hosting lambda calculus compiler☆37Updated 6 months ago
- Collapsing Towers of Interpreters☆91Updated 3 months ago
- Haskell implementation and Coq proof for an implicit polymorphic gradual type system.☆16Updated 5 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
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 3 years ago