Frama-C / headache
Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).
☆24Updated 9 months ago
Alternatives and similar repositories for headache:
Users that are interested in headache are comparing it to the libraries listed below
- Pure OCaml library to read and write tar files☆56Updated last month
- Example URL shortener MirageOS unikernel using Chamelon.☆18Updated 2 years ago
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆27Updated 2 years ago
- String searching with errors, using the Wu-Manber algorithm☆23Updated last month
- Declarative music for OCaml (unreleased)☆26Updated 10 months ago
- A tool to ease contributions to opam repositories☆40Updated 2 months ago
- Bindings to the various POSIX APIs☆27Updated 3 weeks ago
- RPC client/server for Irmin☆19Updated 3 years ago
- A set of tools to work with Gameboy stuff☆13Updated 2 years ago
- A platform-agnostic multi-level index☆33Updated 8 months ago
- OCaml rewrite of the ixy network driver☆36Updated 3 years ago
- Constant time equal function to avoid timing attacks in OCaml☆51Updated 7 months ago
- ☆15Updated 6 years ago
- add/remove for AVL, red-black, 2-3, 2-3-4 trees using GADTs☆16Updated last year
- Pure OCaml implementation of the D-Bus protocol☆33Updated 11 months ago
- Runtime assertion checking based on Gospel specifications☆44Updated last month
- Menhir polishing toolbox, for experienced druids☆31Updated 2 weeks ago
- What do you mean?☆42Updated 5 months ago
- Parser and printer for date-times in ISO8601☆29Updated last year
- ☆30Updated last month
- Efficient Bloom filters for OCaml☆36Updated 3 years ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆39Updated 7 months ago
- U2F (FIDO Universal 2nd Factor) in OCaml☆25Updated 5 months ago
- Implementation of a matrix server in OCaml for MirageOS☆48Updated last year
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆15Updated last month
- Experimental effects-based wonderful webserver☆24Updated 10 months ago
- Io multiplexers bindings for ocaml (poll/kqueue/epoll and so on)☆28Updated 6 months ago
- GTK and HTML viewers for mirage-profile trace files☆20Updated 2 years ago
- Self-adjusting computations☆22Updated last year
- A high-performance server for Irmin☆24Updated 2 years ago