Alternatives and similar repositories for nasm_repl

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

• rutgers-apl / rlibm-32
  RLibm for 32-bit representations (float and posit32)
  ☆61Updated 3 years ago
• uwplse / herbgrind
  A Valgrind tool for Herbie
  ☆94Updated 2 years ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆62Updated last week
• sillycross / PochiVM
  Lightweight framework for easy and efficient code generation
  ☆102Updated last year
• deepsea-inria / heartbeat
  Prototype implementation of Heartbeat Scheduling, in C++
  ☆19Updated 3 years ago
• drepper / optmark
  Markup source code showing optimizations
  ☆36Updated 5 years ago
• unison-code / unison
  Unison's source code
  ☆108Updated last year
• maciejpirog / cpp-effects
  Effect handlers in C++
  ☆124Updated last year
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆105Updated 11 months ago
• metalibm / metalibm
  Code generation tool to generate mathematical libraries
  ☆56Updated 5 months ago
• compiler-research / CppInterOp
  A Clang-based C++ Interoperability Library
  ☆76Updated last week
• AnyDSL / thorin
  The Higher-Order Intermediate Representation
  ☆156Updated this week
• securesystemslab / LLVM-MCA-Daemon
  ☆20Updated 5 months ago
• kavon / llvm-statepoint-utils
  Runtime support for LLVM's GC Statepoints
  ☆43Updated 5 years ago
• luhsra / chash
  CLang Plugin for calculating AST hashes
  ☆15Updated 6 years ago
• libsemigroups / HPCombi
  Fast combinatorics in C++ using SSE/AVX instruction sets
  ☆17Updated 5 months ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆71Updated this week
• microsoft / AliveInLean
  Formally verified implementation of Alive in Lean
  ☆36Updated 2 years ago
• smowton / llpe
  ☆54Updated last year
• master-keying / minisat
  A minimalistic and high-performance SAT solver
  ☆146Updated 3 years ago
• interplanetary-robot / SigmoidNumbers
  Sigmoid Numbers for Julia
  ☆88Updated 7 years ago
• nehmeier / libieeep1788
  C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic
  ☆49Updated 10 years ago
• androm3da / optviewer-demo
  Demonstration of LLVM's opt-viewer tool
  ☆71Updated 8 years ago
• PRUNERS / FLiT
  A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.
  ☆39Updated 9 months ago
• Etaphase / FastSigmoids.jl
  Sigmoid Numbers backed by IEEE Floats
  ☆17Updated 8 years ago
• taschini / crlibm
  A mirror of the CRLibm project from INRIA Forge
  ☆48Updated 4 years ago
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆92Updated 2 weeks ago
• marxin / cvise
  Super-parallel Python port of the C-Reduce
  ☆290Updated this week
• melt-umn / ableC
  Attribute grammar Based Language Extensions for C
  ☆41Updated last month