☆328Feb 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☆882Aug 14, 2023Updated 3 years ago
- bit & sketches data structures☆60Nov 2, 2018Updated 7 years ago
- Wiki:☆27Jan 27, 2016Updated 10 years ago
- Dead Simple OpenCL☆429Apr 10, 2016Updated 10 years ago
- finding set bits in large bitmaps☆15Nov 30, 2015Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An efficient external-memory algorithm for the construction of minimal perfect hash functions☆66May 29, 2024Updated 2 years ago
- Code which loads custom ISA on Intel Haswell GPUs☆47Sep 12, 2016Updated 10 years ago
- minimal freestanding C library for bare-metal i386 development☆277Mar 17, 2016Updated 10 years ago
- x86-64 assembler embedded in Python☆2,062Sep 25, 2023Updated 2 years ago
- Plasma is an interactive disassembler for x86/ARM/MIPS. It can generates indented pseudo-code with colored syntax.☆3,069Aug 31, 2021Updated 5 years ago
- A very fast scalar implementation for Frame Of Reference integer compression.☆109Nov 5, 2015Updated 10 years ago
- exokernel style operating system based on lightweight virtual machines☆25Apr 29, 2016Updated 10 years ago
- A superoptimizer for LLVM IR☆2,385Aug 28, 2024Updated 2 years ago
- Optimize floating-point expressions for accuracy☆891Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Lisp-flavoured C☆1,046Apr 20, 2025Updated last year
- Automatic inference of a formal specification of the x86_64 instruction set☆72Apr 11, 2016Updated 10 years ago
- Mathematica's programming language parser written in Scala☆24Sep 11, 2014Updated 12 years ago
- Gidl: an Interface Description Language☆11Aug 11, 2017Updated 9 years ago
- a logic-based trust-management system☆19Sep 17, 2012Updated 14 years ago
- Micro simple Rasterizer in a single C++11 header file.☆345Sep 6, 2018Updated 8 years ago
- A minimal C runtime for Linux i386 & x86_64☆586Apr 10, 2022Updated 4 years ago
- An algorithm for generating random doubles.☆13Feb 21, 2017Updated 9 years ago
- ☆65Oct 24, 2015Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Concurrent Programming Library (Coroutine) for C11☆366Sep 28, 2021Updated 4 years ago
- A libre cross-platform disassembler.☆1,446Jan 3, 2019Updated 7 years ago
- C to Rust translator☆2,186Mar 10, 2019Updated 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
- TAPIR distributed transactional storage system☆428Mar 11, 2026Updated 6 months ago
- The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions☆1,616Aug 24, 2026Updated 3 weeks ago
- TurboRLE-Fastest Run Length Encoding☆290Jul 14, 2026Updated 2 months ago
- OCaml implementation of the K 2.0 array programming language☆82Mar 1, 2016Updated 10 years ago
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Jun 21, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Distributed-memory, arbitrary-precision, dense and sparse-direct linear algebra, conic optimization, and lattice reduction☆517Mar 4, 2026Updated 6 months ago
- A lazy specializing virtual machine for purely functional languages☆102Apr 11, 2018Updated 8 years ago
- An experimental (read: DONT USE) musl libc implementation in Rust.☆295Jan 20, 2018Updated 8 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆34Nov 13, 2017Updated 8 years ago
- reverse engineering branch predictors☆18Feb 28, 2016Updated 10 years ago
- A fast implementation for varbyte 32bit/64bit integer compression☆123Feb 19, 2017Updated 9 years ago
- Give pact several PIDs. When one PID dies, pact will kill all provided PIDs.☆189Feb 11, 2016Updated 10 years ago