dan-c-k's repositories
399
NU EECS 399: Code for the paper predicting Neo Natal Outcomes ..
000
Language:Haskell000
begin-personal-website
Begin app
git_it
git-it tutorial
000
Language:Haskell000
HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
Language:AgdaGPL-3.0000
Keras-GAN
Keras implementations of Generative Adversarial Networks.
Language:PythonMIT000
lean
Lean Theorem Prover
Language:C++Apache-2.0000
Language:LeanMIT000
listicles
A NU EECS 338 Project:
Language:JavaScriptNOASSERTION000
mathlib
Lean mathematical components library
Language:LeanApache-2.0000
nn-from-scratch
A neural network implementation from scratch
000
osrm-py
Python client for OSRM API
Language:PythonBSD-3-Clause000
patchwork
All the Git-it Workshop completers!
Language:HTMLNOASSERTION000
pearls
Implementations of Pearls of Functional Algo Design
Language:Haskell000
smartAir
A prototyped React Web App
Language:JavaScript000
type_classes_python
A repo to monitor my work on https://typeclasses.com/python/
000