CafeOBJ / cafeobj
Development of the CafeOBJ interpreter
☆32Updated this week
Related projects ⓘ
Alternatives and complementary repositories for cafeobj
- Repository and Wiki for enriching the Standard ML Basis Library☆60Updated 2 years ago
- A statically-typed programming language based on "F-ing modules"☆80Updated 4 years ago
- Multiparty Session Types in OCaml☆57Updated 3 weeks ago
- SPSC: A Small Positive Supercompiler☆32Updated 6 months ago
- Scheme macros for non-linear pattern matching with backtracking for non-free data types☆28Updated 5 years ago
- OCaml bindings for RE2☆43Updated 2 weeks ago
- A formally verified compiler for a simple language with numbers and sums☆26Updated 3 years ago
- A compiler for the gradually typed lambda calculus☆76Updated 3 years ago
- Template Haskell Implementation of Egison Pattern Matching☆32Updated 4 years ago
- Owl Tutorial☆6Updated 4 months ago
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆47Updated last month
- A SuperCompiler for Martin-Löf's Type Theory☆120Updated 2 years ago
- αProlog☆17Updated last year
- Unofficial git mirror of the BER MetaOCaml patchset.☆64Updated last year
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆34Updated 7 years ago
- Smackage Package Manager for Standard ML☆122Updated 2 years ago
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2☆78Updated 4 years ago
- Monadic effects and equational reasonig in Coq☆68Updated 3 weeks ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated last week
- The Definition of Standard ML, Revised (1997)☆113Updated 7 years ago
- Preprocessor / Pretty Printer for OCaml☆74Updated last month
- Delimited continuations in byte-code and native OCaml☆26Updated 3 years ago
- ☆80Updated 6 months ago
- Mirror of Epigram 2, by Conor McBride, et al.☆48Updated 4 years ago
- an SML language server that uses SML/NJ's "visible compiler" feature☆25Updated 6 years ago
- An automatic theorem prover for first order logic with equality☆30Updated 4 years ago
- An encyclopedia of proofs☆57Updated last week
- A cyclic theorem prover framework.☆31Updated 3 weeks ago