Pinned Loading

1. data-structures-and-algorithms data-structures-and-algorithms Public

   for learning purposes

   Rust 17

2. rust_interpreter rust_interpreter Public

   Interpreted language using pratt parsing

   Rust 4

3. checkpoint checkpoint Public

   Contains a bunch of links to things I read or watched. A link appearing in the list does not mean I haven't seen it before or that I agree with it.

   15

4. single_decree_paxos_deterministic_simulation single_decree_paxos_deterministic_simulation Public

   Single-decree Paxos with deterministic simulation testing

   Rust 2

5. formal-methods formal-methods Public

   The use of formal methods to specify distributed systems

   TLA 5

6. neural-net-recognizes-mnist-from-scratch neural-net-recognizes-mnist-from-scratch Public

   Neural net that recognizes MNIST digits from scratch. No libraries.

   Go