Pinned

1. latticeboltzmann Public

   world's fastest LBM fluid simulation

   Cuda 6 2

2. fp8_mul Public

   Forked from TinyTapeout/tt02-submission-template

   A tiny FP8 multiplication unit written in Verilog. TinyTapeout 2 submission.

   Python 1

3. syncdoc Public

   Operational transformation for markdown documents, in Go.

   HTML 8 2

4. twitchgan Public

   AI-generated twitch emotes.

   Jupyter Notebook 2

5. boole Public

   A system for formal verification of logical proofs and formulae in text format. In development.

   Python 1

6. cppNN Public

   No longer maintained - soon to be superseded by https://github.com/cchan/cppNN2. A C++ neural network implementation, with both genetic algorithm and backpropagation options.

   C++ 5 1