colis-anr / morbig
A static parser for POSIX Shell
☆192Updated 10 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
- (deprecated) Rich man's profiler, a profiler for native OCaml and other executables☆122Updated 5 months ago
- File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/☆223Updated last month
- A free (as in freedom) OCaml textbook☆132Updated 5 months ago
- OCaml code to construct an NFA from a regular expression☆49Updated 4 years ago
- Experiment on how to bootstrap the OCaml compiler☆98Updated 2 years ago
- Lem semantic definition language☆130Updated 8 months ago
- build-once run-anywhere OCaml programs☆133Updated 2 months ago
- A peer-to-peer file-transfer tool in OCaml☆134Updated 2 months ago
- Hotcaml: an interpreter with watching and reloading☆142Updated 2 years ago
- Goose converts a small subset of Go to Coq☆103Updated this week
- A custom parser/auto-formatter for Standard ML☆68Updated 10 months ago
- C Intermediate Language☆133Updated last month
- The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…☆39Updated 9 months ago
- Albatross: orchestrate and manage MirageOS unikernels with Solo5☆143Updated last week
- Automated generation of provably secure, zero-copy parsers from format specifications☆249Updated this week
- TLS in pure OCaml☆304Updated last week
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆192Updated 4 months ago
- Nanopass for OCaml☆141Updated 6 years ago
- A tool-agnostic formal specification language for OCaml.☆127Updated last month
- Parallel Programming over Domains☆171Updated 8 months ago
- A simple program reducer for any language.☆73Updated last year
- Preprocessor / Pretty Printer for OCaml☆74Updated last month
- Semantic model for aspects of ELF static linking and DWARF debug information☆42Updated last year
- Indentation tool for OCaml, to be used from editors like Emacs and Vim.☆200Updated 3 months ago
- Pure OCaml Wayland protocol implementation☆72Updated 3 months ago
- C-style preprocessor for OCaml☆108Updated last month
- Generate parsers from tree-sitter grammars extended to support Semgrep patterns☆4Updated 3 weeks ago
- Process library and s-expression based shell☆126Updated 2 months ago