Alternatives and similar repositories for proquint

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

• 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.
  ☆203Updated 3 months ago
• katef / kgt
  BNF wrangling and railroad diagrams
  ☆608Updated last month
• vijithassar / lit
  a little preprocessor for literate programming
  ☆122Updated 2 years ago
• git-dit / git-dit
  Decentralized Issue Tracking for git
  ☆461Updated this week
• aphyr / meangirls
  Convergent Replicated Data Types
  ☆657Updated 9 years ago
• sit-fyi / sit
  Serverless (offline-first, merge-friendly) Information Tracker
  ☆556Updated 6 years ago
• sustrik / cartesian
  generator for complex configurations
  ☆99Updated 7 years ago
• dspinellis / dgsh
  Shell supporting pipelines to and from multiple processes
  ☆335Updated last year
• bittorrent / sqltorrent
  ☆286Updated 9 years ago
• hishamhm / userland-prototype
  Proof-of-concept prototype for Userland
  ☆157Updated 2 years ago
• sentient-lang / sentient-lang
  The Sentient Programming Language.
  ☆81Updated 5 years ago
• thosakwe / t2b
  A wicked-powerful text macro language for building binary files.
  ☆378Updated last year
• sustrik / tiles
  Programmatic code generation
  ☆83Updated 6 years ago
• benlaurie / objecthash
  A way to cryptographically hash objects (in the JSON-ish sense) that works cross-language. And, therefore, cross-encoding.
  ☆148Updated last year
• vmchale / polyglot
  Tool to count lines of source code.
  ☆252Updated last year
• dkellner / chronofold
  Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.
  ☆93Updated 3 years ago
• jeffreykegler / Marpa--R2
  Parse any language you can describe in BNF
  ☆159Updated last year
• breck7 / scrollsdk
  The code for Particles and Parsers, which Scroll is built on.
  ☆389Updated last month
• JohnEarnest / ok
  An open-source interpreter for the K5 programming language.
  ☆603Updated last year
• sustrik / ribosome
  Simple code generator
  ☆249Updated last year
• jamii / dida
  Differential dataflow for mere mortals
  ☆522Updated 3 years ago
• ssbc / scuttlebutt-protocol-guide
  Protocol documentation for Secure Scuttlebutt
  ☆249Updated last year
• gritzko / ron
  (dated, see the site) Replicated Object Notation, a distributed live data format, golang/ragel lib
  ☆362Updated 7 months ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆674Updated last month
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆399Updated 2 years ago
• l29ah / muesli
  An alternative approach to food
  ☆187Updated 8 months ago
• kstenerud / concise-encoding
  The secure data format for a modern world
  ☆268Updated last year
• pfrazee / base-emoji
  Output a buffer (0xdeadbeef) in emojis ()
  ☆264Updated 8 years ago
• osnr / cruncher
  Scrubbing calculator.
  ☆188Updated 7 years ago
• jordanorelli / lexnum
  efficient lexicographic encoding of numbers
  ☆15Updated 10 years ago