dan-c-k

Pinned Repositories

399
NU EECS 399: Code for the paper predicting Neo Natal Outcomes ..
0 0 00
99probs
Language:Haskell0 0 00
begin-personal-website
Begin app
Language:JavaScript0 1 00
git_it
git-it tutorial
0 0 00
haskellPlayground
Language:Haskell00
HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
Language:Agda0 0 00
Keras-GAN
Keras implementations of Generative Adversarial Networks.
Language:Python00
lean
Lean Theorem Prover
Language:C++0 0 00
leanprover.github.io
www
Language:Lean0 0 00
listicles
A NU EECS 338 Project:
Language:JavaScript0 0 00

dan-c-k's Repositories

dan-c-k/399
NU EECS 399: Code for the paper predicting Neo Natal Outcomes ..
0 0 00
dan-c-k/99probs
Language:Haskell0 0 00
dan-c-k/begin-personal-website
Begin app
Language:JavaScript0 1 00
dan-c-k/git_it
git-it tutorial
0 0 00
dan-c-k/haskellPlayground
Language:Haskell00
dan-c-k/HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
Language:Agda0 0 00
dan-c-k/Keras-GAN
Keras implementations of Generative Adversarial Networks.
Language:Python00
dan-c-k/lean
Lean Theorem Prover
Language:C++0 0 00
dan-c-k/leanprover.github.io
www
Language:Lean0 0 00
dan-c-k/listicles
A NU EECS 338 Project:
Language:JavaScript0 0 00
dan-c-k/mathlib
Lean mathematical components library
Language:Lean0 0
dan-c-k/nn-from-scratch
A neural network implementation from scratch
0 0
dan-c-k/osrm-py
Python client for OSRM API
Language:Python0 0
dan-c-k/patchwork
All the Git-it Workshop completers!
Language:HTML0 0
dan-c-k/pearls
Implementations of Pearls of Functional Algo Design
Language:Haskell
dan-c-k/Ro-Create-Table-From-Sheet
dan-c-k/royalroad
royalroad
Language:HTML1 0
dan-c-k/smartAir
A prototyped React Web App
Language:JavaScript0 0
dan-c-k/type_classes_python
A repo to monitor my work on https://typeclasses.com/python/
0 0