ManticoreProject / manticore
Parallel ML compiler
☆71Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for manticore
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- A statically-typed programming language based on "F-ing modules"☆80Updated 4 years ago
- Gallina to Bedrock2 compilation toolkit☆50Updated last month
- The Mechanization of Standard ML☆72Updated 2 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆34Updated 7 years ago
- A Verified Compiler for Gallina, Written in Gallina☆136Updated 3 months ago
- A deterministic parser with fused lexing☆71Updated last year
- Repository and Wiki for enriching the Standard ML Basis Library☆60Updated 2 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆120Updated 2 years ago
- A modular sat/smt solver with proof output.☆97Updated 10 months ago
- ☆51Updated last month
- The LLVM tutorial using OCaml☆61Updated 4 years ago
- Hoare Type Theory☆69Updated last month
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆87Updated 5 years ago
- Unofficial git mirror of the BER MetaOCaml patchset.☆64Updated last year
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆99Updated last year
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆40Updated 3 years ago
- A custom parser/auto-formatter for Standard ML☆68Updated 11 months ago
- MetaML and MetaOCaml bibliography☆85Updated 2 months ago
- LL(1) parser generator verified in Coq☆44Updated 4 years ago
- SML reference interpreter☆112Updated last year
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆47Updated last month
- The Caml Light implementation of the Caml language☆61Updated last year
- Robust multi-prompt delimited control and effect handlers in C/C++☆111Updated 11 months ago
- EGraphs in OCaml☆60Updated 10 months ago
- Software Transactional Memory for OCaml☆109Updated last week
- SML Parser Combinator Library☆27Updated 8 years ago
- A basic library of algorithms and data structures (a la NJlib)☆74Updated last year
- αProlog☆17Updated last year