This is your work, valued
rustybox. A free-range, non-GMO fork of busybox in 100% Rust ๐ฆ
874git-re-basin. Code release for "Git Re-Basin: Merging Models modulo Permutation Symmetries"
514torch2jax. Run PyTorch in JAX. ๐ค
317nixos-up. The fastest NixOS install there is! ๐๏ธ๐
255bidirectional-typing. A bidirectional type checker
67remod. chmod for human beings! ๐ซ
37nixpkgs-upkeep. Auto-updates and CI ๐ค for Nixpkgs
29oi-vae. Code for "oi-VAE: Output Interpretable VAEs for Nonlinear Group Factor Analysis"
27ctpg. Code for the paper "Faster Policy Learning with Continuous-Time Gradients"
9bitbop. Run `ssh bitbop.io`, get a GPU dev machine! ๐ค
9kindling. A Swiss Army knife for building dope stuff with pytorch.
9sagenb. Sage Notebook
8taco_backend. Ruby
5sshenanigans. Build your own SSH server ๐
5e-stops. Source code for "Moโฒ States Moโฒ Problems: Emergency Stop Mechanisms from Observation"
4cuda-nix-testsuite. Python
4Bruno. Java
4synbio-workshop-2025. Python
3nixos-idle-shutdown. Auto-shutdown NixOS after a period of inactivity
2language-pyret. Pyret support in Atom.
2faceback. Code for "Disentangled VAE Representations for Multi-Aspect and Missing Data"
2research. Python
2grpc-polyglot. Example client/server gRPC implementations in many languages
1phonetelepathy. An Android app that can send and receive arbitrary data over audio. Features amplitude and clock skew correction.
1cliclack. Beautiful, minimal, opinionated CLI prompts inspired by the Clack NPM package
1CodeMirror2. In-browser code editor
1pyDPMP. The Diverse Particle Max-Product algorithm and friends
1