Alternatives and similar repositories for snippets:

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

• asmuth-archive / libsmatrix
  thread-safe sparse matrix data structure
  ☆25Updated 10 years ago
• GaloisInc / icfpcontest2015
  The 2015 ICFP Programming Contest
  ☆7Updated 9 years ago
• aserg-ufmg / NextBug
  A next-good-bug recommender for Bugzilla
  ☆11Updated 8 years ago
• blu / ascii_pruner
  Pruning of blanks from an ASCII stream - musings in AMD64 and ARM64
  ☆10Updated 4 years ago
• shimmercat / second-transfer
  A library for creating HTTP/2 servers in Haskell.
  ☆9Updated 7 years ago
• lemire / costofsafety
  Quick experiment to see how expensive safety is in C, for research
  ☆12Updated 5 years ago
• logpy / strategies
  Programmatic Control Flow
  ☆12Updated 7 years ago
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆16Updated 4 years ago
• det / segmented_tree
  Sequence data structure with efficient random access insert and erase
  ☆13Updated last year
• KWillets / range_generator
  Some variations on Lemire's Fast Random Integer Generation in an Interval
  ☆15Updated 5 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆11Updated 2 years ago
• kframework / java-semantics
  The semantics of Java in K
  ☆19Updated 3 years ago
• epfl-labos / wren
  Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store
  ☆8Updated 6 years ago
• theck01 / offbrand_lib
  A collecton of generic reference counted data structures, tools to create compatible C style classes, and demo applications
  ☆81Updated 9 years ago
• davidlazar / pwclip
  Hash-based password manager
  ☆19Updated 5 years ago
• txt / mase
  Teaching materials for Model-based Automated Software Engineering
  ☆12Updated 9 years ago
• Const-me / MemoryAccessCosts
  ☆13Updated 6 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆51Updated 6 years ago
• irfansharif / raft.tla
  TLA+ specification for the Raft consensus algorithm (with Pre-Vote)
  ☆12Updated 7 years ago
• willemt / splay-tree
  A splaytree ADT written in C with a BSD license
  ☆17Updated 4 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated 2 years ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆29Updated 9 years ago
• fritzo / pomagma
  An inference engine for extensional untyped λ-calculus
  ☆17Updated last year
• rlu-sync / rlu-rht
  RLU resizable hash-table
  ☆16Updated 9 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 4 years ago
• plasma-umass / entroprise
  measure entropy of memory allocators
  ☆12Updated 3 years ago
• reverbrain / smack
  Low-level IO storage which packs data into sorted (zlib/bzip2/snappy compressed) blobs
  ☆31Updated 12 years ago
• SeanCheatham / scala-graph
  A collection of Scala graph libraries and adapters for graph databases.
  ☆14Updated 8 years ago
• edwardcapriolo / nibiru
  A NoSql database designed for maximum plugablitily and configurability.
  ☆16Updated 9 years ago
• silentbicycle / skel
  tiny command-line skeleton/snippet thing
  ☆21Updated 6 years ago