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☆244Updated last week
- The Flambda backend project for OCaml☆146Updated this week
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆243Updated 4 months ago
- A toy language based on LLVM that implements the System Fω type-system☆109Updated last year
- A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code☆27Updated 2 years ago
- The Caml Light implementation of the Caml language☆68Updated 2 years ago
- Standard ML of New Jersey☆210Updated last week
- An OCaml lexer generator for Unicode☆253Updated this week
- Generation of S-expression conversion functions from type definitions☆91Updated this week
- Design discussions about the OCaml language☆161Updated 3 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆63Updated 3 years ago
- Parallel ML compiler☆72Updated 5 years ago
- A custom parser/auto-formatter for Standard ML☆76Updated 3 weeks ago
- The LLVM tutorial using OCaml☆30Updated last year
- Parallel Programming over Domains☆177Updated last month
- A compiler for the gradually typed lambda calculus☆75Updated 3 years ago
- A garden of small programming language implementations 🪴☆240Updated this week
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆90Updated 6 years ago
- OCamlPro public development repository for Alt-Ergo☆138Updated 3 weeks ago
- Formal verification for OCaml☆263Updated 9 months ago
- Self-contained monadic parser combinators for OCaml☆149Updated last year
- C-style preprocessor for OCaml☆109Updated 5 months ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 4 years ago
- Playing with type systems☆51Updated 5 months ago
- This repository accompanies Bolt - includes the accompanying dissertation.☆41Updated 4 years ago
- A stepping debugger for Standard ML (SML)☆27Updated last year
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆45Updated 5 months ago
- Software Transactional Memory for OCaml☆120Updated 2 months ago
- A hands-on tutorial on the new parallelism features in OCaml 5☆206Updated last year