Alternatives and similar repositories for andreessen:

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

• gasche / popl2014-papers
  ☆73Updated 10 years ago
• JUrban / MPTP2
  ☆19Updated 7 years ago
• arthuraa / cufp-2015-tutorial
  An introductory tutorial for the Coq proof assistant.
  ☆9Updated 5 years ago
• ericniebler / fpxx
  sandbox for my c++ functional programming experiments
  ☆34Updated 11 years ago
• Naios / swy
  A compiler for my educational research programming language that supports homogeneous metaprogramming
  ☆20Updated 7 years ago
• evincarofautumn / protodata
  A textual language for binary data.
  ☆37Updated 2 years ago
• clnhlzmn / CopperKitten
  An exercise in programming language design and implementation.
  ☆20Updated 3 years ago
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 2 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 5 years ago
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 8 years ago
• toby-allsopp / free-monads-in-cpp
  Functors, Monads and Free Monads in C++
  ☆18Updated last year
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆29Updated 9 years ago
• IntelLabs / flrc-lib
  Pillar compiler, Pillar runtime, garbage collector.
  ☆23Updated 2 years ago
• mpcsh / ForML
  Bachelor's thesis 2019
  ☆12Updated last year
• GaloisInc / http-server
  A Haskell HTTP server
  ☆23Updated 7 years ago
• ThePhD / phd
  A collection of useful things; sometimes proofs of concepts, sometimes production-ready code.
  ☆20Updated 4 years ago
• angel-manuel / schc
  Simple C Haskell Compiler
  ☆22Updated last year
• MaskRay / CamlFeatherweight
  Bytecode compiler of a variant of Caml
  ☆32Updated 9 years ago
• waves281 / anic
  ANI language - Faster than C, Safer than Java, Simpler than *sh (now dead)
  ☆12Updated 9 years ago
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆42Updated 3 years ago
• aubreyrjones / lemon-py
  Generic parse tree, configurable lexer, `lemon` parser generator, wrapped for C++17 and Python 3.
  ☆14Updated 3 years ago
• plasma-umass / entroprise
  measure entropy of memory allocators
  ☆12Updated 3 years ago
• twhitehead / c99-meta
  Abusing the C99 preprocessor for meta-programming
  ☆20Updated 7 years ago
• pfultz2 / ZLang
  A plugin framework for namespace macros in C/C++
  ☆35Updated 10 years ago
• splinterofchaos / Pure
  An almost-pure C++ library for writing functional code.
  ☆37Updated 10 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 5 years ago
• halo-project / halo
  😇 Wholly Adaptive LLVM Optimizer
  ☆27Updated 4 years ago