Alternatives and similar repositories for K3

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

• nvidia-compiler-sdk / pynvvm
  Python bindings for libNVVM
  ☆37Updated 11 years ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆25Updated 11 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 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 12 years ago
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 8 years ago
• jhellerstein / arugula
  a small C++ lattice library
  ☆15Updated 5 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆53Updated 7 years ago
• lemire / multiplatform_simd_recipes
  SIMD recipes, for various platforms (collection of code snippets)
  ☆49Updated 4 years ago
• LouisJenkinsCS / Distributed-Data-Structures
  [GSoC] Distributed Data Structures - Collections Framework for Chapel language
  ☆15Updated 7 years ago
• elfsternberg / riggedregex
  Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust
  ☆20Updated 5 years ago
• davidmalcolm / coconut
  An experimental method JIT for CPython 3
  ☆29Updated 9 years ago
• briangu / chearch
  Chearch is a simple search engine written in Cray's Chapel language.
  ☆34Updated 4 years ago
• regehr / rb_tree_demo
  code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896
  ☆18Updated 6 years ago
• ucbrise / fluent-old
  Bloom + C++
  ☆17Updated 8 years ago
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆86Updated last year
• rlu-sync / rlu-rht
  RLU resizable hash-table
  ☆17Updated 10 years ago
• papers-we-love / pwlconf-info
  Materials and accompanying references for all things pwlconf related
  ☆60Updated 6 years ago
• jolisper / ulisp
  An implementation of @phil_eaton compilers basic notes in Rust
  ☆35Updated 6 years ago
• contain-rs / cons-list
  An immutable singly-linked list, as seen in basically every functional language
  ☆30Updated 2 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆20Updated 6 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆43Updated 3 months ago
• suomela / da
  Distributed Algorithms — Online Textbook
  ☆16Updated 4 years ago
• grievejia / pcomb
  Simple C++ Parser Combinator Library
  ☆15Updated 10 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆14Updated 10 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated last month
• rurban / perl-hash-stats
  Counting the collisions with perl hash tables per function
  ☆12Updated 6 years ago
• Tipoca / hlvm
  High-Level Virtual Machine for statically-typed functional languages.
  ☆48Updated 14 years ago
• nu-rust-course / code
  Code that we write in class.
  ☆28Updated 4 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
• efficient / ffbf
  Feed-forward Bloom filters
  ☆53Updated 14 years ago