colis-anr / morbig
A static parser for POSIX Shell
☆193Updated 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.☆117Updated 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
- Experiment on how to bootstrap the OCaml compiler☆103Updated 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 3 weeks ago
- (deprecated) Rich man's profiler, a profiler for native OCaml and other executables☆123Updated 9 months ago
- Freestanding OCaml runtime☆103Updated 2 months ago
- Hotcaml: an interpreter with watching and reloading☆142Updated 2 years ago
- Purely functional SSH library in ocaml.☆103Updated 2 weeks ago
- File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/☆224Updated 2 months ago
- build-once run-anywhere OCaml programs☆136Updated 2 months ago
- A peer-to-peer file-transfer tool in OCaml☆136Updated 6 months ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆103Updated 5 months ago
- Cross-language Bugfinder | Bring Your Own Language Solver-Aided Programming | WebAssembly Swissknife☆141Updated this week
- A simple program reducer for any language.☆73Updated last year
- Semantic model for aspects of ELF static linking and DWARF debug information☆43Updated 2 months ago
- Jon Bentley's DFORMAT troff preprocessor, reconstituted.☆52Updated 3 years ago
- Albatross: orchestrate and manage MirageOS unikernels with Solo5☆147Updated last week
- Implementing a spatial model inspired by Material Shell, for i3 and sway.☆95Updated 8 months ago
- Sed Lisp -- a lisp interpreter in GNU sed☆53Updated 4 years ago
- Pure OCaml Wayland protocol implementation☆74Updated last week
- Experimental "docker build" alternative using btrfs/zfs snapshots☆61Updated last month
- Lem semantic definition language☆137Updated this week
- Turn dynamically linked ELF binaries and libraries into self-contained closures.☆172Updated 8 months ago
- The Boomerang Bidirectional Programming Language☆75Updated last year
- A custom parser/auto-formatter for Standard ML☆75Updated last year
- Property fuzzing for OCaml☆188Updated last year
- Network Semantics☆86Updated 6 years ago
- Sandboxing for GNU Make has never been easier☆232Updated 2 years ago
- A free (as in freedom) OCaml textbook☆137Updated 9 months ago
- Hash-based Diffing for AST's☆76Updated 4 years ago