torosfanny Goto Github PK

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

googletest

Automatically exported from code.google.com/p/googletest

gtk-ghci

Bind a ghci to an empty gtk+ window

idris-hott

Homotopy Type Theory in Idris

insane

Toy typechecker for Insanely Dependent Types

iolisp

A C++ implementation of "Write Yourself a Scheme in 48 Hours" http://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours

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

netselect

A parallelizing combination of ping/traceroute

none_utf8_vscode_bug

when open a file encoded with none utf8, vscode git will incorrectly mark lines as changed

overfeat

purescript-monadic-canvas

Make full use of Eff to refine the canvas api

quantities

Type-safe physical computations and unit conversions in Idris

software-foundations

Solutions to the Software Foundations online course

stdweb

A standard library for the client-side Web

torosfanny.github.io

try_git

ufldl_tutorial

Stanford Unsupervised Feature Learning and Deep Learning Tutorial