dyslexicsteak

OpenCore-Legacy-Patcher

Experience macOS just like before

memflow

physical memory introspection framework

rustc_codegen_cranelift

Cranelift based backend for rustc

ariadne

A fancy diagnostics & error reporting crate

lean4

Lean 4 programming language and theorem prover

semdiff

cargo-show-asm

cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code

rkyv

Zero-copy deserialization framework for Rust

roblox-ts

A TypeScript-to-Luau Compiler for Roblox

happylock

Deadlock free mutexes

itertools

Extra iterator adaptors, iterator methods, free functions, and macros.

dioxus

Fullstack GUI library for web, desktop, mobile, and more.

reference

The Rust Reference

firebird

Multi-platform emulator of TI Nspire calculators

baritone

google maps for block game

FireDBG.for.Rust

🔥 Time Travel Visual Debugger for Rust

tslint

:vertical_traffic_light: An extensible linter for the TypeScript language

zellij

A terminal workspace with batteries included

polonius

Defines the Rust borrow checker.

scope-tui

a simple oscilloscope/vectorscope/spectroscope for your terminal

prusti-dev

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

X3D-68k

A 3D portal-rendering game engine for the TI-nSpire and PC

nQuake

Port of Quake for the TI Nspire by Ralf Willenbacher

Ndless

The TI-Nspire calculator extension for native applications

learnwell

matter

A modern ECS library for Roblox.

matter-hooks

A hooks library for Matter

Fyrox

3D and 2D game engine written in Rust

bevy_ecs_ldtk

ECS-friendly ldtk plugin for bevy, leveraging bevy_ecs_tilemap

bevy-magic-light-2d

Experiment with computing 2D shading, lighting and shadows with Bevy Engine