Alternatives and similar repositories for eba

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

• mshinwell / libmonda
  Make OCaml native debugging awesome
  ☆32Updated 5 years ago
• mirleft / libnqsb-tls
  OCaml-TLS exposed to C
  ☆23Updated 7 years ago
• andreasdotorg / pdfparser
  ☆23Updated 13 years ago
• arjunguha / ocaml-z3
  ☆16Updated 6 years ago
• NVIDIA / remorac
  ☆38Updated 9 years ago
• vellvm / vellvm-legacy
  ☆33Updated 10 years ago
• afeinberg / ocaml-tinylisp
  An absurdly tiny Lisp interpreter in OCaml
  ☆31Updated 13 years ago
• seplogic / corestar
  coreStar is a symbolic execution engine for analysis and verification with separation logic
  ☆25Updated 7 years ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 7 years ago
• strymonas / staged-streams.ocaml
  ☆60Updated 5 years ago
• effuse / profuse
  An OCaml implementation of the FUSE protocol versions 7.8 and 7.23
  ☆30Updated 7 years ago
• regex-generate / regenerate
  Tool to generate test-cases for regular expression engines
  ☆35Updated 2 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• NathanReb / ocaml-afl-examples
  Small examples of how to use AFL to fuzz OCaml programs
  ☆15Updated 5 years ago
• Armael / papiers
  A tool to index your papers/interesting links/... and quickly search through them
  ☆49Updated 3 years ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆31Updated 9 years ago
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 2 years ago
• rgrinberg / stringext
  Extra string functions for OCaml
  ☆21Updated 2 years ago
• vellvm / ollvm
  An higher-level LLVM binding for OCaml
  ☆14Updated 8 years ago
• yallop / staged-generic-programming
  Code for "Staged Generic Programming" (ICFP 2017)
  ☆26Updated last year
• gpetiot / Frama-C-Mutation
  Generation of mutant programs
  ☆20Updated 6 years ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆35Updated 11 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 11 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆35Updated 6 years ago
• xavierleroy / ocamlmpi
  OCaml/MPI interface
  ☆26Updated 4 months ago
• OlivierNicole / ocaml
  The core OCaml system: compilers, runtime system, base libraries
  ☆21Updated last week
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆46Updated 6 years ago
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago
• biboudis / sml-streams
  Streaming library for bulk memory operations with Standard ML in MLton
  ☆28Updated 10 years ago