jackfischer / andreessen

Related projects ⓘ

Alternatives and complementary repositories for andreessen

• gasche / popl2014-papers
  ☆73Updated 10 years ago
• arthuraa / cufp-2015-tutorial
  An introductory tutorial for the Coq proof assistant.
  ☆9Updated 5 years ago
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 2 years ago
• plasma-umass / entroprise
  measure entropy of memory allocators
  ☆12Updated 3 years ago
• janestreet / zstandard
  OCaml bindings to Zstandard
  ☆24Updated 2 months ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆12Updated last month
• nojb / llvm-tiger
  A compiler for the Tiger programming language targeting LLVM
  ☆13Updated 7 years ago
• sanjoy / echoes
  ☆21Updated 7 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 5 years ago
• scizzorz / rain
  A programming language.
  ☆20Updated 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 5 years ago
• MaskRay / CamlFeatherweight
  Bytecode compiler of a variant of Caml
  ☆32Updated 9 years ago
• evincarofautumn / protodata
  A textual language for binary data.
  ☆37Updated 2 years ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆33Updated 10 years ago
• jaredhoberock / hindley_milner
  A C++11 implementation of Hindley-Milner type inference.
  ☆78Updated 11 years ago
• owlbarn / owl_symbolic
  Connect Owl with other accelerators and numerical frameworks with symbolic maths
  ☆18Updated 2 years ago
• Drup / LILiS
  L-system interpreter in OCaml
  ☆22Updated 8 years ago
• ujamjar / hardcaml-llvmsim
  LLVM JIT Cycle Accurate Simulator for HardCaml
  ☆13Updated 7 years ago
• nicola-gigante / bitvector
  A C++ container-like data structure for storing a vector of bits with fast appending on both sides and fast insertion in the middle, all …
  ☆21Updated 2 years ago
• jhellerstein / arugula
  a small C++ lattice library
  ☆14Updated 4 years ago
• Drup / llvmgraph
  Ocamlgraph overlay for llvm
  ☆21Updated 9 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• wbhart / ccas
  A simple CAS written in C.
  ☆10Updated 9 years ago
• BR903 / cppp
  A program for automatically resolving #ifdef statements in C code.
  ☆34Updated 2 weeks ago
• melt-umn / ableC
  Attribute grammar Based Language Extensions for C
  ☆36Updated this week
• sunshowers / z3.rkt
  Racket bindings for Z3
  ☆19Updated 12 years ago
• Sumith1896 / tusSAT
  A SAT solver implementation in VHDL, team tussle
  ☆20Updated 8 years ago
• wbhart / comb
  Combinators in C
  ☆38Updated 12 years ago