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 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for headache
- Pure OCaml library to read and write tar files☆54Updated last month
- Example URL shortener MirageOS unikernel using Chamelon.☆18Updated 2 years ago
- A platform-agnostic multi-level index☆33Updated 5 months ago
- A unikernel as an IRC client☆25Updated last year
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆27Updated 2 years ago
- A tool to ease contributions to opam repositories☆40Updated 3 months ago
- Basic, cross-platform set of commands to manipulate and query the file system, and OCaml library.☆18Updated 2 months ago
- A simple library for manipulating Master Boot Records☆17Updated 8 months ago
- Io multiplexers bindings for ocaml (poll/kqueue/epoll and so on)☆28Updated 3 months ago
- A pure OCaml implementation of the i3 IPC protocol☆24Updated 2 years ago
- Inspection of internal value representations and the object graph☆33Updated 8 years ago
- String searching with errors, using the Wu-Manber algorithm☆23Updated 2 years ago
- A program launcher for Wayland☆14Updated 10 months ago
- Bindings to the various POSIX APIs☆27Updated last year
- Declarative music for OCaml (unreleased)☆24Updated 7 months ago
- What do you mean?☆42Updated 2 months ago
- a small, simple block-backed key-value store for MirageOS☆31Updated last year
- ☆30Updated 9 months ago
- Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)☆32Updated 11 months ago
- line based patch, input is a unified diff☆23Updated last month
- [beta] High-level wrapper around ocaml-sqlite3☆17Updated 2 years ago
- A set of tools to work with Gameboy stuff☆13Updated last year
- collect activity and format as markdown for a journal☆18Updated 3 years ago
- Runtime assertion checking based on Gospel specifications☆38Updated last week
- An OCurrent pipeline for testing submissions to opam-repository☆20Updated last week
- Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.☆28Updated 10 months ago
- Experimental effects-based wonderful webserver☆24Updated 7 months ago
- Publish annotated bibliographies☆19Updated last week
- Bindings to the Tracy profiler.☆25Updated 3 weeks ago
- An implementation of happy eyeballs (RFC 8305) in OCaml with lwt☆22Updated last month