Alternatives and similar repositories for proquint

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

• bittorrent / sqltorrent
  ☆287Updated 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.
  ☆202Updated 3 months ago
• multiformats / multihash
  Self describing hashes - for future proofing
  ☆922Updated last month
• benlaurie / objecthash
  A way to cryptographically hash objects (in the JSON-ish sense) that works cross-language. And, therefore, cross-encoding.
  ☆148Updated 2 years ago
• dspinellis / dgsh
  Shell supporting pipelines to and from multiple processes
  ☆335Updated last year
• thosakwe / t2b
  A wicked-powerful text macro language for building binary files.
  ☆378Updated last year
• sustrik / ribosome
  Simple code generator
  ☆249Updated last year
• sit-fyi / sit
  Serverless (offline-first, merge-friendly) Information Tracker
  ☆555Updated 6 years ago
• hishamhm / userland-prototype
  Proof-of-concept prototype for Userland
  ☆158Updated 2 years ago
• gritzko / ron
  (dated, see the site) Replicated Object Notation, a distributed live data format, golang/ragel lib
  ☆362Updated 7 months ago
• vijithassar / lit
  a little preprocessor for literate programming
  ☆123Updated 2 years ago
• git-dit / git-dit
  Decentralized Issue Tracking for git
  ☆461Updated 3 weeks ago
• thomasballinger / rlundo
  undo in any program that uses readline
  ☆162Updated 7 years ago
• apenwarr / git-subtrac
  Keep the content for your git submodules all in one place: the parent repo.
  ☆386Updated 4 years ago
• katef / kgt
  BNF wrangling and railroad diagrams
  ☆608Updated 2 months ago
• timvieira / justified-variables
  Words of the same length with related meanings.
  ☆345Updated 3 months ago
• dckc / awesome-ocap
  Awesome Object Capabilities and Capability Security
  ☆366Updated last month
• hoytech / quadrable
  Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs
  ☆319Updated 2 years ago
• sentient-lang / sentient-lang
  The Sentient Programming Language.
  ☆82Updated 5 years ago
• Xe / olin
  Webassembly + Event Sourcing
  ☆523Updated last year
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆677Updated 2 months ago
• aphyr / meangirls
  Convergent Replicated Data Types
  ☆656Updated 9 years ago
• laserallan / malloc_geiger
  ☆334Updated 5 years ago
• jamii / dida
  Differential dataflow for mere mortals
  ☆522Updated 3 years ago
• kach / tower-of-power
  What is hip? Tell me, tell me (if you think you know)
  ☆110Updated 6 years ago
• tom-p-reichel / svg-is-turing-complete
  An implementation of rule 110 in Scalable Vector Graphics
  ☆147Updated 4 years ago
• vmchale / polyglot
  Tool to count lines of source code.
  ☆252Updated last year
• ianh / owl
  A parser generator for visibly pushdown languages.
  ☆791Updated 2 months ago
• vshymanskyy / muon
  µON - a compact and simple binary object notation
  ☆263Updated 2 years ago
• mirth-lang / mirth
  Compiler for the Mirth programming language.
  ☆471Updated last month