Alternatives and similar repositories for andreessen

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

• pabuhr / uCPP
  concurrency for C++
  ☆162Updated 2 weeks ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆50Updated last month
• LLNL / unum
  Universal Number Library
  ☆44Updated 7 years ago
• owlbarn / owl_symbolic
  Connect Owl with other accelerators and numerical frameworks with symbolic maths
  ☆20Updated 3 years ago
• OCamlPro / ocaml-top
  A simple cross-platform OCaml code editor built for top-level evaluation.
  ☆65Updated 2 years ago
• nasa / Kodiak
  Library for rigorous verification of non-linear arithmetic
  ☆115Updated last year
• amnh / ocamion
  Numerical and Combinatorial Optimization Library
  ☆19Updated 11 years ago
• akabe / evilml
  A compiler from ML to C++ template language
  ☆157Updated 10 years ago
• johnwhitington / ocamli
  OCaml interpreter
  ☆102Updated 6 years ago
• ericniebler / fpxx
  sandbox for my c++ functional programming experiments
  ☆33Updated 12 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
• cmaes / miniml
  Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
  ☆31Updated 4 years ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 6 years ago
• uchicago-cs / cmsc23300
  CMSC 23300 - Networks and Distributed Systems
  ☆68Updated 5 years ago
• sumith1896 / tusSAT
  A SAT solver implementation in VHDL, team tussle
  ☆21Updated 9 years ago
• DylanZA / eslang
  Erlang style programming for C++
  ☆15Updated 7 years ago
• copy / gdbprofiler
  (deprecated) Rich man's profiler, a profiler for native OCaml and other executables
  ☆124Updated last year
• llvm-mirror / test-suite
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆34Updated 6 years ago
• nehmeier / libieeep1788
  C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic
  ☆49Updated 10 years ago
• mathiasbourgoin / SPOC
  Stream Processing with OCaml
  ☆139Updated 5 months ago
• miking-lang / miking
  Miking - the meta viking: a meta-language system for creating embedded languages
  ☆55Updated last week
• janestreet / async_kernel
  Jane Street Capital's asynchronous execution library (core)
  ☆57Updated last week
• jhellerstein / arugula
  a small C++ lattice library
  ☆15Updated 5 years ago
• taddeus / brainfucker
  A Brainfuck to binary compiler using LLVM, written in OCaml.
  ☆20Updated 2 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆87Updated 2 years ago
• rewriting / tom
  ☆34Updated 5 years ago
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆35Updated 3 years ago
• janestreet / universe
  Jane Street universe
  ☆17Updated 5 years ago
• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆66Updated this week
• google / fpc
  FPC calculates information to be used in fixed-point integer calculations
  ☆29Updated 8 years ago