choral-lang / choral
A compiler, testing bed, and standard library for the Choral programming language.
☆25Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for choral
- A clean implementation of Parsing with Zippers.☆37Updated 6 years ago
- SPSC: A Small Positive Supercompiler☆32Updated 6 months ago
- purple: compiling a reflective language☆29Updated last month
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- A modular sat/smt solver with proof output.☆97Updated 10 months ago
- Statically typed embedding of miniKanren relational programming language into OCaml☆118Updated 2 months ago
- Unofficial git mirror of the BER MetaOCaml patchset.☆64Updated last year
- ☆33Updated 7 months ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆30Updated 3 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆120Updated 2 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆67Updated last year
- language verification, construction, and analysis☆20Updated 2 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆42Updated 2 years ago
- source code for the bondi programming language☆38Updated 5 years ago
- MetaML and MetaOCaml bibliography☆85Updated 2 months ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆27Updated 7 years ago
- OCaml plus Jane Street extensions☆73Updated 4 months ago
- Compilation and Verification of Data-Centric Languages☆56Updated 4 months ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated last year
- ☆10Updated 5 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- A formally verified compiler for a simple language with numbers and sums☆26Updated 3 years ago
- MLton for scalable multicore architectures☆57Updated 10 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- Type checking and logical inference for JetBrains MPS☆31Updated last week
- Multiparty Session Types in OCaml☆57Updated 2 weeks ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 5 months ago