coccinelle / herodotos
Tracking code patterns through software versions
☆24Updated 10 months ago
Alternatives and similar repositories for herodotos
Users that are interested in herodotos are comparing it to the libraries listed below
Sorting:
- Experimental bed to study Linux faults☆25Updated 2 years ago
- manage a repository of 0install feeds☆17Updated last year
- ☆20Updated 9 years ago
- Formal semantics of LLVM IR in K☆44Updated 9 years ago
- A project to convert the world to liquid democracy☆41Updated 4 years ago
- The XCP networking daemon☆14Updated 2 years ago
- A library for creating HTTP/2 servers in Haskell.☆9Updated 7 years ago
- OBSOLETE, ARCHIVED mirror of the OCaml manual☆15Updated last year
- Stripped-down version of mccs with OCaml bindings☆23Updated 4 months ago
- cut out a small (binary) piece of a (binary) file☆15Updated 13 years ago
- Pure OCaml code for parsing, printing, modifying .qcow format data☆19Updated 3 years ago
- A MirageOS unikernel acting as secondary DNS server, provisioning certificate signing requests to valid certificates using let's encrypt☆12Updated last month
- Programmatic Control Flow☆12Updated 7 years ago
- Packer and Vagrant images for building Mirage☆26Updated 10 years ago
- Add ipython magic to call python trepan☆13Updated 4 years ago
- An example Mirage unikernel that runs as a Qubes AppVM☆23Updated 4 years ago
- Command-line utilities for Real World OCaml☆16Updated 6 years ago
- Stackbuilder builds stacks of virtual machines☆21Updated 6 months ago
- If you smash it, you get to keep the pieces.☆29Updated 5 years ago
- Linux and C programming in a web browser☆26Updated 8 years ago
- TLS tunnel -- an alternative to stud / stunnel☆84Updated 2 years ago
- [mirror] Containers API library☆8Updated 11 months ago
- awesome-unikernels☆15Updated 9 years ago
- MetaSync☆20Updated 9 years ago
- Mirror of http://lab.nexedi.com/nexedi/slapos.core Please submit patches and issues there☆16Updated 2 weeks ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Updated 9 years ago
- Open vStorage ALBA (alternate backend) creates a replicated or flexible network raid’ed object storage backend out of Seagate Kinetic dr…☆28Updated 7 years ago
- A next-good-bug recommender for Bugzilla☆11Updated 9 years ago
- Cap’n Proto plugin for generating serializable Pony classes. - 'n☆19Updated 7 years ago
- A Mirage filesystem library☆43Updated 3 years ago