Alternatives and similar repositories for proquint

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

• neithernut / git-dit
  Decentralized Issue Tracking for git
  ☆461Updated 2 months 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.
  ☆202Updated 2 months ago
• dspinellis / dgsh
  Shell supporting pipelines to and from multiple processes
  ☆335Updated last year
• jedisct1 / encpipe
  The dum^H^H^Hsimplest encryption tool in the world.
  ☆222Updated 3 months ago
• katef / kgt
  BNF wrangling and railroad diagrams
  ☆605Updated last month
• benlaurie / objecthash
  A way to cryptographically hash objects (in the JSON-ish sense) that works cross-language. And, therefore, cross-encoding.
  ☆148Updated last year
• hishamhm / userland-prototype
  Proof-of-concept prototype for Userland
  ☆157Updated 2 years ago
• hoytech / quadrable
  Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs
  ☆317Updated 2 years ago
• bittorrent / sqltorrent
  ☆287Updated 9 years ago
• berneout / authors-certificate
  practical provenance for the GitHub-and-npm set
  ☆73Updated 3 years ago
• ejholmes / walk
  A fast, general purpose, graph based build and task execution utility.
  ☆137Updated 5 years ago
• sustrik / ribosome
  Simple code generator
  ☆249Updated 11 months ago
• kstenerud / concise-encoding
  The secure data format for a modern world
  ☆268Updated last year
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆671Updated 3 weeks ago
• braid-org / braid-spec
  Working area for Braid extensions to HTTP
  ☆243Updated 5 months ago
• timvieira / justified-variables
  Words of the same length with related meanings.
  ☆345Updated 2 months ago
• graydon / stxt
  sketch of a secure async group communication system
  ☆99Updated 11 years ago
• gritzko / ron
  (dated, see the site) Replicated Object Notation, a distributed live data format, golang/ragel lib
  ☆362Updated 6 months ago
• thosakwe / t2b
  A wicked-powerful text macro language for building binary files.
  ☆378Updated last year
• singpolyma / mnemonicode
  Fork of http://web.archive.org/web/20101031205747/http://www.tothink.com/mnemonic/
  ☆157Updated 2 years ago
• jamii / imp
  Various experiments in relational programming
  ☆272Updated 3 years ago
• sit-fyi / sit
  Serverless (offline-first, merge-friendly) Information Tracker
  ☆556Updated 6 years ago
• jamii / dida
  Differential dataflow for mere mortals
  ☆521Updated 3 years ago
• majek / fluxcapacitor
  The engine that powers DeLorean!
  ☆833Updated 5 years ago
• katef / libfsm
  DFA regular expression library & friends
  ☆959Updated last month
• invisible-college / braidjs
  Synchronization for the Web
  ☆57Updated 5 years ago
• brushtechnology / fabricate
  The better build tool. Finds dependencies automatically for any language.
  ☆133Updated 4 years ago
• thomasballinger / rlundo
  undo in any program that uses readline
  ☆162Updated 7 years ago
• darius / tush
  Literate testing for command-line programs
  ☆57Updated 9 years ago
• ottypes / libot
  A minimal C library for operational transform
  ☆109Updated 9 years ago