colis-anr / colis-language
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
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆34Updated 4 months ago
- Testing and benchmarking tool for logic-related programs.☆26Updated this week
- ☆49Updated 3 years ago
- A simple websocket library for OCaml with no dependencies☆15Updated 11 months ago
- Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.☆28Updated last year
- A pure OCaml implementation of the i3 IPC protocol☆24Updated 2 years ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆39Updated 8 months ago
- U2F (FIDO Universal 2nd Factor) in OCaml☆25Updated 6 months ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆15Updated 2 months ago
- Convert a cmi file back to an mli interface☆18Updated 10 years ago
- Constant time equal function to avoid timing attacks in OCaml☆51Updated 8 months ago
- Efficient caching library for OCaml☆33Updated last year
- Bindings to io_uring for OCaml☆61Updated 10 months ago
- Efficient Bloom filters for OCaml☆36Updated 3 years ago
- An OCaml library for manipulating Labeled Transition Systems☆24Updated last year
- Tools for record-and-replay debugging☆43Updated 2 years ago
- CI in tty☆14Updated last year
- Framework for benchmarking on multiple cores on current-bench☆13Updated 2 months ago
- Software construction and deployment kit☆33Updated this week
- Parsing library based on Earley Algorithm☆18Updated 3 years ago
- Experimental model checker for testing concurrent algorithms☆33Updated 3 months ago
- IO should be just a library☆23Updated last year
- OCaml bindings to kqueue☆21Updated last year
- OCaml binary heap implementation by Jean-Christophe Filliatre☆19Updated 4 years ago
- 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
- Relational database programming for OCaml (unreleased)☆40Updated 2 weeks ago
- An OCaml library for parsing documentation comments written in 'odoc markup', a superset of 'ocamldoc markup'.☆16Updated last year
- A Key Value store using a persistent hashtable approach☆18Updated 3 years ago
- An implementation of the Transmission Control Protocol in OCaml☆29Updated this week
- Wrapper to Equinix API - Archived☆12Updated 6 months ago