Alternatives and similar repositories for ocaml-llvm-tutorial

Users that are interested in ocaml-llvm-tutorial are comparing it to the libraries listed below

• termite-analyser / z3overlay
  An overlay for the OCaml Z3 binding.
  ☆34Updated 2 years ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 5 years ago
• dsheets / ocaml-sodium
  Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl
  ☆57Updated 4 years ago
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 5 years ago
• keigoi / session-ocaml
  An implementation of binary session types in OCaml
  ☆36Updated 6 years ago
• mshinwell / libmonda
  Make OCaml native debugging awesome
  ☆32Updated 5 years ago
• seadynamic8 / ocaml-modern-docs
  Unofficial OCaml Standard Library Docs - Modern Theme
  ☆11Updated 6 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated 2 months ago
• ocaml-multicore / multicore-opam
  OPAM repo for OCaml multicore development
  ☆51Updated 3 years ago
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• colinbenner / ocaml-llvm
  Outdated version of an LLVM based backend for OCaml. Newer version:
  ☆20Updated 13 years ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆35Updated 11 years ago
• rgrinberg / stringext
  Extra string functions for OCaml
  ☆21Updated 2 years ago
• mirleft / ocaml-asn1-combinators
  Embed typed ASN.1 grammars in OCaml
  ☆36Updated 5 months ago
• ocsigen / macaque
  ☆38Updated 5 years ago
• seplogic / corestar
  coreStar is a symbolic execution engine for analysis and verification with separation logic
  ☆25Updated 7 years ago
• derdon / menhir-example
  This is OCaml code which uses the libraries menhir (http://cristal.inria.fr/~fpottier/menhir/) and the Batteries (http://batteries.forge.…
  ☆51Updated 6 years ago
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 2 years ago
• JohnReppy / compiling-pattern-guards
  Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"
  ☆25Updated 2 years ago
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆31Updated 8 years ago
• keigoi / ocaml-mpst
  Multiparty Session Types in OCaml
  ☆60Updated 7 months ago
• matthesjh / coq-tal
  Formalization of Typed Assembly Language (TAL) in Coq
  ☆17Updated last year
• janestreet / async_parallel
  Distributed computing library
  ☆35Updated 6 years ago
• xguerin / bitstring
  OCaml Bitstring - bitstring matching for OCaml
  ☆66Updated last year
• hopv / MoCHi
  MoCHi: Model Checker for Higher-Order Programs
  ☆42Updated last month
• SumitPadhiyar / confuzz
  Concurrency property fuzzing tool for Lwt-based OCaml programs
  ☆29Updated 4 years ago
• yallop / ocaml-pb
  An OCaml library for describing Protobuf messages
  ☆30Updated 4 years ago
• vocal-project / vocal
  ☆49Updated 4 years ago
• gangtan / CPUmodels
  GoNative project: formal machines models in Coq
  ☆36Updated 7 years ago
• afeinberg / ocaml-tinylisp
  An absurdly tiny Lisp interpreter in OCaml
  ☆31Updated 13 years ago