CafeOBJ / cafeobjLinks
Development of the CafeOBJ interpreter
☆33Updated 6 months ago
Alternatives and similar repositories for cafeobj
Users that are interested in cafeobj are comparing it to the libraries listed below
Sorting:
- Scheme macros for non-linear pattern matching with backtracking for non-free data types☆28Updated 5 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
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 4 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆48Updated 4 years ago
- LMNtal Compiler☆20Updated 3 weeks ago
- Smackage Package Manager for Standard ML☆122Updated 2 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆121Updated 3 years ago
- A cyclic theorem prover framework.☆32Updated last month
- MoCHi: Model Checker for Higher-Order Programs☆42Updated last month
- Repository and Wiki for enriching the Standard ML Basis Library☆62Updated 3 years ago
- αProlog☆17Updated last year
- Minimal Haskell Compiler☆63Updated 7 years ago
- A prototype of soft contract verification for an untyped functional language☆35Updated 4 years ago
- TiML: A Functional Programming Language with Time Complexity☆79Updated 7 years ago
- Coq plugin for monomorphization and C code generation☆34Updated last week
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 4 months ago
- LVC verified compiler☆57Updated 6 years ago
- An interpreter of Hagino's Categorical Programming Language (CPL).☆121Updated last year
- Interpreter of the ITGL with dynamic type inference☆22Updated 3 months ago
- HoTT in Lean 3☆80Updated 4 years ago
- Haskell library for non-deterministic pattern matching☆17Updated 3 years ago
- The Definition of Standard ML, Revised (1997)☆114Updated 8 years ago
- Archived since the contents have been moved to the Hydras & Co. repository☆29Updated 2 years ago
- SPSC: A Small Positive Supercompiler☆35Updated last year
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Monadic effects and equational reasoning in Rocq☆71Updated last week
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆155Updated last year