Pinned

1. latticeboltzmann latticeboltzmann Public

   extremely fast LBM fluid simulation based on tiling and warp shuffles

   Cuda 6 2

2. fp8_mul fp8_mul Public

   Forked from TinyTapeout/tt02-submission-template

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

   Python 10 1

3. syncdoc syncdoc Public

   Operational transformation for markdown documents, in Go.

   HTML 8 2

4. twitchgan twitchgan Public

   AI-generated twitch emotes.

   Jupyter Notebook 3

5. boole boole Public

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

   Python 1

6. cppNN 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