colis-anr / morbig
A static parser for POSIX Shell
☆191Updated 11 months ago
Related projects ⓘ
Alternatives and complementary repositories for morbig
- The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.☆113Updated last year
- pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source…☆185Updated last year
- Experiment on how to bootstrap the OCaml compiler☆98Updated 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 9 months ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆251Updated this week
- A peer-to-peer file-transfer tool in OCaml☆133Updated 3 months ago
- Lem semantic definition language☆131Updated 8 months ago
- File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/☆223Updated this week
- Freestanding OCaml runtime☆100Updated this week
- Using z3's never been easier (maybe)☆100Updated 2 years ago
- Hotcaml: an interpreter with watching and reloading☆142Updated 2 years ago
- Draw railroad diagrams of EBNF grammars. In browser and on command line☆63Updated 6 years ago
- Generate parsers from tree-sitter grammars extended to support Semgrep patterns☆4Updated this week
- (deprecated) Rich man's profiler, a profiler for native OCaml and other executables☆123Updated 6 months ago
- C Intermediate Language☆143Updated last month
- WebAssembly Swissknife & cross-language bugfinder☆135Updated this week
- Semantic model for aspects of ELF static linking and DWARF debug information☆43Updated last year
- build-once run-anywhere OCaml programs☆134Updated 2 months ago
- A free (as in freedom) OCaml textbook☆132Updated 6 months ago
- Shell supporting pipelines to and from multiple processes☆327Updated 6 months ago
- Goose converts a small subset of Go to Coq☆105Updated last week
- Sed Lisp -- a lisp interpreter in GNU sed☆52Updated 4 years ago
- A user-extensible lint for POSIX shell☆11Updated 5 years ago
- Symbolic formula representation and solver interaction library☆155Updated 2 months ago
- a toy jvm in awk☆164Updated 3 years ago
- Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction☆80Updated last month
- A place for public review of the posix port of stage0☆106Updated last month
- Sources for the ANSI/ISO C Specification Language manual☆50Updated 2 weeks ago
- OCaml code to construct an NFA from a regular expression☆49Updated 4 years ago
- Purely functional SSH library in ocaml.☆103Updated 2 months ago