noti0na1 / socc
Simple C Compiler in OCaml
☆92Updated 6 years ago
Alternatives and similar repositories for socc:
Users that are interested in socc are comparing it to the libraries listed below
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆60Updated 3 years ago
- The Flambda backend project for OCaml☆128Updated this week
- The LLVM tutorial using OCaml☆61Updated 4 years ago
- Contextual types meet mechanized metatheory!☆186Updated 7 months ago
- A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code☆27Updated 2 years ago
- Lock-free data structures for multicore OCaml☆238Updated 2 months ago
- Parallel Programming over Domains☆173Updated last year
- Standard ML of New Jersey☆200Updated this week
- A toy language based on LLVM that implements the System Fω type-system☆107Updated last year
- C-style preprocessor for OCaml☆108Updated 3 months ago
- The Caml Light implementation of the Caml language☆66Updated 2 years ago
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆238Updated last month
- A hands-on tutorial on the new parallelism features in OCaml 5☆205Updated last year
- A deterministic parser with fused lexing☆72Updated last year
- The LLVM tutorial using OCaml☆29Updated last year
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆89Updated 6 years ago
- Nice parsers in OCaml without the boilerplate☆125Updated 10 months ago
- Software Transactional Memory for OCaml☆117Updated 2 months ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated last month
- Formal verification for OCaml☆257Updated 7 months ago
- An OCaml lexer generator for Unicode☆249Updated this week
- EGraphs in OCaml☆65Updated last year
- A garden of small programming language implementations 🪴☆215Updated this week
- Parallel ML compiler☆72Updated 4 years ago
- OCamlPro public development repository for Alt-Ergo☆135Updated this week
- A Verified Compiler for Gallina, Written in Gallina☆140Updated last month
- A tool-agnostic formal specification language for OCaml.☆137Updated last month
- A mechanisation of Wasm in Coq(Rocq)☆101Updated this week
- Design discussions about the OCaml language☆156Updated last month
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆104Updated 9 years ago