Gabe Meikle's repositories
coq-of-rust
Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 Formal verification
adsb_deku
✈️ Rust ADS-B decoder + tui radar application
borgo
Borgo is a statically typed language that compiles to Go.
carbonyl
Chromium running inside your terminal
core
MoonBit's Core library
exo
Exocompilation for productive programming of hardware accelerators
fwumious_wabbit
Fwumious Wabbit, fast on-line machine learning toolkit written in Rust
gram
A Zig port of the kilo editor, in less than 1000 LOC.
hermit
Actually Portable WebAssembly compiler toolchain for self-contained cross-platform binaries
hoard
cli command organizer written in rust
imgcatr
cat for images, by RUST 🦀️
jsonformer
A Bulletproof Way to Generate Structured JSON from Language Models
jsr
The open-source package registry for modern JavaScript and TypeScript
lang-view
EXPERIMENTAL – A library for language models to respond with GUI.
LookMaNoMatrices
Supplanting matrices with PGA in a forward 3D renderer.
madsim
Magical Deterministic Simulator for distributed systems in Rust.
miniagda
rust implementation for a subset of the agda programming language
nanoGPT
The simplest, fastest repository for training/finetuning medium-sized GPTs.
pax
User interface engine for native apps & WebAssembly sites
petgraph
Graph data structure library for Rust.
posteriors
Uncertainty quantification with PyTorch
simple-llm-finetuner
Simple UI for LLM Model Finetuning
smoothquant
SmoothQuant: Accurate and Efficient Post-Training Quantization for Large Language Models
tinyengine
[NeurIPS 2020] MCUNet: Tiny Deep Learning on IoT Devices; [NeurIPS 2021] MCUNetV2: Memory-Efficient Patch-based Inference for Tiny Deep Learning; [NeurIPS 2022] MCUNetV3: On-Device Training Under 256KB Memory
TokenPolice
Circuits to reduce dimensionality for transformers
wasmtime-py
Python WebAssembly runtime powered by Wasmtime
YiVal
Your Auto-tuning Assistant for GenAI Applications