Pinned Loading

1. andromeda andromeda Public

   OpenGL-based rendering engine with embedded language that compiles to GLSL.

   Haskell 76 5

2. finlab finlab Public

   Tools for financial data analysis & modeling

   Jupyter Notebook

3. neurothink neurothink Public

   Muse 2 EEG analysis with PyTorch + CNNs.

   Jupyter Notebook 9 2

4. Idris-HoTT Idris-HoTT Public

   Homotopy Type Theory proofs in Idris

   Idris 21 1

5. dilcue dilcue Public

   A parallel realtime(ish) raytracer with support for non-euclidian geometry.

   Haskell 1

6. ratchet ratchet Public

   A from-scratch blockchain in rust

   Rust