noti0na1 / socc
Simple C Compiler in OCaml
☆94Updated 6 years ago
Alternatives and similar repositories for socc
Users that are interested in socc are comparing it to the libraries listed below
Sorting:
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆243Updated 3 months ago
- Lock-free data structures for multicore OCaml☆244Updated last week
- The Flambda backend project for OCaml☆143Updated this week
- The LLVM tutorial using OCaml☆61Updated 5 years ago
- The Caml Light implementation of the Caml language☆67Updated 2 years ago
- Parallel Programming over Domains☆177Updated last month
- A custom parser/auto-formatter for Standard ML☆76Updated last week
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆63Updated 3 years ago
- A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code☆27Updated 2 years ago
- A toy language based on LLVM that implements the System Fω type-system☆108Updated last year
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆90Updated 6 years ago
- A hands-on tutorial on the new parallelism features in OCaml 5☆207Updated last year
- Design discussions about the OCaml language☆161Updated 3 months ago
- A compiler for the gradually typed lambda calculus☆75Updated 3 years ago
- Standard ML of New Jersey☆207Updated 2 weeks ago
- The LLVM tutorial using OCaml☆30Updated last year
- Nice parsers in OCaml without the boilerplate☆125Updated last year
- C-style preprocessor for OCaml☆109Updated 5 months ago
- OCaml interpreter☆101Updated 5 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆50Updated 2 years ago
- An OCaml lexer generator for Unicode☆251Updated last month
- Contextual types meet mechanized metatheory!☆188Updated 9 months ago
- Generation of S-expression conversion functions from type definitions☆91Updated this week
- Self-contained monadic parser combinators for OCaml☆148Updated last year
- ☆93Updated 2 years ago
- Software Transactional Memory for OCaml☆120Updated last month
- The Graphics library from OCaml, in a standalone repository☆68Updated 2 months ago
- SSA vs ANF☆42Updated 9 years ago
- OCamlPro public development repository for Alt-Ergo☆136Updated last week
- Standard ML Compiler and Toolkit☆285Updated 3 months ago