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