Alternatives and similar repositories for proquint

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

• dspinellis / dgsh
  Shell supporting pipelines to and from multiple processes
  ☆336Updated last year
• kstenerud / concise-encoding
  The secure data format for a modern world
  ☆269Updated last year
• 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 4 months ago
• bittorrent / sqltorrent
  ☆289Updated 9 years ago
• git-dit / git-dit
  Decentralized Issue Tracking for git
  ☆463Updated last month
• timvieira / justified-variables
  Words of the same length with related meanings.
  ☆345Updated 4 months ago
• katef / kgt
  BNF wrangling and railroad diagrams
  ☆609Updated 3 months ago
• ejholmes / walk
  A fast, general purpose, graph based build and task execution utility.
  ☆137Updated 5 years ago
• hishamhm / userland-prototype
  Proof-of-concept prototype for Userland
  ☆158Updated 3 years ago
• braid-org / braid-spec
  Working area for Braid extensions to HTTP
  ☆251Updated 7 months ago
• 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
• vijithassar / lit
  a little preprocessor for literate programming
  ☆123Updated 2 years ago
• dckc / awesome-ocap
  Awesome Object Capabilities and Capability Security
  ☆366Updated 2 months ago
• sit-fyi / sit
  Serverless (offline-first, merge-friendly) Information Tracker
  ☆555Updated 6 years ago
• dundalek / GrammKit
  Generate diagrams for parser grammars
  ☆240Updated 2 years ago
• breck7 / scrollsdk
  The code for Particles and Parsers, which Scroll is built on.
  ☆389Updated 3 months ago
• tibru / tibru
  An alternative to Urbit
  ☆94Updated 7 years ago
• hintjens / socialarchitecture
  A primer on on-line community building
  ☆221Updated 7 years ago
• anordal / selfdock
  Docker done right, from the bottom
  ☆100Updated 4 years ago
• jakeogh / angryfiles
  generate a tree of diverse file names
  ☆48Updated last year
• pfrazee / base-emoji
  Output a buffer (0xdeadbeef) in emojis ()
  ☆264Updated 8 years ago
• jamespwilliams / ebnf-shipping-forecast
  EBNF specification of the BBC's shipping forecast
  ☆43Updated 2 years ago
• sustrik / cartesian
  generator for complex configurations
  ☆99Updated 7 years ago
• silentbicycle / guff
  a plot device
  ☆317Updated 5 years ago
• couchbase / fleece
  A super-fast, compact, JSON-equivalent binary data format
  ☆320Updated 3 weeks ago
• sustrik / tiles
  Programmatic code generation
  ☆83Updated 6 years ago
• begriffs / mimedown
  markdown to multipart mime
  ☆80Updated 4 years ago
• cannadayr / git-sqlite
  A custom diff and merge driver for sqlite
  ☆212Updated 3 years ago
• sentient-lang / sentient-lang
  The Sentient Programming Language.
  ☆82Updated 5 years ago
• hoytech / quadrable
  Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs
  ☆319Updated 2 years ago