Pinned Repositories
buzz-conf
curry-howard-iso
Example of the Curry Howard isomorphism
deco
A magical programming language
emacsrc
glickbest
linear-logic
Linear logic theorem prover and proof explorer
numpyo-examples
Numpyro examples in Python notebooks
rasta
Parser and AST builder
swcursor
Large software cursor for screen recording on X11
SYN-app
SYN Radio iPhone App (Youth radio station for Melbourne, Australia)
andykitchen's Repositories
andykitchen/rasta
Parser and AST builder
andykitchen/SYN-app
SYN Radio iPhone App (Youth radio station for Melbourne, Australia)
andykitchen/health-hack
Gene Machine Health Hack Team Entry
andykitchen/lein-beanstalk
Leiningen plugin for Amazon's Elastic Beanstalk service
andykitchen/tetriweb
Multiplayer tetris in the browser, with web sockets!
andykitchen/wavetank
Interactive solution to the the wave equation
andykitchen/example
andykitchen/gfx.js
A graphics backend for the browser (with a Torch7 client).
andykitchen/image
An Image toolbox for Torch.
andykitchen/limit-break
Basic REPL breakpoints.
andykitchen/nonaga
A Clojure implementation of the game Spanish table top game Nonaga.
andykitchen/picky
Picky is a really easy to use and fast Ruby semantic search engine that helps your users find what they are looking for.
andykitchen/quine-talk
andykitchen/ruby-graphml
Ruby GraphML Parser
andykitchen/rubyconfau-2013-cfp
RubyConf Australia 2013 Call for Proposals
andykitchen/sigma.js
an open-source lightweight JavaScript graph drawing library
andykitchen/text
An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.
andykitchen/poker-eval
fork from the sub project of http://pokersource.sourceforge.net/