dedis / DeterminatorLinks
Experimental operating system for deterministic parallel computing
☆38Updated 10 years ago
Alternatives and similar repositories for Determinator
Users that are interested in Determinator are comparing it to the libraries listed below
Sorting:
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 7 years ago
- Ninja-based configuration system☆11Updated 5 years ago
- cut out a small (binary) piece of a (binary) file☆15Updated 13 years ago
- NOVA runtime environment (official branch)☆34Updated 4 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆26Updated 6 years ago
- valgrind fork with mmap tracing support☆24Updated 5 years ago
- Scripts that I used to write a blog post about section 7.24.1(2) of C11☆11Updated 9 years ago
- Source code for the article "A bug story: data alignment on x86"☆16Updated 8 years ago
- Tools for testing C compilers for the correct handling of volatile objects.☆27Updated 10 years ago
- Fuzzing compression libraries☆19Updated 9 years ago
- The bvim is an advanced fork of bvi, a display-oriented editor for binary files, based on the vi texteditor. This version include support…☆31Updated 12 years ago
- Peek/Poke like it's 1979 - Multi-Platform memory reading/writing☆12Updated 6 years ago
- Oblivious Memory Access under Fully Homomorphic Encryption☆13Updated 9 years ago
- measure entropy of memory allocators☆12Updated 3 years ago
- reverse engineering branch predictors☆17Updated 9 years ago
- Scripting Assembly Language☆12Updated 9 years ago
- Multiplication using AVX512 and AVX512IFMA instructions☆23Updated 9 years ago
- A fast secure userspace pseudorandom number generator☆83Updated 11 years ago
- Dan Kaminsky's clock drift entropy generator☆6Updated 10 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆40Updated 2 years ago
- yaSSL, or yet another SSL, is an embedded ssl library for programmers building security functionality into their applications and devices…☆11Updated 7 years ago
- NOVA userland☆48Updated 11 years ago
- Experimental bed to study Linux faults☆26Updated 3 years ago
- The Secure Block Device Library is a software library that applies cryptographic confidentiality and integrity protection, including data…☆36Updated 7 years ago
- A 250 LOC heap profiler - easy to hack/port, works out of the box with dynamically linked Linux binaries☆50Updated 4 months ago
- Plug-and-play IP rate limiter in C☆24Updated 4 years ago
- Go language interface to the Libcircle distributed-queue API☆23Updated 2 years ago
- ooc operating system☆40Updated 4 years ago
- Compiler intermediate language for static analysis.☆107Updated 6 years ago
- Visualize file data as a PNG☆39Updated 13 years ago