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
• 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…
  ☆42Updated 2 months ago
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆104Updated 3 years ago
• 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
• OCamlPro / owi
  Cross-language Bugfinder | Bring Your Own Language Solver-Aided Programming | WebAssembly Swissknife
  ☆174Updated this week
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆76Updated last month
• let-def / hotcaml
  Hotcaml: an interpreter with watching and reloading
  ☆142Updated 2 years ago
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆73Updated last year
• janestreet / patdiff
  File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/
  ☆228Updated 5 months ago
• copy / gdbprofiler
  (deprecated) Rich man's profiler, a profiler for native OCaml and other executables
  ☆124Updated 11 months ago
• rems-project / lem
  Lem semantic definition language
  ☆138Updated last month
• mirage / ocaml-solo5
  Freestanding OCaml runtime
  ☆103Updated last month
• dmbaturin / ocamlbook.org
  A free (as in freedom) OCaml textbook
  ☆138Updated 11 months ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆266Updated this week
• talex5 / ocaml-wayland
  Pure OCaml Wayland protocol implementation
  ☆78Updated last month
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 7 months ago
• mirage / awa-ssh
  Purely functional SSH library in ocaml.
  ☆103Updated last week
• yallop / ocaml-re-nfa
  OCaml code to construct an NFA from a regular expression
  ☆51Updated 4 years ago
• dinosaure / esperanto
  build-once run-anywhere OCaml programs
  ☆137Updated 4 months ago
• hwayne / tla.vim
  Vim plugin for TLA+ and PlusCal
  ☆29Updated 2 months ago
• leahneukirchen / leahutils
  description of leahutils
  ☆66Updated 2 years ago
• colis-anr / colis-language
  A symbolic analyser for shell scripts.
  ☆22Updated 3 years ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆101Updated 3 years ago
• rethab / awk-jvm
  a toy jvm in awk
  ☆164Updated 3 years ago
• wryun / es-shell
  es: a shell with higher-order functions
  ☆329Updated this week
• colis-anr / lintshell
  A user-extensible lint for POSIX shell
  ☆11Updated 5 years ago
• ocaml-community / cppo
  C-style preprocessor for OCaml
  ☆109Updated 4 months ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆44Updated 4 months ago
• Gbury / dolmen
  Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
  ☆85Updated this week
• semgrep / ocaml-tree-sitter-semgrep
  Generate parsers from tree-sitter grammars extended to support Semgrep patterns
  ☆6Updated this week