dedis / Determinator
Experimental operating system for deterministic parallel computing
☆38Updated 9 years ago
Related projects: ⓘ
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 5 years ago
- The Secure Block Device Library is a software library that applies cryptographic confidentiality and integrity protection, including data…☆34Updated 6 years ago
- valgrind fork with mmap tracing support☆23Updated 4 years ago
- A fast secure userspace pseudorandom number generator☆81Updated 10 years ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆17Updated 6 years ago
- ☆20Updated this week
- A (GCC) compiler plugin for multiversing functions☆19Updated 2 years ago
- Experimental bed to study Linux faults☆25Updated 2 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
- picotrace - system call process tracer☆35Updated 4 years ago
- Crellvm: Verified Credible Compilation for LLVM☆15Updated 6 years ago
- cut out a small (binary) piece of a (binary) file☆15Updated 13 years ago
- Multiplication using AVX512 and AVX512IFMA instructions☆23Updated 8 years ago
- A feature-incomplete peekahole (pahole) clone that doesn't rely on libdwarves (and doesn't choke on Clang output)☆22Updated 6 years ago
- Useful macros for debugging purposes.☆16Updated 9 years ago
- Tools for testing C compilers for the correct handling of volatile objects.☆25Updated 10 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆38Updated last year
- x86info : x86 processor register decoder.☆40Updated 7 months ago
- experimental high performance, low fragmentation memory allocator☆55Updated 7 years ago
- Control and diagnostic applications for rump kernels☆36Updated 7 years ago
- Test suite for Capsicum☆43Updated 10 months ago
- Set of reusable Make snippets 🏗️☆15Updated 7 years ago
- A clang wrapper for musl C library. Pretty hacky, I know.☆34Updated 9 years ago
- Source code for the article "A bug story: data alignment on x86"☆15Updated 7 years ago
- Parallel sections library for parallel data-structures☆13Updated 10 months ago
- Compiler intermediate language for static analysis.☆106Updated 5 years ago
- A library to support streaming data applications☆24Updated 3 years ago
- ☆33Updated last year
- Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.☆59Updated last year
- A simple implementation of an 'echo' (port 7) server using epoll (Linux), kqueue (FreeBSD), and IOCompletionPorts (Windows).☆13Updated 5 years ago