colis-anr / lintshell
A user-extensible lint for POSIX shell
☆10Updated 5 years ago
Related projects: ⓘ
- A symbolic analyser for shell scripts.☆22Updated 3 years ago
- literate programming meets unison☆28Updated 4 months ago
- Software construction and deployment kit☆34Updated 3 weeks ago
- OCaml library for manipulating context-free grammars☆19Updated 2 weeks ago
- A simple library for manipulating Master Boot Records☆18Updated 6 months ago
- Pure OCaml implementation of the D-Bus protocol☆33Updated 6 months ago
- Inspection of internal value representations and the object graph☆32Updated 8 years ago
- Small example MirageOS unikernels.☆15Updated 5 years ago
- OCaml bindings to Zstandard☆24Updated 3 weeks ago
- Xen core platform libraries for MirageOS☆18Updated 4 months ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆15Updated 2 years ago
- A TLA+ specification for the Xen vchan protocol☆14Updated 5 years ago
- Interactive memory profiler based on Memtrace☆29Updated 3 weeks ago
- Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).☆24Updated 4 months ago
- Tool to generate test-cases for regular expression engines☆34Updated last year
- OCaml-TLS exposed to C☆23Updated 6 years ago
- Raspberry Pi boot support for the OCaml system (unreleased)☆54Updated 8 years ago
- Thin OCaml bindings to various low-level system APIs not covered by Unix module☆51Updated last month
- Functional kernel written in OCaml.☆32Updated 10 years ago
- A B-Tree implementation in OCaml☆23Updated 7 years ago
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆29Updated 3 weeks ago
- The legacy CamlDBM library for accessing NDBM/GDBM database files☆12Updated 2 months ago
- A random generator of Lua programs☆11Updated 2 years ago
- OCaml parsers for multiple key formats☆15Updated last month
- Pong, the operating system version☆37Updated 5 years ago
- Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl☆58Updated 3 years ago
- Constraint solver based on abstract interpretation☆10Updated 3 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated 8 months ago
- A pure OCaml implementation of the i3 IPC protocol☆24Updated 2 years ago
- Datatype-generic object-oriented transformations for OCaml☆16Updated last month