colis-anr / morbig
A static parser for POSIX Shell
☆194Updated last year
Alternatives and similar repositories for morbig:
Users that are interested in morbig are comparing it to the libraries listed below
- The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.☆118Updated 2 years ago
- pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source…☆185Updated 2 years ago
- The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…☆40Updated last month
- (deprecated) Rich man's profiler, a profiler for native OCaml and other executables☆123Updated 9 months ago
- Freestanding OCaml runtime☆103Updated this week
- Experiment on how to bootstrap the OCaml compiler☆103Updated 2 years ago
- Hotcaml: an interpreter with watching and reloading☆142Updated 2 years ago
- File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/☆228Updated 3 months ago
- Purely functional SSH library in ocaml.☆103Updated last month
- A custom parser/auto-formatter for Standard ML☆75Updated this week
- TLS in pure OCaml☆307Updated last month
- A user-extensible lint for POSIX shell☆11Updated 5 years ago
- A free (as in freedom) OCaml textbook☆138Updated 10 months ago
- OCaml code to construct an NFA from a regular expression☆50Updated 4 years ago
- Lem semantic definition language☆137Updated 3 weeks ago
- Map OCaml arrays onto C-like structs☆106Updated last week
- build-once run-anywhere OCaml programs☆136Updated 3 months ago
- usand - convenient and minimal unshare(1)-based sandbox☆62Updated 4 years ago
- Pure OCaml Wayland protocol implementation☆74Updated this week
- Tool to generate test-cases for regular expression engines☆33Updated last year
- OCaml Documentations as one-pagers, easy to keep useful commands in mind☆130Updated 4 years ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆265Updated this week
- C-style preprocessor for OCaml☆108Updated 3 months ago
- Experimental "docker build" alternative using btrfs/zfs snapshots☆60Updated 2 weeks ago
- An Activitypub server in OCaml!☆66Updated last year
- Using z3's never been easier (maybe)☆101Updated 3 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆72Updated this week
- Network Semantics☆86Updated 6 years ago
- Preprocessor / Pretty Printer for OCaml☆75Updated 2 weeks ago
- Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction☆84Updated 5 months ago