Pinned Loading

1. rustybox rustybox Public

   A free-range, non-GMO fork of busybox in 100% Rust 🦀

   Rust 873 44

2. bidirectional-typing bidirectional-typing Public

   A bidirectional type checker

   Haskell 67 1

3. nixos-up nixos-up Public

   The fastest NixOS install there is! 🏎️🏁

   Python 257 32

4. git-re-basin git-re-basin Public

   Code release for "Git Re-Basin: Merging Models modulo Permutation Symmetries"

   Python 518 44

5. torch2jax torch2jax Public

   Run PyTorch in JAX. 🤝

   Python 317 19

6. sshenanigans sshenanigans Public

   Build your own SSH server 🛜

   Rust 5 1