coccinelle / herodotos

Related projects ⓘ

Alternatives and complementary repositories for herodotos

• 0install / 0repo
  manage a repository of 0install feeds
  ☆15Updated 6 months ago
• shimmercat / second-transfer
  A library for creating HTTP/2 servers in Haskell.
  ☆9Updated 7 years ago
• bagder / bcut
  cut out a small (binary) piece of a (binary) file
  ☆15Updated 13 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 8 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago
• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 7 years ago
• angrave / sys
  Linux and C programming in a web browser
  ☆26Updated 7 years ago
• logpy / strategies
  Programmatic Control Flow
  ☆13Updated 7 years ago
• ThomasHabets / eggpd
  Erlang BGP daemon
  ☆25Updated 13 years ago
• simonv3 / factbook-country-data
  ☆20Updated 8 years ago
• ocaml / ocaml-manual
  OBSOLETE, ARCHIVED mirror of the OCaml manual
  ☆15Updated last year
• mirror / patch
  git://git.savannah.gnu.org/patch.git
  ☆11Updated last month
• realworldocaml / scripts
  Command-line utilities for Real World OCaml
  ☆16Updated 6 years ago
• ContinuumIO / blz
  ☆25Updated 3 months ago
• ocaml-opam / ocaml-mccs
  Stripped-down version of mccs with OCaml bindings
  ☆22Updated 3 months ago
• da-x / fancydiff
  Colorful Git diffs for terminal and web, including source syntax highlighting
  ☆24Updated 5 years ago
• fstd / libsrsirc
  Lightweight cross-platform IRC lib written in standard C99 + IRC netcat (a.k.a. icat)
  ☆22Updated 6 months ago
• tim-group / stackbuilder
  Stackbuilder builds stacks of virtual machines
  ☆21Updated 3 weeks ago
• zooko / hash-function-survey
  a web page / paper
  ☆18Updated 7 years ago
• marianoguerra / pynerl
  run an embeded python interpreter in erlang
  ☆21Updated 12 years ago
• google / coq-bpf
  Coq BPF interpreter
  ☆19Updated 6 years ago
• jkff / greg
  A very fast lightweight distributed logger with a high-precision global time axis
  ☆39Updated 9 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  ☆0Updated 5 years ago
• xapi-project / xcp-networkd
  The XCP networking daemon
  ☆14Updated 2 years ago
• MakeYourLaws / MakeYourLaws
  A project to convert the world to liquid democracy
  ☆40Updated 4 years ago
• conformal / cyphertite
  A high-security scalable solution for online backups.
  ☆46Updated 10 years ago
• squest / zenx-integrated-learning
  Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell
  ☆19Updated 9 years ago
• zerovm / zerocloud
  Swift middleware for Zerocloud
  ☆53Updated 5 years ago
• natefinch / tree
  A statically typed binary tree in Go without casts or reflection
  ☆19Updated 11 years ago