colis-anr / colis-language
A symbolic analyser for shell scripts.
☆22Updated 3 years ago
Related projects: ⓘ
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆15Updated 2 years ago
- Minimal support for Canonical S-expressions☆27Updated last year
- ☆52Updated 3 years ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆38Updated 2 months ago
- An OCaml library for parsing documentation comments written in 'odoc markup', a superset of 'ocamldoc markup'.☆16Updated 11 months ago
- Tools for the runtime tracing in OCaml 4.11.0 and higher☆31Updated last year
- OCaml binary heap implementation by Jean-Christophe Filliatre☆18Updated 3 years ago
- Testing and benchmarking tool for logic-related programs.☆26Updated last week
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 4 years ago
- U2F (FIDO Universal 2nd Factor) in OCaml☆26Updated 2 weeks ago
- An OCaml library implementing unifiable abstract binding trees (UABTs)☆28Updated 10 months ago
- Constant time equal function to avoid timing attacks in OCaml☆52Updated 2 months ago
- A Deductive Verification Tool for OCaml Programs☆58Updated 2 months ago
- Tools for record-and-replay debugging☆43Updated last year
- An OCaml library for manipulating Labeled Transition Systems☆25Updated 7 months ago
- Experimental model checker for testing concurrent algorithms☆32Updated 2 months ago
- Software construction and deployment kit☆34Updated 3 weeks ago
- Bindings to the various POSIX APIs☆27Updated last year
- Parsing library based on Earley Algorithm☆17Updated 3 years ago
- Interactive memory profiler based on Memtrace☆29Updated 3 weeks ago
- CI in tty☆15Updated last year
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆29Updated 3 weeks ago
- Low Level Bindings to Libev☆29Updated 4 months ago
- The OCaml findlib library manager☆27Updated last week
- Runtime assertion checking based on Gospel specifications☆37Updated 2 weeks ago
- A simple state-machine framework for OCaml based on QCheck☆63Updated 2 years ago
- a solver for opam packages using 0install's solver engine☆20Updated last month
- IO should be just a library☆23Updated last year
- Library containing the definition of S-expressions and some base converters☆19Updated 3 weeks ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆35Updated last week