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 3 years ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆60Updated 5 years ago
• ocaml / Zarith
  The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…
  ☆252Updated 9 months ago
• skrah / minicaml
  Compiler for a very restricted subset of OCaml
  ☆25Updated 9 years ago
• smlnj / smlnj
  Standard ML of New Jersey
  ☆223Updated this week
• ocaml-multicore / ocaml5-tutorial
  A hands-on tutorial on the new parallelism features in OCaml 5
  ☆212Updated last year
• rossberg / hamlet
  SML reference interpreter
  ☆118Updated 2 weeks ago
• arbipher / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆32Updated 2 years ago
• kit-ty-kate / labrys
  A toy language based on LLVM that implements the System Fω type-system
  ☆112Updated 2 years ago
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆253Updated 5 months ago
• formalsec / smtml
  An SMT solver frontend for OCaml
  ☆53Updated last week
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆67Updated 2 years ago
• jhjourdan / C11parser
  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
  ☆207Updated last year
• pyrocat101 / opal
  Self-contained monadic parser combinators for OCaml
  ☆150Updated 2 years ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆75Updated 3 years ago
• ocaml-community / cppo
  C-style preprocessor for OCaml
  ☆110Updated last week
• gildor478 / ounit
  ☆96Updated 2 months ago
• yallop / ocaml-ctypes
  Library for binding to C libraries using pure OCaml
  ☆398Updated 2 months ago
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆132Updated 4 months ago
• melsman / mlkit
  Standard ML Compiler and Toolkit
  ☆292Updated last week
• ocaml / RFCs
  Design discussions about the OCaml language
  ☆170Updated 8 months ago
• ocaml-multicore / domainslib
  Parallel Programming over Domains
  ☆179Updated 6 months ago
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆62Updated 2 years ago
• smolkaj / nice-parser
  Nice parsers in OCaml without the boilerplate
  ☆126Updated last year
• OCamlPro / alt-ergo
  OCamlPro public development repository for Alt-Ergo
  ☆139Updated 2 weeks ago
• ocaml-community / sedlex
  An OCaml lexer generator for Unicode
  ☆261Updated 3 weeks ago
• formal-land / coq-of-ocaml
  Formal verification for OCaml
  ☆268Updated last year
• janestreet / ppx_sexp_conv
  Generation of S-expression conversion functions from type definitions
  ☆92Updated this week
• camlp5 / camlp5
  Preprocessor / Pretty Printer for OCaml
  ☆76Updated 3 weeks ago
• eudoxia0 / parsing-menhir
  Code for a tutorial on parsing with Menhir
  ☆14Updated 4 years ago