Alternatives and similar repositories for socc:

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

• ocaml-flambda / flambda-backend
  The Flambda backend project for OCaml
  ☆132Updated this week
• ocaml / Zarith
  The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…
  ☆240Updated 2 months ago
• 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
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆239Updated 2 months ago
• kit-ty-kate / labrys
  A toy language based on LLVM that implements the System Fω type-system
  ☆107Updated last year
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 4 years ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆218Updated this week
• smlnj / smlnj
  Standard ML of New Jersey
  ☆201Updated this week
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆75Updated 3 years ago
• andreypopp / type-systems
  Playing with type systems
  ☆49Updated 2 months ago
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆312Updated last week
• ocaml-multicore / domainslib
  Parallel Programming over Domains
  ☆174Updated last year
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆117Updated 2 months ago
• formal-land / coq-of-ocaml
  Formal verification for OCaml
  ☆256Updated 7 months ago
• OCamlPro / alt-ergo
  OCamlPro public development repository for Alt-Ergo
  ☆136Updated this week
• ocaml / RFCs
  Design discussions about the OCaml language
  ☆157Updated last month
• camlp5 / camlp5
  Preprocessor / Pretty Printer for OCaml
  ☆76Updated this week
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆66Updated 2 years ago
• ocaml-community / sedlex
  An OCaml lexer generator for Unicode
  ☆250Updated 3 weeks ago
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆140Updated last month
• arbipher / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆28Updated last year
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆60Updated 3 years ago
• CertiCoq / VeriFFI
  VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …
  ☆43Updated 2 months ago
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆303Updated 2 weeks ago
• ManticoreProject / manticore
  Parallel ML compiler
  ☆72Updated 4 years ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆75Updated 2 weeks ago
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆140Updated last month
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆67Updated this week
• ocaml-multicore / ocaml5-tutorial
  A hands-on tutorial on the new parallelism features in OCaml 5
  ☆205Updated last year
• ocaml-community / cppo
  C-style preprocessor for OCaml
  ☆108Updated 3 months ago