colis-anr / lintshellLinks
A user-extensible lint for POSIX shell
☆11Updated 5 years ago
Alternatives and similar repositories for lintshell
Users that are interested in lintshell are comparing it to the libraries listed below
Sorting:
- A symbolic analyser for shell scripts.☆22Updated 3 years ago
- Xen core platform libraries for MirageOS☆18Updated 5 months ago
- A TLA+ specification for the Xen vchan protocol☆14Updated 6 years ago
- The legacy CamlDBM library for accessing NDBM/GDBM database files☆12Updated last year
- Bindings for hypervisor sockets, for Linux, Windows and macOS (via Hyperkit)☆15Updated 3 years ago
- Convert a cmi file back to an mli interface☆18Updated 10 years ago
- literate programming meets unison☆29Updated 2 weeks ago
- A random generator of Lua programs☆11Updated 3 years ago
- A simple library for manipulating Master Boot Records☆18Updated 4 months ago
- TLS client program☆11Updated 5 years ago
- Pong, the operating system version☆36Updated 6 years ago
- OCaml implementation of Secure Scuttlebutt protocol☆12Updated 6 years ago
- ☆13Updated 3 months ago
- OCaml bindings to Zstandard☆25Updated 2 months ago
- E-mail filter and classifier based on Bayesian learning☆15Updated 3 years ago
- Read and write FAT format filesystems from OCaml☆25Updated last month
- A port of Eric Lippert's flathead Z-machine interpreter to MirageOS☆10Updated 5 years ago
- Small example MirageOS unikernels.☆15Updated 6 years ago
- An OCaml client library for Discord☆13Updated 9 years ago
- Convert a cmi file back to an mli interface☆14Updated 12 years ago
- Software construction and deployment kit☆33Updated last week
- A set of tools to work with Gameboy stuff☆13Updated 2 years ago
- Pure OCaml implementation of libXdiff (Rabin's fingerprint)☆20Updated 7 months ago
- Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.☆28Updated last week
- OCamlFuse mirror with dune support☆32Updated 2 months ago
- Constraint solver based on abstract interpretation☆10Updated 6 months ago
- Pure OCaml IKEv2☆14Updated 8 years ago
- The Ensemble distributed communications toolkit☆12Updated 4 years ago
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆36Updated last month
- Pure OCaml implementation of the D-Bus protocol☆34Updated last year