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
  ☆88Updated 5 years ago
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆54Updated 2 years ago
• floodyberry / chacha-opt
  Optimized block functions for the ChaCha stream cipher
  ☆51Updated 5 years ago
• tailhook / probor
  A protocol on top of CBOR that provides protobuf-like functionality
  ☆54Updated 7 years ago
• felix-lang / fbuild
  A cross platform, high performant caching build system
  ☆48Updated 7 years ago
• jeffreykegler / Marpa--R2
  Parse any language you can describe in BNF
  ☆161Updated last year
• qznc / annoying-build-systems
  A collection of annoyances of build systems
  ☆91Updated 7 years ago
• NuxiNL / argdata
  A binary serialisation format inspired by YAML, MessagePack and nvlists.
  ☆32Updated 4 years ago
• GaloisInc / salty
  A DSL for generating GR(1) problems
  ☆11Updated 4 years ago
• NuxiNL / cloudabi-ports
  Packages for CloudABI
  ☆21Updated 4 years ago
• cbor / cbor.github.io
  cbor.io web site
  ☆80Updated 8 months ago
• GaloisInc / smaccmpilot-build
  An umbrella repository including all of the dependencies to build the smaccmpilot project
  ☆74Updated 8 years ago
• mauke / poly.poly
  Polyglots
  ☆83Updated 9 years ago
• TokTok / hs-toxcore
  Haskell Tox protocol implementation
  ☆42Updated 5 months ago
• tliron / ronin
  A straightforward but powerful build system based on Ninja and Python
  ☆61Updated 6 years ago
• droundy / fac
  Fac is a general-purpose build system that runs on Linux only, which automatically tracks dependencies by observing the build commands in…
  ☆78Updated 3 years ago
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• haskell-cryptography / cacophony
  A Haskell library implementing the Noise protocol.
  ☆100Updated 7 months ago
• limbahq / binreloc
  Library for creating relocatable software
  ☆43Updated 8 years ago
• jkff / splot
  Visualizing the activity of many concurrent processes
  ☆59Updated 5 years ago
• wbhart / bsdnt
  BSD Licensed Bignum Library
  ☆232Updated last year
• tomahawkins / improve
  An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…
  ☆57Updated 13 years ago
• jacereda / fsatrace
  Filesystem access tracer
  ☆84Updated last year
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆29Updated 6 years ago
• cchalmers / pcg-random
  Haskell interface to the pcg random number generator
  ☆41Updated last year
• GaloisInc / e2eviv
  Artifacts associated with the U.S. Vote Foundation's E2E-VIV Project (end-to-end verifiable internet voting).
  ☆19Updated 7 years ago
• attresearch / yakker
  ☆23Updated 13 years ago
• 1984not-GmbH / molch
  An implementation of the axolotl ratchet based on libsodium.
  ☆23Updated 2 years ago
• edwinb / Protocols
  A DSL for describing and implementing communication protocols
  ☆83Updated 10 years ago
• ku-fpg / kansas-lava
  Kansas Lava
  ☆48Updated 5 years ago