Giters
Kushik Kaushal Timilsina (Captainkk75)

Captainkk75

Geek Repo

13

followers

250

following

28

stars

Github PK Tool:Github PK Tool

Kushik Kaushal Timilsina's repositories

mathlib

Lean mathematical components library

Language:LeanLicense:Apache-2.0Stargazers:1Issues:0Issues:0

haskellmath

Math with haskell

Stargazers:0Issues:0Issues:0

LTP

Lift Transform Project on vectors

License:MITStargazers:0Issues:0Issues:0

mywebsite

My website

Language:HaskellStargazers:0Issues:0Issues:0

Schemes

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

Language:HaskellStargazers:0Issues:1Issues:0

Vector-Bundles-and-Machine-Learning

Inspiration from Vector Bundles for Machine Learning

License:MITStargazers:0Issues:0Issues:0