Alternatives and similar repositories for socc:

Users that are interested in socc are comparing it to the libraries listed below

• anhnguyen1618 / Tiger-ocaml-llvm-compiler
  A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code
  ☆27Updated 2 years ago
• arbipher / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆28Updated last year
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆244Updated 3 months ago
• ocaml-community / cppo
  C-style preprocessor for OCaml
  ☆109Updated 4 months ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 5 years ago
• ocaml-flambda / flambda-backend
  The Flambda backend project for OCaml
  ☆136Updated this week
• ocaml-multicore / domainslib
  Parallel Programming over Domains
  ☆177Updated 2 weeks ago
• kit-ty-kate / labrys
  A toy language based on LLVM that implements the System Fω type-system
  ☆108Updated last year
• andreypopp / type-systems
  Playing with type systems
  ☆50Updated 3 months ago
• ocaml / Zarith
  The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…
  ☆242Updated 3 months ago
• Ekdohibs / joujou
  A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …
  ☆89Updated 6 years ago
• ocaml / RFCs
  Design discussions about the OCaml language
  ☆160Updated 2 months ago
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆120Updated 3 weeks ago
• ManticoreProject / manticore
  Parallel ML compiler
  ☆72Updated 4 years ago
• cmaes / miniml
  Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
  ☆31Updated 4 years ago
• smolkaj / nice-parser
  Nice parsers in OCaml without the boilerplate
  ☆125Updated 11 months ago
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆66Updated 2 years ago
• ocaml-multicore / ocaml5-tutorial
  A hands-on tutorial on the new parallelism features in OCaml 5
  ☆207Updated last year
• janestreet / ppx_sexp_conv
  Generation of S-expression conversion functions from type definitions
  ☆89Updated 5 months ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆60Updated 3 years ago
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆141Updated 2 months ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆76Updated last month
• samarthkishor / crafting-interpreters
  An tree-walking interpreter for a subset of the Lox programming language from "Crafting Interpreters" written in OCaml
  ☆13Updated 5 years ago
• Gbury / mSAT
  A modular sat/smt solver with proof output.
  ☆99Updated last year
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆48Updated 2 years ago
• johnwhitington / ocamli
  OCaml interpreter
  ☆100Updated 5 years ago
• ushitora-anqou / aqaml
  Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.
  ☆57Updated 5 years ago
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆75Updated 3 years ago
• formalsec / smtml
  An SMT solver frontend for OCaml
  ☆34Updated this week
• Timothy-G-Griffin / cc_cl_cam_ac_uk
  OCaml code for Compiler Construction course at University of Cambridge
  ☆41Updated 4 years ago