colis-anr / morbigLinks
A static parser for POSIX Shell
☆199Updated 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.☆124Updated 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…☆46Updated 10 months ago
- File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/☆243Updated 2 weeks ago
- Experiment on how to bootstrap the OCaml compiler☆111Updated 3 years ago
- pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source…☆183Updated 2 years ago
- (deprecated) Rich man's profiler, a profiler for native OCaml and other executables☆124Updated last year
- Freestanding OCaml runtime☆107Updated this week
- build-once run-anywhere OCaml programs☆139Updated 4 months ago
- Hotcaml: an interpreter with watching and reloading☆145Updated 3 years ago
- Sed Lisp -- a lisp interpreter in GNU sed☆55Updated 5 years ago
- A peer-to-peer file-transfer tool in OCaml☆144Updated 6 months ago
- Purely functional SSH library in ocaml.☆104Updated 5 months ago
- Generate parsers from tree-sitter grammars extended to support Semgrep patterns☆11Updated last month
- a toy jvm in awk☆164Updated 4 years ago
- The Boomerang Bidirectional Programming Language☆77Updated 2 years ago
- Nanopass for OCaml☆149Updated 7 years ago
- A simple program reducer for any language.☆76Updated 2 years ago
- Command line editor, C api, readline replacement☆26Updated 11 months ago
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆207Updated last year
- description of leahutils☆70Updated 3 months ago
- OCaml code to construct an NFA from a regular expression☆52Updated 5 years ago
- ☆18Updated 5 years ago
- A free (as in freedom) OCaml textbook☆142Updated 7 months ago
- A tool for #! scripts with more than one argument☆43Updated 8 years ago
- Draw railroad diagrams of EBNF grammars. In browser and on command line☆74Updated 7 years ago
- Public snapshots of "ACSL by Example"☆119Updated 6 months ago
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago
- SMTP client and server☆48Updated 2 weeks ago
- Experimental "docker build" alternative using btrfs/zfs snapshots☆62Updated last month
- Tool to count lines of source code.☆253Updated last year