noti0na1 / soccLinks
Simple C Compiler in OCaml
☆94Updated 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☆61Updated 5 years ago
- Lock-free data structures for multicore OCaml☆248Updated last month
- A custom parser/auto-formatter for Standard ML☆78Updated last month
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆68Updated 3 years ago
- C-style preprocessor for OCaml☆109Updated 6 months ago
- Nice parsers in OCaml without the boilerplate☆125Updated last year
- Parallel Programming over Domains☆177Updated 2 months ago
- An SMT solver frontend for OCaml☆42Updated this week
- The Caml Light implementation of the Caml language☆68Updated 2 years ago
- A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code☆27Updated 2 years ago
- The LLVM tutorial using OCaml☆30Updated last year
- Design discussions about the OCaml language☆162Updated 4 months ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆55Updated 2 years ago
- A toy language based on LLVM that implements the System F ω type-system☆109Updated last year
- OxCaml Parallelism☆28Updated last week
- Standard ML of New Jersey☆210Updated this week
- This repository accompanies Bolt - includes the accompanying dissertation.☆41Updated 4 years ago
- An OCaml lexer generator for Unicode☆256Updated 2 weeks ago
- Parallel ML compiler☆73Updated 5 years ago
- Playing with type systems☆51Updated 5 months ago
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆243Updated 5 months ago
- Formal verification for OCaml☆264Updated 10 months ago
- OCamlPro public development repository for Alt-Ergo☆139Updated last month
- Self-contained monadic parser combinators for OCaml☆149Updated last year
- An tree-walking interpreter for a subset of the Lox programming language from "Crafting Interpreters" written in OCaml☆13Updated 5 years ago
- OCaml interpreter☆101Updated 5 years ago
- OCaml code for Compiler Construction course at University of Cambridge☆41Updated 4 years ago
- A work-in-progress language and compiler for verified low-level programming☆309Updated last week
- Software Transactional Memory for OCaml☆122Updated last week
- SML reference interpreter☆116Updated 2 years ago