Popular repositories Loading

1. Schemes Schemes Public

   This is an attempt to use ideas from Algebra and Topology together in computation.

   Haskell

2. mywebsite mywebsite Public

   My website

   Haskell

3. haskellmath haskellmath Public

   Math with haskell

4. mathlib mathlib Public

   Forked from leanprover-community/mathlib3

   Lean mathematical components library

   Lean

5. Vector-Bundles-and-Machine-Learning Vector-Bundles-and-Machine-Learning Public

   Inspiration from Vector Bundles for Machine Learning

6. LTP LTP Public

   Lift Transform Project on vectors