Alternatives and similar repositories for morbig

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

• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆118Updated 2 years ago
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆107Updated 3 years ago
• copy / gdbprofiler
  (deprecated) Rich man's profiler, a profiler for native OCaml and other executables
  ☆124Updated last year
• semgrep / pfff
  pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source…
  ☆184Updated 2 years ago
• mirage / ocaml-solo5
  Freestanding OCaml runtime
  ☆105Updated 3 months ago
• let-def / hotcaml
  Hotcaml: an interpreter with watching and reloading
  ☆143Updated 2 years ago
• janestreet / patdiff
  File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/
  ☆231Updated 2 weeks ago
• mirage / awa-ssh
  Purely functional SSH library in ocaml.
  ☆103Updated last week
• binpash / libdash
  The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…
  ☆43Updated 4 months ago
• dinosaure / bob
  A peer-to-peer file-transfer tool in OCaml
  ☆143Updated last month
• dinosaure / esperanto
  build-once run-anywhere OCaml programs
  ☆138Updated this week
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 9 months ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆44Updated last week
• OCamlPro / owi
  Symbolic execution for Wasm, C, C++, Rust and Zig
  ☆224Updated this week
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆78Updated last month
• wingo / whippet
  A work-in-progress garbage collector for Guile
  ☆180Updated 3 weeks ago
• stedolan / crowbar
  Property fuzzing for OCaml
  ☆191Updated 2 years ago
• rems-project / lem
  Lem semantic definition language
  ☆139Updated 3 months ago
• rethab / awk-jvm
  a toy jvm in awk
  ☆164Updated 3 years ago
• goblint / cil
  C Intermediate Language
  ☆146Updated 2 months ago
• jhjourdan / C11parser
  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
  ☆202Updated last year
• dmbaturin / ocamlbook.org
  A free (as in freedom) OCaml textbook
  ☆138Updated 2 months ago
• oriansj / M2-Planet
  The PLAtform NEutral Transpiler
  ☆114Updated this week
• colis-anr / lintshell
  A user-extensible lint for POSIX shell
  ☆11Updated 5 years ago
• ocurrent / obuilder
  Experimental "docker build" alternative using btrfs/zfs snapshots
  ☆60Updated 3 months ago
• google / walk
  Plan 9 style utilities to replace find(1)
  ☆75Updated 4 years ago
• Gbury / dolmen
  Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
  ☆87Updated last month
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆73Updated 2 years ago
• FStarLang / karamel
  KaRaMeL is a tool for extracting low-level F* programs to readable C code
  ☆455Updated last week
• goblint / analyzer
  Static analysis framework for C
  ☆197Updated this week