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.
  ☆123Updated 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…
  ☆46Updated 8 months ago
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆110Updated 3 years ago
• janestreet / patdiff
  File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/
  ☆240Updated 2 weeks ago
• mirage / ocaml-solo5
  Freestanding OCaml runtime
  ☆106Updated last week
• dinosaure / esperanto
  build-once run-anywhere OCaml programs
  ☆138Updated 3 months 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
• copy / gdbprofiler
  (deprecated) Rich man's profiler, a profiler for native OCaml and other executables
  ☆124Updated last year
• let-def / hotcaml
  Hotcaml: an interpreter with watching and reloading
  ☆146Updated 3 years ago
• dinosaure / bob
  A peer-to-peer file-transfer tool in OCaml
  ☆144Updated 5 months ago
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆55Updated 4 years ago
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆75Updated 2 years ago
• mirage / awa-ssh
  Purely functional SSH library in ocaml.
  ☆103Updated 4 months ago
• yallop / ocaml-re-nfa
  OCaml code to construct an NFA from a regular expression
  ☆52Updated 5 years ago
• wangp / bower
  A curses terminal client for the Notmuch email system
  ☆140Updated last week
• leahneukirchen / leahutils
  description of leahutils
  ☆70Updated 2 months ago
• robur-coop / albatross
  Albatross: orchestrate and manage MirageOS unikernels with Solo5
  ☆153Updated 2 weeks ago
• solidsnack / arx
  Bundles code and a job to run for local or remote execution.
  ☆193Updated 8 months ago
• oriansj / stage0-posix
  A place for public review of the posix port of stage0
  ☆132Updated 2 months ago
• joelonsql / reason-re-nfa
  ReasonML code to construct an NFA from a regular expression
  ☆24Updated 6 years ago
• anordal / selfdock
  Docker done right, from the bottom
  ☆99Updated 4 years ago
• rethab / awk-jvm
  a toy jvm in awk
  ☆164Updated 4 years ago
• ocurrent / obuilder
  Experimental "docker build" alternative using btrfs/zfs snapshots
  ☆62Updated this week
• dmbaturin / ocamlbook.org
  A free (as in freedom) OCaml textbook
  ☆141Updated 6 months ago
• leahneukirchen / redo-c
  An implementation of the redo build system in portable C with zero dependencies
  ☆108Updated 2 years ago
• richfelker / cowpatch
  ☆18Updated 5 years ago
• talex5 / ocaml-wayland
  Pure OCaml Wayland protocol implementation
  ☆85Updated 3 months ago
• boomerang-lang / boomerang
  The Boomerang Bidirectional Programming Language
  ☆76Updated 2 years ago
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆25Updated 10 months ago
• leahneukirchen / lr
  list files, recursively
  ☆157Updated last month