Alternatives and similar repositories for snippets

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

• geofflangdale / sheng
  A small DFA for under 16 states
  ☆54Updated 7 years ago
• jhellerstein / arugula
  a small C++ lattice library
  ☆15Updated 6 years ago
• ot / semi_index
  Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"
  ☆58Updated 13 years ago
• YADL / yadl
  Yet Another Dedupe Library
  ☆16Updated 10 years ago
• LouisJenkinsCS / Distributed-Data-Structures
  [GSoC] Distributed Data Structures - Collections Framework for Chapel language
  ☆15Updated 8 years ago
• giannitedesco / cola
  Cache Oblivious Lookahead Arrays
  ☆27Updated 12 years ago
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆17Updated 5 years ago
• DaMSL / K3
  K3: A Declarative Data Systems Programming Framework
  ☆15Updated 9 years ago
• camsas / Musketeer
  The Musketeer workflow manager.
  ☆42Updated 7 years ago
• djspiewak / scala-bison
  A recursive ascent/descent parser generator for Scala
  ☆34Updated 3 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆13Updated 4 years ago
• graphik-team / graal
  Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:
  ☆50Updated 3 years ago
• edwardcapriolo / nibiru
  A NoSql database designed for maximum plugablitily and configurability.
  ☆17Updated 6 months ago
• afterburnerdb / afterburner
  Interactive SQL analytics in your browser!
  ☆22Updated 8 years ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆25Updated 11 years ago
• belaban / pluscal
  Tests with PlusCal / TLA+
  ☆25Updated 9 years ago
• kompics / kompics
  Kompics - A message-passing component model for building distributed systems
  ☆66Updated 3 years ago
• Paradoxika / Skeptik
  A library for Proof Theory (especially Proof Compression) in Scala.
  ☆34Updated 8 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 12 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 7 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆84Updated 2 years ago
• stanford-ppl / Forge
  A prototype meta DSL that generates Delite DSL implementations from a specification-like program.
  ☆51Updated 8 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆43Updated 2 weeks ago
• odipar / spread
  SPREAD
  ☆18Updated 4 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 9 years ago
• mm-adt / vm
  The mm-ADT Virtual Machine
  ☆35Updated 5 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆58Updated last year
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 8 years ago
• rescrv / pocdb
  Paxos-replicated key-value store in 3 hours or less.
  ☆25Updated 8 years ago