bergjohan / nasm_repl
☆10Updated 4 years ago
Alternatives and similar repositories for nasm_repl:
Users that are interested in nasm_repl are comparing it to the libraries listed below
- Parallel Tasks Runtime☆34Updated 5 years ago
- RLibm for 32-bit representations (float and posit32)☆61Updated 3 years ago
- Sorting with Singeli☆11Updated 5 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆30Updated this week
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 7 months ago
- ☆18Updated 6 years ago
- Like `which`, for dynamic libraries☆39Updated 3 months ago
- BQN implementation in Julia☆18Updated 3 years ago
- Sigmoid Numbers backed by IEEE Floats☆17Updated 7 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago
- Lower Size Bounds for Sorting Networks☆44Updated 4 years ago
- Floating-Point Scalar Evolution☆12Updated 5 years ago
- Global Address SPace toolbox -- Julia wrapper☆10Updated 7 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- A collection of Kanren implementations in Julia☆24Updated 8 years ago
- Universal Number Library☆41Updated 7 years ago
- ☆58Updated 11 years ago
- A small C++17 library inspired by Category Theory.☆16Updated 2 years ago
- Unums 2.0 for Julia☆13Updated 8 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- ☆67Updated 3 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated 8 months ago
- Efficient filtering and linear algebra routines for multidimensional arrays☆11Updated last year
- ☆10Updated 6 months ago
- This repository contains the Core and Extended source files of the Standard Library of the SaC programming language☆14Updated 2 weeks ago
- floating-point errors checker☆56Updated this week
- Operations with matrices, SWI pack☆13Updated last year
- git mirror with some local fixes. currently not uptodate☆15Updated 2 years ago