Popular repositories Loading

1. libdither libdither Public

   Mission: Decentralize the Internet

   Rust 11 1

2. disp disp Public

   Universal programming language with user-definable syntax and types + self-improving optimizer that synthesizes provably-correct, hardware-optimal programs from type-level specs, bootstrapped on th…

   Typst 4

3. dbr-sim dbr-sim Public archive

   Distanced-Based Routing SImulation program for dither.

   Rust 2

4. dither-sim dither-sim Public

   Simulation Program for Testing Dither

   Rust 1

5. dither.link dither.link Public

   Dither.link Website (made with hugo)

   Nix

6. dither-spec dither-spec Public

   Ideas & Specifications for Dither

   CSS