Jason Thomas's starred repositories
coq-of-rust
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦
mermaid-live-editor
Edit, preview and share mermaid charts/diagrams. New implementation of the live editor.
homebrew-macos-cross-toolchains
macOS cross compiler toolchains
mach_inject
interprocess code injection for Mac OS X
node-webrtc
node-webrtc is a Node.js Native Addon that provides bindings to WebRTC M98
meetingsdk-headless-linux-sample
A demo on creating a headless meeting bot using the Zoom Meeting SDK for Linux and Docker
ratatui-website
Ratatui Documentation
stable-diffusion.cpp
Stable Diffusion in pure C/C++
sixel-tmux
sixel-tmux is a fork of tmux, with just one goal: having the most reliable support of graphics
VirtualMouse
python通过postMessage实现虚拟鼠标
rust-ape-example
A simple example with Rust and Cosmopolitan Libc
tokio-websockets
High performance, strict, tokio-util based websockets implementation
STT-models
Open models for Coqui STT
jsonformer
A Bulletproof Way to Generate Structured JSON from Language Models
WaveRNN-Pytorch
Fatcord's Alternative WaveRNN (Faster training)