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:
- A (GCC) compiler plugin for multiversing functions☆20Updated 3 years ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 7 years ago
- Source code for the article "A bug story: data alignment on x86"☆16Updated 8 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- Experimental bed to study Linux faults☆25Updated 2 years ago
- A simple implementation of an 'echo' (port 7) server using epoll (Linux), kqueue (FreeBSD), and IOCompletionPorts (Windows).☆13Updated 6 years ago
- Multiplication using AVX512 and AVX512IFMA instructions☆23Updated 9 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- valgrind fork with mmap tracing support☆24Updated 5 years ago
- Benchmark supporting baseless libel against clang-format☆11Updated 5 years ago
- Ninja-based configuration system☆11Updated 5 years ago
- reverse engineering branch predictors☆17Updated 9 years ago
- cut out a small (binary) piece of a (binary) file☆15Updated 13 years ago
- Scripts that I used to write a blog post about section 7.24.1(2) of C11☆11Updated 8 years ago
- NOVA runtime environment (official branch)☆34Updated 3 years ago
- RLU resizable hash-table☆17Updated 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…☆30Updated 12 years ago
- The Secure Block Device Library is a software library that applies cryptographic confidentiality and integrity protection, including data…☆36Updated 7 years ago
- Oblivious Memory Access under Fully Homomorphic Encryption☆13Updated 9 years ago
- Set of reusable Make snippets 🏗️☆16Updated 7 years ago
- Security-Oriented Analysis of Application Programs☆13Updated 6 years ago
- A fast secure userspace pseudorandom number generator☆82Updated 11 years ago
- Useful macros for debugging purposes.☆16Updated 10 years ago
- 1990s-era ARM assembly implementation of IRC. Preserved for posterity☆11Updated 8 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
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆43Updated 9 years ago
- Sheriff consists of two tools: Sheriff-Detect, a false-sharing detector, and Sheriff-Protect, a false-sharing eliminator that you can lin…☆32Updated 6 years ago
- A feature-incomplete peekahole (pahole) clone that doesn't rely on libdwarves (and doesn't choke on Clang output)☆22Updated 7 years ago
- C version of the MetroHash function☆27Updated 10 years ago
- An experimental lossless data compression program with high compression ratio.☆14Updated 12 years ago