Alternatives and similar repositories for andreessen

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

• regehr / rb_tree_demo
  code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896
  ☆18Updated 7 years ago
• pabuhr / uCPP
  concurrency for C++
  ☆163Updated last month
• GaloisInc / http-server
  A Haskell HTTP server
  ☆25Updated 8 years ago
• jaredhoberock / hindley_milner
  A C++11 implementation of Hindley-Milner type inference.
  ☆80Updated 13 years ago
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 9 years ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆56Updated last month
• kevina / zl
  A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…
  ☆30Updated 4 years ago
• ishiura-compiler / CF3
  "CF3" is a C compiler test suite targeting arithmetic optimization.
  ☆37Updated 8 years ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 7 years ago
• jhellerstein / arugula
  a small C++ lattice library
  ☆15Updated 6 years ago
• scotts / streamflow
  Lock-free multithreaded memory allocation
  ☆110Updated 9 years ago
• apl-cornell / fabric
  Distributed persistent programming language with secure information flow types
  ☆29Updated 11 months ago
• uchicago-cs / cmsc23300
  CMSC 23300 - Networks and Distributed Systems
  ☆68Updated 6 years ago
• beastaugh / hatt
  Truth-table generator for classical propositional logic
  ☆26Updated 4 years ago
• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆96Updated 3 years ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆30Updated 10 years ago
• qzmfranklin / cppgm
  C++ compiler, from scratch. Only completed the preprocessing tokenizer yet.
  ☆12Updated 8 years ago
• DylanZA / eslang
  Erlang style programming for C++
  ☆15Updated 8 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆76Updated 7 years ago
• wbhart / bsdnt
  BSD Licensed Bignum Library
  ☆233Updated last year
• OCamlPro / ocaml-top
  A simple cross-platform OCaml code editor built for top-level evaluation.
  ☆65Updated 3 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 10 years ago
• sumith1896 / tusSAT
  A SAT solver implementation in VHDL, team tussle
  ☆21Updated 9 years ago
• davidmalcolm / coconut
  An experimental method JIT for CPython 3
  ☆29Updated 9 years ago
• lomereiter / pratt-parser
  Implementation of Pratt parser in C++11
  ☆26Updated 10 years ago
• llnl / unum
  Universal Number Library
  ☆44Updated 7 years ago
• kerneis / cpc
  Continuation Passing C
  ☆114Updated 6 years ago
• dibyendumajumdar / dmr_c
  dmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends
  ☆56Updated 6 years ago
• abudnik / tcalc
  C++ compile-time Prolog interpreter
  ☆65Updated 11 years ago
• rescrv / e
  Library containing high-performance datastructures and utilities for C++
  ☆76Updated 8 years ago