choral-lang / choralLinks
A compiler, testing bed, and standard library for the Choral programming language.
☆29Updated 3 months ago
Alternatives and similar repositories for choral
Users that are interested in choral are comparing it to the libraries listed below
Sorting:
- source code for the bondi programming language☆40Updated 6 years ago
- A compiler for the gradually typed lambda calculus☆75Updated 3 years ago
- The Boomerang Bidirectional Programming Language☆77Updated 2 years ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated 2 years ago
- Alloy with browser-based visualizations☆29Updated 4 years ago
- Statically typed embedding of miniKanren relational programming language into OCaml☆118Updated 3 weeks ago
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆44Updated 2 months ago
- purple: compiling a reflective language☆33Updated 9 months ago
- Interpreter for the reversible functional language rFun☆36Updated 7 years ago
- Slog 1.0☆43Updated last year
- LVC verified compiler☆57Updated 6 years ago
- Compilation and Verification of Data-Centric Languages☆58Updated 11 months ago
- The MLtonLibrary repository☆36Updated 2 years ago
- SPSC: A Small Positive Supercompiler☆37Updated last year
- ☆60Updated 5 years ago
- The Ur/Web People Organizer☆30Updated last year
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- Kanren with databases☆43Updated 11 months ago
- Program logic for developing and verifying distributed systems☆34Updated last week
- A clean implementation of Parsing with Zippers.☆38Updated 6 years ago
- Course on Metaprogramming☆71Updated 2 weeks ago
- SOMns: A Newspeak for Concurrency Research☆69Updated 4 months ago
- Mystery Languages☆38Updated last year
- A SuperCompiler for Martin-Löf's Type Theory☆122Updated 3 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 6 months ago
- generative programming & verification☆33Updated 3 weeks ago
- A playground for parsers, type checkers, interpreters, compilers, etc.☆40Updated 6 months ago
- A Gradual Dependently-typed Language☆14Updated 6 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- Coq plugin for monomorphization and C code generation☆34Updated last month