A Flash Player emulator written in Rust

(ALPHA) TinyRange: Next-generation Virtualisation for Cyber and beyond

Kani Rust Verifier

A static verifier for Rust, based on the Viper verification infrastructure.

Asynchronous, super fast LaTeX previews for Org mode.

A text rendering crate for rust+wgpu, using signed distance fields

Copy of instlatx64.atw.hu

High-performance QEMU memory and instruction tracing

simple type recognition in decompiled executables

GNU/Linux software to (hopefully) give TAS tools to games

A cross-platform declarative UI framework, inspired by SwiftUI.

Verified Rust for low-level systems code

Tvix - A Rust implementation of Nix. Read-only mirror of https://code.tvl.fyi/tree/tvix

A tiny C header-only risc-v emulator.

SystemVerilog LSP. Strives to be fast and accurate with a special focus on autocomplete.

Source files for an ARM lifter, generated by ASLp's offline partial evaluation

A collection of resources for learning type theory and type theory adjacent fields.

jq for binary formats - tool, language and decoders for working with binary and text formats

Factorio mod to export maps as zoomable html

Read-only git conversion of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.

another bitmap font

uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.

Enhancing the Factorio experience with SAT solvers

🚀Memory safe, blazing fast, configurable, minimal hello world written in rust(🚀) in a few lines of code with few(1247🚀) dependencies🚀

Parsers repository

An iOS app for runners which syncs music bpm with running cadence. UQCS Hackathon 2023 Project.