Alternatives and similar repositories for proquint

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

• bittorrent / sqltorrent
  ☆288Updated 9 years ago
• Tarsnap / kivaloo
  Kivaloo is a collection of utilities which together form a data store associating keys of up to 255 bytes with values of up to 255 bytes.
  ☆204Updated last month
• katef / kgt
  BNF wrangling and railroad diagrams
  ☆624Updated last month
• braid-org / braid-spec
  Working area for Braid extensions to HTTP
  ☆254Updated last year
• dspinellis / dgsh
  Shell supporting pipelines to and from multiple processes
  ☆358Updated last year
• hishamhm / userland-prototype
  Proof-of-concept prototype for Userland
  ☆159Updated 3 years ago
• timvieira / justified-variables
  Words of the same length with related meanings.
  ☆349Updated last month
• sit-fyi / sit
  Serverless (offline-first, merge-friendly) Information Tracker
  ☆556Updated 7 years ago
• git-dit / git-dit
  Decentralized Issue Tracking for git
  ☆466Updated 7 months ago
• begriffs / mimedown
  markdown to multipart mime
  ☆83Updated 4 years ago
• sustrik / tiles
  Programmatic code generation
  ☆83Updated 6 years ago
• sustrik / cartesian
  generator for complex configurations
  ☆99Updated 8 years ago
• nicowilliams / inplace
  Stream editor adaptor for in-place editing
  ☆47Updated 10 years ago
• cannadayr / git-sqlite
  A custom diff and merge driver for sqlite
  ☆219Updated 4 years ago
• trishume / numderline
  Font patcher to using shaping tricks to make it easier to pick out digit groups in numbers without commas
  ☆121Updated 2 years ago
• ejholmes / walk
  A fast, general purpose, graph based build and task execution utility.
  ☆138Updated 6 years ago
• sentient-lang / sentient-lang
  The Sentient Programming Language.
  ☆82Updated 6 years ago
• singpolyma / mnemonicode
  Fork of http://web.archive.org/web/20101031205747/http://www.tothink.com/mnemonic/
  ☆166Updated 2 years ago
• jamespwilliams / ebnf-shipping-forecast
  EBNF specification of the BBC's shipping forecast
  ☆43Updated 3 years ago
• vijithassar / lit
  a little preprocessor for literate programming
  ☆125Updated 2 years ago
• dckc / awesome-ocap
  Awesome Object Capabilities and Capability Security
  ☆384Updated 3 weeks ago
• hoytech / quadrable
  Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs
  ☆320Updated 2 years ago
• mhagger / diff-slider-tools
  Tools for experimenting diff "slider" heuristics
  ☆55Updated 9 years ago
• breck7 / scrollsdk
  The code for Particles and Parsers, which Scroll is built on.
  ☆388Updated 9 months ago
• anordal / selfdock
  Docker done right, from the bottom
  ☆99Updated 5 years ago
• invisible-college / statebus
  All aboard the STATEBUS!!!
  ☆120Updated 3 months ago
• dundalek / GrammKit
  Generate diagrams for parser grammars
  ☆243Updated 2 years ago
• ottypes / libot
  A minimal C library for operational transform
  ☆113Updated 10 years ago
• jeffreykegler / Marpa--R2
  Parse any language you can describe in BNF
  ☆163Updated 2 years ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆714Updated 9 months ago