Alternatives and similar repositories for herodotos

Users that are interested in herodotos are comparing it to the libraries listed below

• coccinelle / faults-in-Linux
  Experimental bed to study Linux faults
  ☆26Updated 3 years ago
• hannesm / tlstunnel-lwt
  TLS tunnel -- an alternative to stud / stunnel
  ☆84Updated 2 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• favonia / homotopy
  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
  ☆26Updated 11 years ago
• ANSSI-FR / mabo
  MRT Parser
  ☆47Updated 6 years ago
• eth-sri / bayonet
  Probabilistic Computer Network Analysis
  ☆20Updated 6 years ago
• mirage / qubes-mirage-skeleton
  An example Mirage unikernel that runs as a Qubes AppVM
  ☆23Updated 4 years ago
• patrickt / blimp
  an example airship app
  ☆14Updated 9 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• hcarty / ocamlbrew
  Manage OCaml installations in your $HOME
  ☆69Updated 7 years ago
• kayceesrk / Quelea
  A Haskell library for declarative programming over eventually consistent store (Cassandra).
  ☆18Updated 7 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• google / capsicum-test
  Test suite for Capsicum
  ☆44Updated 11 months ago
• shriram / repro-in-cs
  Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)
  ☆59Updated 10 years ago
• iskandr / ocaml_llvm
  Toy compiler for OCaml Meetup
  ☆67Updated 13 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆57Updated 11 months ago
• sagemath / git-trac-command
  A "git trac" subcommand for git
  ☆13Updated 3 years ago
• mirage / mini-os
  Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git
  ☆64Updated 5 years ago
• MyLifeLabs / nproc
  Process pools for OCaml
  ☆30Updated 12 years ago
• mato / opam-rumprun
  OCaml 4.02 cross compiler for the rumprun unikernel stack
  ☆50Updated 9 years ago
• janestreet / async_parallel
  Distributed computing library
  ☆35Updated 7 years ago
• openvstorage / alba
  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
• UWNetworksLab / metasync
  MetaSync
  ☆20Updated 9 years ago
• avsm / docker-opam
  Docker container for an OCaml + OPAM setup
  ☆24Updated 8 years ago
• mattgray / mirage-xen-virtualbox
  Packer template to build Vagrant based Ubuntu + Xen development environment
  ☆19Updated 9 years ago
• rems-project / netsem
  Network Semantics
  ☆90Updated 6 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• lcdunstan / reqtrace
  Requirement traceability tool for OCaml
  ☆13Updated 10 years ago
• backtracking / combine
  OCaml library for combinatorics
  ☆35Updated 3 months ago
• m4b / rdr
  Rdr is a cross-platform binary analysis and reverse engineering library, utilizing a unique symbol map for global analysis.
  ☆84Updated 2 years ago