Alternatives and similar repositories for K3

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

• 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
• nvidia-compiler-sdk / pynvvm
  Python bindings for libNVVM
  ☆37Updated 11 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
• grievejia / pcomb
  Simple C++ Parser Combinator Library
  ☆15Updated 10 years ago
• bretthall / Wyatt-STM
  Software transactional memory system developed at Wyatt Technology
  ☆29Updated 6 years ago
• Tipoca / hlvm
  High-Level Virtual Machine for statically-typed functional languages.
  ☆48Updated 14 years ago
• NVIDIA / remorac
  ☆40Updated 9 years ago
• davidmalcolm / coconut
  An experimental method JIT for CPython 3
  ☆29Updated 9 years ago
• LouisJenkinsCS / Distributed-Data-Structures
  [GSoC] Distributed Data Structures - Collections Framework for Chapel language
  ☆15Updated 8 years ago
• andrewray / iocamljs
  An OCaml javascript kernel for the IPython notebook
  ☆58Updated 8 years ago
• ucbrise / fluent-old
  Bloom + C++
  ☆17Updated 8 years ago
• ot / path_decomposed_tries
  Implementation of the data structures described in the paper "Fast Compressed Tries using Path Decomposition".
  ☆57Updated 2 years ago
• frankmcsherry / explanation
  Infrastructure for explaining the outputs of differential dataflow computations
  ☆23Updated 9 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• OCamlPro / ocaml-top
  A simple cross-platform OCaml code editor built for top-level evaluation.
  ☆65Updated 2 years ago
• art4711 / bmap_find
  finding set bits in large bitmaps
  ☆15Updated 10 years ago
• camsas / Musketeer
  The Musketeer workflow manager.
  ☆42Updated 7 years ago
• chip8-rust / chip8-vm
  CHIP-8 virtual machine implementation in the Rust programming language
  ☆13Updated 10 years ago
• facebookarchive / iterlib
  Iterator library.
  ☆80Updated 6 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆53Updated 7 years ago
• jolisper / ulisp
  An implementation of @phil_eaton compilers basic notes in Rust
  ☆35Updated 6 years ago
• briangu / chearch
  Chearch is a simple search engine written in Cray's Chapel language.
  ☆34Updated 4 years ago
• evincarofautumn / protodata
  A textual language for binary data.
  ☆37Updated 3 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆20Updated 6 years ago
• jhellerstein / arugula
  a small C++ lattice library
  ☆15Updated 5 years ago
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆35Updated 4 years ago
• papers-we-love / pwlconf-info
  Materials and accompanying references for all things pwlconf related
  ☆60Updated 6 years ago
• BranchTaken / Hemlock
  Programming language
  ☆39Updated 5 months ago
• rewriting / tom
  ☆34Updated 5 years ago