☆329Feb 8, 2016Updated 10 years ago
Alternatives and similar repositories for stoke-release
Users that are interested in stoke-release are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- STOKE: A stochastic superoptimizer and program synthesizer☆857Aug 14, 2023Updated 2 years ago
- x86-64 assembler library☆488Jan 15, 2021Updated 5 years ago
- bit & sketches data structures☆60Nov 2, 2018Updated 7 years ago
- Wiki:☆27Jan 27, 2016Updated 10 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆324Jul 14, 2016Updated 9 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A C++ expression -> x64 JIT☆1,260Aug 21, 2020Updated 5 years ago
- Dead Simple OpenCL☆430Apr 10, 2016Updated 9 years ago
- finding set bits in large bitmaps☆15Nov 30, 2015Updated 10 years ago
- Optimize floating-point expressions for accuracy☆848Updated this week
- A very fast scalar implementation for Frame Of Reference integer compression.☆109Nov 5, 2015Updated 10 years ago
- Plasma is an interactive disassembler for x86/ARM/MIPS. It can generates indented pseudo-code with colored syntax.☆3,065Aug 31, 2021Updated 4 years ago
- x86-64 assembler embedded in Python☆2,048Sep 25, 2023Updated 2 years ago
- Code which loads custom ISA on Intel Haswell GPUs☆47Sep 12, 2016Updated 9 years ago
- A superoptimizer for LLVM IR☆2,361Aug 28, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- minimal freestanding C library for bare-metal i386 development☆278Mar 17, 2016Updated 10 years ago
- Lisp-flavoured C☆1,043Apr 20, 2025Updated 11 months ago
- exokernel style operating system based on lightweight virtual machines☆25Apr 29, 2016Updated 9 years ago
- a logic-based trust-management system☆19Sep 17, 2012Updated 13 years ago
- Concurrent and efficient implementation of statsd in Haskell☆19Feb 12, 2014Updated 12 years ago
- Micro simple Rasterizer in a single C++11 header file.☆345Sep 6, 2018Updated 7 years ago
- Concurrent Programming Library (Coroutine) for C11☆365Sep 28, 2021Updated 4 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆72Apr 11, 2016Updated 9 years ago
- TAPIR distributed transactional storage system☆425Mar 11, 2026Updated 2 weeks ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- A minimal C runtime for Linux i386 & x86_64☆587Apr 10, 2022Updated 3 years ago
- JIT Assembler Library for multiple ISAs☆77Jan 24, 2015Updated 11 years ago
- ☆64Oct 24, 2015Updated 10 years ago
- A work-in-progress JIT-powered regex engine☆112Feb 18, 2018Updated 8 years ago
- Miscellaneous utility code for c++ projects.☆18Nov 4, 2018Updated 7 years ago
- A small embeddable VM with a custom instruction set and everything stored in a statically allocated memory space.☆238Oct 29, 2023Updated 2 years ago
- heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape☆14Jul 20, 2025Updated 8 months ago
- A libre cross-platform disassembler.☆1,441Jan 3, 2019Updated 7 years ago
- Vantage point tree implementation in OCaml☆19Apr 22, 2025Updated 11 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions☆1,569Updated this week
- TurboRLE-Fastest Run Length Encoding☆289Apr 7, 2023Updated 2 years ago
- An algorithm for generating random doubles.☆13Feb 21, 2017Updated 9 years ago
- An experimental (read: DONT USE) musl libc implementation in Rust.☆293Jan 20, 2018Updated 8 years ago
- BinNavi is a binary analysis IDE that allows to inspect, navigate, edit and annotate control flow graphs and call graphs of disassembled …☆2,892Oct 23, 2020Updated 5 years ago
- A lazy specializing virtual machine for purely functional languages☆103Apr 11, 2018Updated 7 years ago
- A minimal, resource efficient unikernel for cloud services☆5,220Jan 8, 2026Updated 2 months ago