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
• 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 2 weeks ago
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆108Updated 3 years ago
• janestreet / patdiff
  File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/
  ☆236Updated this week
• 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
• richfelker / cowpatch
  ☆18Updated 5 years ago
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆55Updated 4 years ago
• dinosaure / bob
  A peer-to-peer file-transfer tool in OCaml
  ☆144Updated 4 months ago
• oriansj / M2-Planet
  The PLAtform NEutral Transpiler
  ☆120Updated last month
• dinosaure / esperanto
  build-once run-anywhere OCaml programs
  ☆138Updated 2 months ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆105Updated last year
• leahneukirchen / redo-c
  An implementation of the redo build system in portable C with zero dependencies
  ☆107Updated 2 years ago
• wryun / es-shell
  es: a shell with higher-order functions
  ☆339Updated 2 weeks ago
• oils-for-unix / blog-code
  Code for http://oilshell.org/blog/
  ☆50Updated last month
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆75Updated 2 years ago
• google / walk
  Plan 9 style utilities to replace find(1)
  ☆76Updated 5 years ago
• mirage / awa-ssh
  Purely functional SSH library in ocaml.
  ☆103Updated 3 months ago
• jhjourdan / C11parser
  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
  ☆206Updated last year
• TieDyedDevil / XS
  [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.
  ☆51Updated 4 years ago
• rethab / awk-jvm
  a toy jvm in awk
  ☆164Updated 3 years ago
• boomerang-lang / boomerang
  The Boomerang Bidirectional Programming Language
  ☆76Updated 2 years ago
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆25Updated 9 months ago
• richfelker / bakelite
  Incremental backup with strong cryptographic confidentiality baked into the data model.
  ☆130Updated last month
• shlevy / long-shebang
  A tool for #! scripts with more than one argument
  ☆43Updated 8 years ago
• leahneukirchen / leahutils
  description of leahutils
  ☆70Updated last month
• HarvardPL / shill
  Scripting with Least Privilege
  ☆110Updated 8 years ago
• richfelker / usand
  usand - convenient and minimal unshare(1)-based sandbox
  ☆67Updated 4 years ago