TorosFanny's repositories
software-foundations
Solutions to the Software Foundations online course
agda-software-foundations
Porting of software foundations book to Agda
agda-summer-school
Summer school on programming in Agda
cgol
Conway's game of life on CUDA
DeepLearningTutorials
Deep Learning Tutorial notes and code. See the wiki for more info.
dnsmasq-china-list
Chinese-specific configuration to improve your favorite DNS server. Best partner for chnroutes.
game-of-life
Simple Python implementation of Conway's game of life and other cellular automata, computed using numpy.fft
googletest
Automatically exported from code.google.com/p/googletest
Idris-HoTT
Homotopy Type Theory in Idris
insane
Toy typechecker for Insanely Dependent Types
kaleidoscope
Haskell LLVM Kaleidoscope Tutorial
leesp
Wrote myself a scheme in 48 hours, fancy that... (from the book of a remarkably similar name!)
MutableGUI
A GUI framework mixed with a ghci repl
my_Coq_experiment
learn and try some ideas with Coq.
nano-Agda
Tiny type-checker with dependent types
none_utf8_vscode_bug
when open a file encoded with none utf8, vscode git will incorrectly mark lines as changed
PureScript-monadic-canvas
Make full use of Eff to refine the canvas api
quantities
Type-safe physical computations and unit conversions in Idris
stdweb
A standard library for the client-side Web
ufldl_tutorial
Stanford Unsupervised Feature Learning and Deep Learning Tutorial
website
Code and articles producing http://mazzo.li
Workflow-Stacks
Orgnize operating procedures as call frames of call stacks