Frama-C / headacheLinks
Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).
☆24Updated last year
Alternatives and similar repositories for headache
Users that are interested in headache are comparing it to the libraries listed below
Sorting:
- Example URL shortener MirageOS unikernel using Chamelon.☆18Updated 3 years ago
- A platform-agnostic multi-level index☆33Updated last week
- A set of tools to work with Gameboy stuff☆13Updated 2 years ago
- What do you mean?☆45Updated 6 months ago
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆28Updated 2 years ago
- RPC client/server for Irmin☆19Updated 4 years ago
- Pure OCaml implementation of the D-Bus protocol☆35Updated last year
- Efficient Bloom filters for OCaml☆38Updated 3 years ago
- Bindings to the Tracy profiler.☆28Updated 3 months ago
- Menhir polishing toolbox, for experienced druids☆34Updated 2 weeks ago
- ☆14Updated 7 months ago
- Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)☆32Updated last year
- Raspberry Pi boot support for the OCaml system (unreleased)☆57Updated 11 months ago
- [WIP] Pure OCaml bindings to the X11 protocol☆24Updated 2 weeks ago
- Implementation of a matrix server in OCaml for MirageOS☆50Updated 2 years ago
- Hilite - a simple code to HTML syntax highlighter☆22Updated last month
- An OCaml extension for RISC-V☆16Updated 4 years ago
- Constant time equal function to avoid timing attacks in OCaml☆51Updated last year
- A traceable distributed computation framework☆22Updated 5 years ago
- String searching with errors, using the Wu-Manber algorithm☆23Updated 8 months ago
- A program launcher for Wayland☆15Updated last year
- SSH chat server using trust on first use for user registration☆33Updated 4 months ago
- OCaml rewrite of the ixy network driver☆36Updated 4 years ago
- A tool to ease contributions to opam repositories☆44Updated last week
- ☆15Updated 6 years ago
- U2F (FIDO Universal 2nd Factor) in OCaml☆25Updated last year
- A dynamic way to instantiate an OCaml flow☆17Updated last year
- A tool for keeping a personal log☆16Updated 8 months ago
- Implementation of SMTP protocols in OCaml☆45Updated 3 months ago
- Ocaml modular spam filter☆16Updated last year