Pinned Repositories
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
conway
Implementation of Conway's "Game Of Life" in Qt
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.
fping
high performance ping tool
game-of-life
Simple Python implementation of Conway's game of life and other cellular automata, computed using numpy.fft
gdb_numpy
Analyzing C/C++ matrix in the gdb debugger with Python and Numpy
godels-t
Formalization of a bunch of properties of Godel's System T in agda
TorosFanny's Repositories
TorosFanny/gdb_numpy
Analyzing C/C++ matrix in the gdb debugger with Python and Numpy
TorosFanny/software-foundations
Solutions to the Software Foundations online course
TorosFanny/agda-software-foundations
Porting of software foundations book to Agda
TorosFanny/agda-summer-school
Summer school on programming in Agda
TorosFanny/cgol
Conway's game of life on CUDA
TorosFanny/conway
Implementation of Conway's "Game Of Life" in Qt
TorosFanny/DeepLearningTutorials
Deep Learning Tutorial notes and code. See the wiki for more info.
TorosFanny/dnsmasq-china-list
Chinese-specific configuration to improve your favorite DNS server. Best partner for chnroutes.
TorosFanny/fping
high performance ping tool
TorosFanny/game-of-life
Simple Python implementation of Conway's game of life and other cellular automata, computed using numpy.fft
TorosFanny/godels-t
Formalization of a bunch of properties of Godel's System T in agda
TorosFanny/googletest
Automatically exported from code.google.com/p/googletest
TorosFanny/Gtk-Ghci
Bind a ghci to an empty gtk+ window
TorosFanny/Idris-HoTT
Homotopy Type Theory in Idris
TorosFanny/insane
Toy typechecker for Insanely Dependent Types
TorosFanny/kaleidoscope
Haskell LLVM Kaleidoscope Tutorial
TorosFanny/leesp
Wrote myself a scheme in 48 hours, fancy that... (from the book of a remarkably similar name!)
TorosFanny/MutableGUI
A GUI framework mixed with a ghci repl
TorosFanny/my_Coq_experiment
learn and try some ideas with Coq.
TorosFanny/nano-Agda
Tiny type-checker with dependent types
TorosFanny/none_utf8_vscode_bug
when open a file encoded with none utf8, vscode git will incorrectly mark lines as changed
TorosFanny/OverFeat
TorosFanny/PureScript-monadic-canvas
Make full use of Eff to refine the canvas api
TorosFanny/quantities
Type-safe physical computations and unit conversions in Idris
TorosFanny/stdweb
A standard library for the client-side Web
TorosFanny/TorosFanny.github.io
TorosFanny/try_git
TorosFanny/ufldl_tutorial
Stanford Unsupervised Feature Learning and Deep Learning Tutorial
TorosFanny/website
Code and articles producing http://mazzo.li
TorosFanny/Workflow-Stacks
Orgnize operating procedures as call frames of call stacks