Tom Niget's starred repositories
alpaca-lora
Instruct-tune LLaMA on consumer hardware
sumatrapdf
SumatraPDF reader
MonkeyType
A Python library that generates static type annotations by collecting runtime types
win11-svelte
Recreating Windows 11 with Svelte.
UnicodePlots.jl
Unicode-based scientific plotting for working in the terminal
papermario
Decompilation of Paper Mario (2000)
spotify-qt
Lightweight Spotify client using Qt
TxtNet-Browser
An app that lets you browse the web over SMS
inferno-os
Inferno® is a distributed operating system. Inferno represents services and resources in a file-like name hierarchy, including devices, network and protocol interfaces, dynamic data sources, and services.Applications are written in a concurrent programming language, Limbo.
coq-of-rust
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦
AnnotationsRestored
Brings annotation support back to YouTube
scratch-llvm
Cross-compiling LLVM into MIT Scratch, because it's interesting.
BeatSinger
Beat Saber plugin for displaying floating lyrics while playing the game.