noti0na1 / socc
Simple C Compiler in OCaml
☆88Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for socc
- The LLVM tutorial using OCaml☆61Updated 4 years ago
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆231Updated last month
- The Flambda backend project for OCaml☆113Updated this week
- Parallel ML compiler☆71Updated 4 years ago
- The LLVM tutorial using OCaml☆25Updated last year
- Parallel Programming over Domains☆172Updated 8 months ago
- The Caml Light implementation of the Caml language☆61Updated last year
- A hands-on tutorial on the new parallelism features in OCaml 5☆202Updated 8 months ago
- Lock-free data structures for multicore OCaml☆203Updated this week
- A toy language based on LLVM that implements the System Fω type-system☆103Updated last year
- Nice parsers in OCaml without the boilerplate☆124Updated 6 months ago
- A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code☆27Updated 2 years ago
- Standard ML of New Jersey☆184Updated last week
- A custom parser/auto-formatter for Standard ML☆68Updated 11 months ago
- A tool-agnostic formal specification language for OCaml.☆128Updated this week
- C-style preprocessor for OCaml☆108Updated last week
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆99Updated last year
- A statically-typed programming language based on "F-ing modules"☆80Updated 4 years ago
- An OCaml lexer generator for Unicode☆240Updated 3 weeks ago
- OCaml interpreter☆99Updated 5 years ago
- Self-contained monadic parser combinators for OCaml☆146Updated last year
- Software Transactional Memory for OCaml☆109Updated last week
- A compiler for the gradually typed lambda calculus☆76Updated 3 years ago
- Design discussions about the OCaml language☆148Updated last month
- Playing with type systems☆46Updated 2 years ago
- A benchmark suite for the OCaml compiler☆82Updated 2 months ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆87Updated 5 years ago
- A deterministic parser with fused lexing☆71Updated last year
- OCamlPro public development repository for Alt-Ergo☆132Updated last week
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆34Updated last year