noti0na1 / socc

Related projects ⓘ

Alternatives and complementary repositories for socc

• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 4 years 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
• arbipher / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆25Updated last year
• kit-ty-kate / labrys
  A toy language based on LLVM that implements the System Fω type-system
  ☆103Updated last year
• ocaml-flambda / flambda-backend
  The Flambda backend project for OCaml
  ☆112Updated this week
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆202Updated this week
• ocaml-community / cppo
  C-style preprocessor for OCaml
  ☆108Updated last month
• andreypopp / type-systems
  Playing with type systems
  ☆46Updated 2 years ago
• ocaml / Zarith
  The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…
  ☆231Updated 3 weeks ago
• ocaml-multicore / domainslib
  Parallel Programming over Domains
  ☆171Updated 8 months ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆71Updated last year
• smolkaj / nice-parser
  Nice parsers in OCaml without the boilerplate
  ☆125Updated 6 months ago
• BinaryAnalysisPlatform / FrontC
  An OCaml library providing a C parser and lexer
  ☆40Updated this week
• ocaml-community / sedlex
  An OCaml lexer generator for Unicode
  ☆239Updated last week
• ocaml-multicore / ocaml5-tutorial
  A hands-on tutorial on the new parallelism features in OCaml 5
  ☆203Updated 7 months ago
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆61Updated last year
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆127Updated last month
• OCamlPro / alt-ergo
  OCamlPro public development repository for Alt-Ergo
  ☆133Updated last week
• johnwhitington / ocamli
  OCaml interpreter
  ☆100Updated 5 years ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆68Updated 10 months ago
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆109Updated this week
• gildor478 / ounit
  ☆88Updated last year
• ocaml-bench / sandmark
  A benchmark suite for the OCaml compiler
  ☆82Updated 2 months ago
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆76Updated 3 years ago
• ocaml / RFCs
  Design discussions about the OCaml language
  ☆148Updated last month
• WasmCert / WasmCert-Coq
  A mechanisation of Wasm in Coq
  ☆95Updated this week
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆136Updated 2 months ago
• Timothy-G-Griffin / cc_cl_cam_ac_uk
  OCaml code for Compiler Construction course at University of Cambridge
  ☆41Updated 3 years ago
• sabine / ocaml-to-wasm-overview
  ☆101Updated 2 years ago
• smlnj / smlnj
  Standard ML of New Jersey
  ☆184Updated 2 weeks ago