choral-lang / choralLinks
A compiler, testing bed, and standard library for the Choral programming language.
☆28Updated last month
Alternatives and similar repositories for choral
Users that are interested in choral are comparing it to the libraries listed below
Sorting:
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated last year
- A clean implementation of Parsing with Zippers.☆38Updated 6 years ago
- LVC verified compiler☆57Updated 6 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 6 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- SPSC: A Small Positive Supercompiler☆35Updated last year
- ☆29Updated 9 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆121Updated 3 years ago
- Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)☆29Updated 7 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 11 months ago
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆43Updated last month
- MLton for scalable multicore architectures☆57Updated 11 years ago
- Compilation and Verification of Data-Centric Languages☆58Updated 10 months ago
- Provides a reference implementation of FeatherweightRust in Java.☆14Updated 3 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆32Updated 6 years ago
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆48Updated 7 months ago
- purple: compiling a reflective language☆32Updated 7 months ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆31Updated 4 years ago
- Coq plugin for monomorphization and C code generation☆34Updated this week
- Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).☆55Updated 3 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- source code for the bondi programming language☆40Updated 6 years ago
- A Gradual Dependently-typed Language☆14Updated 5 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- Program logic for developing and verifying distributed systems☆34Updated 2 weeks ago
- The rewrite of TLAPM, the TLAPS proof manager☆1Updated 5 years ago