Alternatives and similar repositories for andreessen

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

• uchicago-cs / cmsc23300
  CMSC 23300 - Networks and Distributed Systems
  ☆66Updated 5 years ago
• pabuhr / uCPP
  concurrency for C++
  ☆162Updated 3 weeks ago
• GaloisInc / blt
  Lattice-based integer linear programming solver
  ☆65Updated last month
• jaredhoberock / hindley_milner
  A C++11 implementation of Hindley-Milner type inference.
  ☆79Updated 12 years ago
• lomereiter / pratt-parser
  Implementation of Pratt parser in C++11
  ☆26Updated 10 years ago
• jhellerstein / arugula
  a small C++ lattice library
  ☆15Updated 5 years ago
• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆96Updated 3 years ago
• nasa / Kodiak
  Library for rigorous verification of non-linear arithmetic
  ☆116Updated last year
• mrkev / cornell
  C0rn3LL 4 L337 H4xx0rz
  ☆36Updated 2 years ago
• abudnik / tcalc
  C++ compile-time Prolog interpreter
  ☆65Updated 11 years ago
• OscarCunningham / logic-life-search
  Cellular automata search program
  ☆26Updated 3 years ago
• andralex / MedianOfNinthers
  ☆50Updated 5 years ago
• zwade / Befungell
  Effective Multi-threading in Befunge!
  ☆46Updated 7 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
• qzmfranklin / cppgm
  C++ compiler, from scratch. Only completed the preprocessing tokenizer yet.
  ☆12Updated 7 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆70Updated 2 years ago
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆27Updated 7 years ago
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 8 years ago
• LLNL / unum
  Universal Number Library
  ☆44Updated 7 years ago
• fsaintjacques / jitmap
  LLVM-jitted bitmaps
  ☆27Updated 5 years ago
• jfbastien / papers
  Papers for the C++ Standards Committee, WG21
  ☆57Updated 4 months ago
• rescrv / e
  Library containing high-performance datastructures and utilities for C++
  ☆74Updated 8 years ago
• fredrik-johansson / flint
  My copy of FLINT -- please use https://github.com/flintlib/flint/ for development
  ☆82Updated last week
• BartoszMilewski / CodeCoop
  Peer-to-peer version control system
  ☆95Updated 2 years ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 6 years ago
• kerneis / cpc
  Continuation Passing C
  ☆114Updated 6 years ago
• mmottl / cfg
  OCaml library for manipulating context-free grammars
  ☆20Updated last month
• 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
• ericniebler / fpxx
  sandbox for my c++ functional programming experiments
  ☆33Updated 12 years ago
• scotts / streamflow
  Lock-free multithreaded memory allocation
  ☆108Updated 8 years ago