Public repository of the Micro QuickJS Javascript Engine

a model of MIR and the Rust type/trait system

Swiftly: A Swift Inspired, Bytecode Based, Interpreted Language

mini cli search engine for your docs, knowledge bases, meeting notes, whatever. Tracking current sota approaches while being all local

OCR model that handles complex tables, forms, handwriting with full layout.

Ghostty for the web with xterm.js API compatibility

A trait object based error handling type for easy idiomatic error handling and reporting in Rust applications

background code checker

Rust SDK for Pocketbase

Z Image models through MPS

A tool for building Drum Patches for the OP-XY

A secrets management service that uses Tailscale for access control

Minimal mmap-backed mbox format reader in Rust

Sunshine fork - The easiest way to stream with the native resolution of your client device

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

a tiling window manager for macos

Cross Platform Rust Repl

Readline Implementation in Rust

A rust library to print aligned and formatted tables

A functional programming language based on algebraic effect handlers

Building a compiler to WASM step-by-step

implementation of an incremental compilation algorithm similar to rustc's

A web framework for Rust.

Toy implementation of type inference for GADTs and TypeFamilies

Neovim support for the Lean theorem prover

A menagerie of cute implementations of modern typechecking algorithms

wrapper for git that ensures the best settings for versioning Ableton Live projects

🍵 Soothing pastel theme for Gitea