noti0na1 / soccLinks
Simple C Compiler in OCaml
☆95Updated 7 years ago
Alternatives and similar repositories for socc
Users that are interested in socc are comparing it to the libraries listed below
Sorting:
- The LLVM tutorial using OCaml☆60Updated 5 years ago
- A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code☆27Updated 3 years ago
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆253Updated 10 months ago
- Parallel ML compiler☆74Updated 5 years ago
- Compiler for a very restricted subset of OCaml☆25Updated 9 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆77Updated 3 years ago
- SML reference interpreter☆120Updated last month
- Standard ML Compiler and Toolkit☆293Updated this week
- A hands-on tutorial on the new parallelism features in OCaml 5☆213Updated last year
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆209Updated last year
- Standard ML of New Jersey☆230Updated this week
- Lock-free data structures for multicore OCaml☆258Updated 6 months ago
- Self-contained monadic parser combinators for OCaml☆150Updated 2 years ago
- A toy language based on LLVM that implements the System Fω type-system☆113Updated 2 years ago
- The Caml Light implementation of the Caml language☆67Updated 2 years ago
- C-style preprocessor for OCaml☆110Updated 3 weeks ago
- OCamlPro public development repository for Alt-Ergo☆139Updated last month
- A custom parser/auto-formatter for Standard ML☆85Updated 4 months ago
- An SMT solver frontend for OCaml☆55Updated last week
- Software Transactional Memory for OCaml☆134Updated 6 months ago
- Formal verification for OCaml☆271Updated last year
- ☆98Updated 4 months ago
- Parallel Programming over Domains☆182Updated 8 months ago
- The LLVM tutorial using OCaml☆34Updated 2 years ago
- A collection of programming languages and type systems.☆33Updated 7 months ago
- Automated S-expression conversion☆172Updated 3 weeks ago
- Playing with type systems☆51Updated 11 months ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆65Updated 2 years ago
- Preprocessor / Pretty Printer for OCaml☆76Updated 2 months ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆90Updated 7 years ago