Alternatives and similar repositories for andreessen

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

• jhellerstein / arugula
  a small C++ lattice library
  ☆15Updated 5 years ago
• pabuhr / uCPP
  concurrency for C++
  ☆162Updated last week
• 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
• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆96Updated 3 years ago
• andralex / MedianOfNinthers
  ☆50Updated 5 years ago
• uchicago-cs / cmsc23300
  CMSC 23300 - Networks and Distributed Systems
  ☆66Updated 5 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆58Updated 6 years ago
• rickBuczynski / coolang
  COOL (Classroom Object Oriented Language) compiler with LLVM backend
  ☆33Updated 5 years ago
• qzmfranklin / cppgm
  C++ compiler, from scratch. Only completed the preprocessing tokenizer yet.
  ☆12Updated 7 years ago
• scotts / streamflow
  Lock-free multithreaded memory allocation
  ☆108Updated 8 years ago
• rescrv / e
  Library containing high-performance datastructures and utilities for C++
  ☆75Updated 8 years ago
• jaredhoberock / hindley_milner
  A C++11 implementation of Hindley-Milner type inference.
  ☆79Updated 12 years ago
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 8 years ago
• MaskRay / CamlFeatherweight
  Bytecode compiler of a variant of Caml
  ☆34Updated 10 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 9 years ago
• google / fpc
  FPC calculates information to be used in fixed-point integer calculations
  ☆29Updated 8 years ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆50Updated 3 weeks ago
• wbhart / bsdnt
  BSD Licensed Bignum Library
  ☆232Updated last year
• ericniebler / fpxx
  sandbox for my c++ functional programming experiments
  ☆33Updated 12 years ago
• dwd31415 / single-c-file
  This tool merges C or C++ source files into one single .c/.cpp file.
  ☆16Updated 10 years ago
• davidmalcolm / coconut
  An experimental method JIT for CPython 3
  ☆29Updated 9 years ago
• darius / sketchbook
  Smallish programs written to learn something.
  ☆51Updated last year
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated 3 months ago
• mit-frap / spring20
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020
  ☆19Updated 5 years ago
• nvidia-compiler-sdk / pynvvm
  Python bindings for libNVVM
  ☆37Updated 11 years ago
• evincarofautumn / protodata
  A textual language for binary data.
  ☆37Updated 3 years ago
• haberman / dumpfp
  A small little tool for dumping a floating-point number in its native format
  ☆55Updated 10 years ago
• AnyDSL / thorin
  The Higher-Order Intermediate Representation
  ☆160Updated last week
• google-research / automemcpy
  ☆22Updated 3 years ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 6 years ago