Alternatives and similar repositories for snippets

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

• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 8 years ago
• LouisJenkinsCS / Distributed-Data-Structures
  [GSoC] Distributed Data Structures - Collections Framework for Chapel language
  ☆15Updated 8 years ago
• kompics / kompics
  Kompics - A message-passing component model for building distributed systems
  ☆66Updated 3 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• djspiewak / scala-bison
  A recursive ascent/descent parser generator for Scala
  ☆34Updated 3 years ago
• DaMSL / K3
  K3: A Declarative Data Systems Programming Framework
  ☆15Updated 9 years ago
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆86Updated last year
• jhellerstein / arugula
  a small C++ lattice library
  ☆15Updated 5 years ago
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆17Updated 5 years ago
• YADL / yadl
  Yet Another Dedupe Library
  ☆16Updated 10 years ago
• grievejia / pcomb
  Simple C++ Parser Combinator Library
  ☆15Updated 10 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 12 years ago
• kompics / kompics-scala
  A Scala DSL for the Kompics framework
  ☆19Updated 3 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 9 years ago
• brendanzab / algebra
  Abstract algebra for Rust (still very much a WIP!)
  ☆62Updated 3 years ago
• Paradoxika / Skeptik
  A library for Proof Theory (especially Proof Compression) in Scala.
  ☆34Updated 8 years ago
• camsas / Musketeer
  The Musketeer workflow manager.
  ☆42Updated 7 years ago
• mm-adt / vm
  The mm-ADT Virtual Machine
  ☆35Updated 5 years ago
• rise-lang / rise
  Implementation of the RISE language
  ☆14Updated 5 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
• frankmcsherry / explanation
  Infrastructure for explaining the outputs of differential dataflow computations
  ☆23Updated 9 years ago
• paenko / raft-rs
  [Incomplete] A Raft implementation in Rust
  ☆15Updated 8 years ago
• eHarmony / aloha
  A scala-based feature generation and modeling framework
  ☆61Updated 7 years ago
• papers-we-love / pwlconf-info
  Materials and accompanying references for all things pwlconf related
  ☆60Updated 6 years ago
• hpc / libcircle
  An API to provide an efficient distributed queue on a cluster. Libcircle is currently used in production to quickly traverse and perform …
  ☆98Updated 5 years ago
• elfsternberg / riggedregex
  Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust
  ☆20Updated 5 years ago
• suomela / da
  Distributed Algorithms — Online Textbook
  ☆16Updated 4 years ago
• dobkeratops / rustfind
  rust html source code browser generator, rust source code navigator, possible component for IDE ? Example output - see rust compiler sou…
  ☆48Updated 8 years ago
• dzufferey / psync
  DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds
  ☆44Updated 3 years ago
• briangu / chearch
  Chearch is a simple search engine written in Cray's Chapel language.
  ☆34Updated 4 years ago