The Solid-State Register Allocator
☆91Oct 5, 2022Updated 4 years ago
Alternatives and similar repositories for ssra
Users that are interested in ssra are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A new register allocator☆267Oct 6, 2026Updated 3 weeks ago
- A self-generating WebAssembly parser & serializer in Rust.☆29Oct 24, 2026Updated last week
- Interpreter for a small subset of the Haskell programming language☆17May 9, 2026Updated 5 months ago
- Compiler backend☆16Aug 7, 2026Updated 2 months ago
- An implementation of "Regular Expression Matching: the Virtual Machine Approach"☆27Aug 20, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- batch eval tool for machine code. eval() but for asm.☆12Dec 31, 2022Updated 3 years ago
- A ridiculous Python interpreter written from scratch in Rust.☆27Oct 23, 2026Updated last week
- A macro to define lambda-like macros inline.☆17Sep 8, 2019Updated 7 years ago
- Reading DWARF information from wasm files.☆19Jul 27, 2018Updated 8 years ago
- ☆43Apr 18, 2023Updated 3 years ago
- A concurrent GC.☆44Jul 10, 2022Updated 4 years ago
- A wrapper around Rust futures that stores the future in space provided by the caller.☆314Aug 24, 2026Updated 2 months ago
- Lock ordering enforcement at compile time in Rust☆24Mar 17, 2025Updated last year
- ☆22Mar 1, 2026Updated 8 months ago
- 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.
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated 2 years ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- Right Kan extension transformers covering the entire MTL, IO, ST s, and STM in Haskell in a generalization of continuation passing style☆14Feb 10, 2024Updated 2 years ago
- Injector decorator for Angular 1.x☆11Jul 18, 2016Updated 10 years ago
- Implementation of game of life and a bunch of primitive recursive functions at the type level in rust☆41Dec 13, 2018Updated 7 years ago
- Tiny, readable Scheme interpreter☆11Nov 13, 2025Updated 11 months ago
- ☆17Apr 22, 2020Updated 6 years ago
- experimental datalog rules for a next gen polonius☆19Sep 6, 2022Updated 4 years ago
- a 2D sdf combiner editor☆13Oct 23, 2025Updated last year
- 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.
- Zippers for cofree types☆15Dec 7, 2021Updated 4 years ago
- playing around with ELF in zig☆14May 10, 2026Updated 5 months ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆26Oct 22, 2023Updated 3 years ago
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 7 years ago
- A superset of brainfuck with dynamic memory management.☆31Oct 2, 2020Updated 6 years ago
- A Nix web bundler because why not☆56Mar 10, 2024Updated 2 years ago
- A virtual ternary OISC machine (One Instruction Set Computer) inspired by 1950s Soviet hardware☆10Oct 29, 2020Updated 6 years ago
- opencti (Common Testing Infrastructure) for open64☆11Nov 14, 2017Updated 8 years ago
- Template for generating rust-based native projects☆14Jan 18, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- "Basic TCP socket stuff made a bit less boring" -antirez☆15Sep 1, 2014Updated 12 years ago
- System information☆22Updated this week
- Rust Automated Theorem Proving library inspired by a text by John Harrison (WIP)☆23May 21, 2025Updated last year
- Verify naive = datafrog-opt, in rust/polonius☆17Jun 26, 2025Updated last year
- A simple event-driven library for parsing WebAssembly binary files☆180Sep 8, 2020Updated 6 years ago
- ioring wrapper for windows-rs☆24Oct 2, 2022Updated 4 years ago
- ☆20Aug 7, 2024Updated 2 years ago