colis-anr / colis-languageLinks
A symbolic analyser for shell scripts.
☆22Updated 3 years ago
Alternatives and similar repositories for colis-language
Users that are interested in colis-language are comparing it to the libraries listed below
Sorting:
- Parsing library based on Earley Algorithm☆18Updated 2 weeks ago
- ☆49Updated 4 years ago
- Testing and benchmarking tool for logic-related programs.☆26Updated 3 months ago
- IO should be just a library☆23Updated last year
- An OCaml library implementing unifiable abstract binding trees (UABTs)☆27Updated last year
- CI in tty☆14Updated 2 years ago
- U2F (FIDO Universal 2nd Factor) in OCaml☆25Updated 9 months ago
- Constant time equal function to avoid timing attacks in OCaml☆51Updated last year
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆16Updated 5 months ago
- An OCaml library for parsing documentation comments written in 'odoc markup', a superset of 'ocamldoc markup'.☆16Updated last year
- Bindings to the various POSIX APIs☆27Updated 2 months ago
- multi-shot continuations in OCaml☆48Updated 4 months ago
- Tools for the runtime tracing in OCaml 4.11.0 and higher☆31Updated 2 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.☆28Updated last year
- A simple websocket library for OCaml with no dependencies☆16Updated last year
- Tools for record-and-replay debugging☆43Updated 2 years ago
- Read and write FAT format filesystems from OCaml☆25Updated 3 weeks ago
- OCaml binary heap implementation by Jean-Christophe Filliatre☆18Updated 4 years ago
- Toplevel expectation test☆17Updated 2 weeks ago
- Efficient Bloom filters for OCaml☆38Updated 3 years ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆39Updated 11 months ago
- Lockless Multiple Producer Single Consumer Queue for ocaml-multicore☆18Updated 3 years ago
- A pure OCaml implementation of the i3 IPC protocol☆24Updated 2 years ago
- A Framework for building Batched Concurrent Services☆21Updated last month
- Software construction and deployment kit☆33Updated 2 weeks ago
- Minimal support for Canonical S-expressions☆28Updated last year
- Bisector tree implementation in OCaml☆25Updated last year
- agrid is an OCaml library for adjustable grids. Adjustable grids are two dimensional arrays whose width/height can be changed by adding o…☆14Updated 2 years ago
- A set of tools to work with Gameboy stuff☆13Updated 2 years ago