CafeOBJ / cafeobj
Development of the CafeOBJ interpreter
☆33Updated 4 months ago
Alternatives and similar repositories for cafeobj:
Users that are interested in cafeobj are comparing it to the libraries listed below
- A statically-typed programming language based on "F-ing modules"☆80Updated 4 years ago
- A compiler for the gradually typed lambda calculus☆75Updated 3 years ago
- Template Haskell Implementation of Egison Pattern Matching☆32Updated 4 years ago
- A cyclic theorem prover framework.☆32Updated this week
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆47Updated 5 months ago
- A SuperCompiler for Martin-Löf's Type Theory☆120Updated 3 years ago
- An automatic theorem prover for first order logic with equality☆31Updated 4 years ago
- ☆82Updated 10 months ago
- Coq plugin for monomorphization and C code generation☆34Updated this week
- Coq proofs for the paper "Calculating Correct Compilers"☆30Updated last year
- Minimal Haskell Compiler☆63Updated 7 years ago
- Coq Enhancement Proposals☆56Updated 2 months ago
- A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2☆80Updated 4 years ago
- An interpreter of Hagino's Categorical Programming Language (CPL).☆119Updated 10 months ago
- MoCHi: Model Checker for Higher-Order Programs☆41Updated last year
- Monadic effects and equational reasonig in Coq☆70Updated 3 weeks ago
- αProlog☆17Updated last year
- Scheme macros for non-linear pattern matching with backtracking for non-free data types☆28Updated 5 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆101Updated last year
- Multiparty Session Types in OCaml☆59Updated 4 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆30Updated 3 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Smackage Package Manager for Standard ML☆123Updated 2 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- Repository and Wiki for enriching the Standard ML Basis Library☆61Updated 3 years ago
- A modular sat/smt solver with proof output.☆99Updated last year
- HoTT in Lean 3☆78Updated 4 years ago
- The Definition of Standard ML, Revised (1997)☆114Updated 7 years ago
- PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.☆81Updated 3 years ago
- ☆54Updated last month