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 6 years ago
• andreasdotorg / pdfparser
  ☆23Updated 14 years ago
• seplogic / corestar
  coreStar is a symbolic execution engine for analysis and verification with separation logic
  ☆25Updated 8 years ago
• yomimono / example-unikernels
  Small example MirageOS unikernels.
  ☆15Updated 6 years ago
• regex-generate / regenerate
  Tool to generate test-cases for regular expression engines
  ☆38Updated 2 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• mirleft / libnqsb-tls
  OCaml-TLS exposed to C
  ☆23Updated 7 years ago
• arjunguha / ocaml-z3
  ☆16Updated 6 years ago
• charliermarsh / OCaml-SAT-Solvers
  An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.
  ☆19Updated 11 years ago
• OCamlPro / ocaml-top
  A simple cross-platform OCaml code editor built for top-level evaluation.
  ☆65Updated 2 years ago
• gpetiot / Frama-C-Mutation
  Generation of mutant programs
  ☆20Updated 7 years ago
• ocaml-community / obus
  Pure OCaml implementation of the D-Bus protocol
  ☆34Updated last year
• jaybosamiya / automatic-differentiation
  Find first derivatives of functions automagically
  ☆10Updated 8 years ago
• dbuenzli / rpi-boot-ocaml
  Raspberry Pi boot support for the OCaml system (unreleased)
  ☆56Updated last year
• coccinelle / faults-in-Linux
  Experimental bed to study Linux faults
  ☆26Updated 3 years ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 7 years ago
• afeinberg / ocaml-tinylisp
  An absurdly tiny Lisp interpreter in OCaml
  ☆32Updated 14 years ago
• mit-frap / spring17
  Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017
  ☆20Updated 8 years ago
• aryx / syncweb
  literate programming meets unison
  ☆29Updated 3 months ago
• vellvm / vellvm-legacy
  ☆33Updated 10 years ago
• chifflier / ocaml-llvm-tutorial
  OCaml LLVM bindings tutorial
  ☆21Updated 8 years ago
• ocamllabs / 2048-tutorial
  OCaml tutorial based on the 2048 game
  ☆49Updated 9 years ago
• janestreet / async_kernel
  Jane Street Capital's asynchronous execution library (core)
  ☆57Updated last month
• stedolan / crowbar
  Property fuzzing for OCaml
  ☆198Updated last month
• kerneis / cpc
  Continuation Passing C
  ☆114Updated 6 years ago
• bvaugon / ocamlcc
  OCaml bytecode to C compiler
  ☆103Updated 5 years ago
• ujamjar / hardcaml
  [Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml
  ☆119Updated 5 years ago
• effuse / profuse
  An OCaml implementation of the FUSE protocol versions 7.8 and 7.23
  ☆30Updated 7 years ago
• rudenoise / qemu-solo5-mirage-rpi3
  An attempt to run a MirageOS unikernel, built with Solo5, running in Qemu, on a Raspberry Pi 3
  ☆11Updated 9 years ago
• picty / parsifal
  Parsifal : an OCaml-based parsing engine
  ☆64Updated 4 years ago