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
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆53Updated 7 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
• 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
• rurban / perl-hash-stats
  Counting the collisions with perl hash tables per function
  ☆12Updated 6 years ago
• ucbrise / fluent-old
  Bloom + C++
  ☆17Updated 8 years ago
• txt / mase
  Teaching materials for Model-based Automated Software Engineering
  ☆13Updated 9 years ago
• papers-we-love / pwlconf-info
  Materials and accompanying references for all things pwlconf related
  ☆60Updated 6 years ago
• facebookarchive / iterlib
  Iterator library.
  ☆80Updated 5 years ago
• brycelelbach / prana
  Prana is a library providing a generic AST data structure called utree
  ☆25Updated 14 years ago
• grievejia / pcomb
  Simple C++ Parser Combinator Library
  ☆15Updated 10 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated last month
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆13Updated 3 years ago
• art4711 / bmap_find
  finding set bits in large bitmaps
  ☆15Updated 9 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
• siedentop / rapidfuzz
  Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer
  ☆27Updated 7 years ago
• jhellerstein / arugula
  a small C++ lattice library
  ☆15Updated 5 years ago
• metaborg / strategoxt
  The Stratego program transformation language
  ☆33Updated 6 months ago
• bretthall / Wyatt-STM
  Software transactional memory system developed at Wyatt Technology
  ☆29Updated 6 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• briangu / chearch
  Chearch is a simple search engine written in Cray's Chapel language.
  ☆34Updated 4 years ago
• davidmalcolm / coconut
  An experimental method JIT for CPython 3
  ☆29Updated 9 years ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆25Updated 10 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆20Updated 6 years ago
• rlu-sync / rlu-rht
  RLU resizable hash-table
  ☆17Updated 10 years ago
• grammarware / slps
  Software Language Processing Suite
  ☆47Updated 3 years ago
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆13Updated 7 years ago