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
- Freestanding OCaml runtime☆103Updated 2 weeks ago
- Experiment on how to bootstrap the OCaml compiler☆104Updated 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
- File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/☆228Updated 4 months ago
- build-once run-anywhere OCaml programs☆137Updated 4 months ago
- Hotcaml: an interpreter with watching and reloading☆142Updated 2 years ago
- (deprecated) Rich man's profiler, a profiler for native OCaml and other executables☆123Updated 10 months ago
- Turn dynamically linked ELF binaries and libraries into self-contained closures.☆173Updated 9 months ago
- Purely functional SSH library in ocaml.☆103Updated last month
- Automated generation of provably secure, zero-copy parsers from format specifications☆266Updated this week
- Lem semantic definition language☆138Updated 2 weeks ago
- a toy jvm in awk☆164Updated 3 years ago
- A peer-to-peer file-transfer tool in OCaml☆137Updated this week
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆427Updated this week
- ☆83Updated 3 years ago
- es: a shell with higher-order functions☆324Updated 3 weeks ago
- Pure OCaml Wayland protocol implementation☆76Updated 3 weeks ago
- Cross-language Bugfinder | Bring Your Own Language Solver-Aided Programming | WebAssembly Swissknife☆170Updated this week
- Semantic model for aspects of ELF static linking and DWARF debug information☆43Updated 3 months 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 2 months ago
- A simple program reducer for any language.☆73Updated last year
- The PLAtform NEutral Transpiler☆112Updated this week
- A free (as in freedom) OCaml textbook☆138Updated 10 months ago
- A custom parser/auto-formatter for Standard ML☆75Updated 3 weeks ago
- Shell supporting pipelines to and from multiple processes☆333Updated 10 months ago
- TLS in pure OCaml☆307Updated last month
- Property fuzzing for OCaml☆188Updated last year
- A compiler for Standard ML, somewhat☆202Updated 2 years ago
- Goose converts a subset of Go to Rocq☆113Updated last week