TorosFanny

Pinned Repositories

agda-software-foundations
Porting of software foundations book to Agda
Language:Agda0 1 00
agda-summer-school
Summer school on programming in Agda
Language:Agda00
cgol
Conway's game of life on CUDA
Language:Cuda0 1 00
conway
Implementation of Conway's "Game Of Life" in Qt
Language:C++0 1 00
DeepLearningTutorials
Deep Learning Tutorial notes and code. See the wiki for more info.
Language:Python0 1 00
dnsmasq-china-list
Chinese-specific configuration to improve your favorite DNS server. Best partner for chnroutes.
Language:Python0 1 00
fping
high performance ping tool
Language:C0 1 00
game-of-life
Simple Python implementation of Conway's game of life and other cellular automata, computed using numpy.fft
Language:Python0 1 00
gdb_numpy
Analyzing C/C++ matrix in the gdb debugger with Python and Numpy
Language:Python13 1 06
godels-t
Formalization of a bunch of properties of Godel's System T in agda
Language:Agda0 1 00

TorosFanny's Repositories

TorosFanny/iolisp
A C++ implementation of "Write Yourself a Scheme in 48 Hours" http://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours
Language:C++
TorosFanny/netselect
A parallelizing combination of ping/traceroute
Language:C