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
Sorting:
- 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…☆184Updated 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…☆43Updated 3 months ago
- Experiment on how to bootstrap the OCaml compiler☆106Updated 3 years ago
- (deprecated) Rich man's profiler, a profiler for native OCaml and other executables☆124Updated 11 months ago
- File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/☆229Updated 2 weeks ago
- Hotcaml: an interpreter with watching and reloading☆143Updated 2 years ago
- Purely functional SSH library in ocaml.☆103Updated 2 weeks ago
- Lem semantic definition language☆139Updated 2 months ago
- A simple program reducer for any language.☆73Updated 2 years ago
- Hash-based Diffing for AST's☆76Updated 5 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆75Updated 2 weeks ago
- build-once run-anywhere OCaml programs☆137Updated 5 months ago
- Freestanding OCaml runtime☆104Updated 2 months ago
- Incremental backup with strong cryptographic confidentiality baked into the data model.☆130Updated last year
- A free (as in freedom) OCaml textbook☆139Updated 2 weeks ago
- Public snapshots of "ACSL by Example"☆109Updated 3 years ago
- OCaml code to construct an NFA from a regular expression☆52Updated 4 years ago
- Static analysis framework for C☆200Updated this week
- A symbolic analyser for shell scripts.☆22Updated 3 years ago
- Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction☆86Updated last week
- Generate parsers from tree-sitter grammars extended to support Semgrep patterns☆6Updated this week
- A custom parser/auto-formatter for Standard ML☆76Updated last week
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 8 months ago
- Pure OCaml Wayland protocol implementation☆79Updated 2 months ago
- Experimental "docker build" alternative using btrfs/zfs snapshots☆60Updated 2 months ago
- A peer-to-peer file-transfer tool in OCaml☆140Updated last week
- Flexible and Constant Time Programming Language☆199Updated 3 years ago
- A compiler for Standard ML, somewhat☆202Updated 3 years ago
- Using z3's never been easier (maybe)☆101Updated 3 years ago