Alternatives and similar repositories for spec-with-errata-fixed

Users that are interested in spec-with-errata-fixed are comparing it to the libraries listed below

• ndmitchell / build-shootout
  Comparison of build program expressive power
  ☆87Updated 6 years ago
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆54Updated 3 years ago
• NuxiNL / argdata
  A binary serialisation format inspired by YAML, MessagePack and nvlists.
  ☆33Updated 5 years ago
• 1984not-GmbH / molch
  An implementation of the axolotl ratchet based on libsodium.
  ☆23Updated 3 years ago
• jeffreykegler / Marpa--R2
  Parse any language you can describe in BNF
  ☆162Updated 2 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 5 years ago
• huonw / float
  Arbitrary precision floating point in Rust
  ☆19Updated 10 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆110Updated 8 years ago
• ncellar / autumn_archive
  A PEG parsing library
  ☆14Updated 6 years ago
• felix-lang / fbuild
  A cross platform, high performant caching build system
  ☆49Updated 7 years ago
• SimonSapin / wtf-8
  The WTF-8 encoding specification
  ☆114Updated 5 months ago
• mhagger / diff-slider-tools
  Tools for experimenting diff "slider" heuristics
  ☆55Updated 9 years ago
• rootkovska / state_harmful
  The "State considered harmful" paper
  ☆109Updated 10 years ago
• robbertkrebbers / ch2o
  ☆89Updated 4 years ago
• GaloisInc / e2eviv
  Artifacts associated with the U.S. Vote Foundation's E2E-VIV Project (end-to-end verifiable internet voting).
  ☆19Updated 7 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆29Updated 7 years ago
• NVIDIA / remorac
  ☆40Updated 9 years ago
• graydon / stxt
  sketch of a secure async group communication system
  ☆101Updated 11 years ago
• floodyberry / chacha-opt
  Optimized block functions for the ChaCha stream cipher
  ☆52Updated 6 years ago
• berneout / authors-certificate
  practical provenance for the GitHub-and-npm set
  ☆70Updated 4 years ago
• floodyberry / poly1305-opt
  Optimized implementations of Poly1305, a fast message-authentication-code
  ☆47Updated 11 years ago
• kerneis / cpc
  Continuation Passing C
  ☆114Updated 6 years ago
• mirage / mirage-qubes
  Mirage support for writing QubesOS AppVM unikernels
  ☆64Updated 11 months ago
• jeffreykegler / old_kollos
  The Kollos project [ARCHIVED]
  ☆30Updated 3 years ago
• SimonJF / cmm_of_wasm
  A compiler from WebAssembly to native code, via the OCaml backend.
  ☆92Updated 7 years ago
• google / capsicum-linux
  Linux kernel with Capsicum support
  ☆211Updated 5 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 9 years ago
• cbor / cbor.github.io
  cbor.io web site
  ☆82Updated last year
• wbhart / bsdnt
  BSD Licensed Bignum Library
  ☆233Updated last year
• attresearch / yakker
  ☆24Updated 14 years ago