Alternatives and similar repositories for proquint

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

• timvieira / justified-variables
  Words of the same length with related meanings.
  ☆346Updated 7 months ago
• kstenerud / concise-encoding
  The secure data format for a modern world
  ☆271Updated 2 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 7 months ago
• bittorrent / sqltorrent
  ☆286Updated 9 years ago
• braid-org / braid-spec
  Working area for Braid extensions to HTTP
  ☆253Updated 10 months ago
• katef / kgt
  BNF wrangling and railroad diagrams
  ☆615Updated 2 months ago
• benlaurie / objecthash
  A way to cryptographically hash objects (in the JSON-ish sense) that works cross-language. And, therefore, cross-encoding.
  ☆146Updated 2 years ago
• dspinellis / dgsh
  Shell supporting pipelines to and from multiple processes
  ☆357Updated last year
• vshymanskyy / muon
  µON - a compact and simple binary object notation
  ☆265Updated 2 years ago
• breck7 / scrollsdk
  The code for Particles and Parsers, which Scroll is built on.
  ☆389Updated 6 months ago
• tibru / tibru
  An alternative to Urbit
  ☆94Updated 8 years ago
• sustrik / cartesian
  generator for complex configurations
  ☆99Updated 7 years ago
• jeffreykegler / Marpa--R2
  Parse any language you can describe in BNF
  ☆163Updated 2 years ago
• ottypes / libot
  A minimal C library for operational transform
  ☆111Updated 10 years ago
• sustrik / tiles
  Programmatic code generation
  ☆83Updated 6 years ago
• sit-fyi / sit
  Serverless (offline-first, merge-friendly) Information Tracker
  ☆556Updated 6 years ago
• ejholmes / walk
  A fast, general purpose, graph based build and task execution utility.
  ☆138Updated 6 years ago
• jakeogh / angryfiles
  generate a tree of diverse file names
  ☆50Updated last year
• judofyr / glush
  A parser toolkit
  ☆97Updated 4 years ago
• vijithassar / lit
  a little preprocessor for literate programming
  ☆125Updated 2 years ago
• git-dit / git-dit
  Decentralized Issue Tracking for git
  ☆466Updated 4 months ago
• dckc / awesome-ocap
  Awesome Object Capabilities and Capability Security
  ☆373Updated 4 months ago
• hintjens / socialarchitecture
  A primer on on-line community building
  ☆223Updated 8 years ago
• berneout / authors-certificate
  practical provenance for the GitHub-and-npm set
  ☆71Updated 4 years ago
• petrosagg / wtfiles
  Files that make you go WTF!
  ☆66Updated last year
• salimfadhley / eztable
  Really easy tables in pure Python
  ☆153Updated 10 years ago
• hishamhm / userland-prototype
  Proof-of-concept prototype for Userland
  ☆158Updated 3 years ago
• cannadayr / git-sqlite
  A custom diff and merge driver for sqlite
  ☆215Updated 4 years ago
• DRMacIver / schroedinteger
  Is this integer dead or alive?
  ☆45Updated 8 years ago
• anordal / selfdock
  Docker done right, from the bottom
  ☆99Updated 4 years ago