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/curry-howard-iso
Example of the Curry Howard isomorphism
andykitchen/linear-logic
Linear logic theorem prover and proof explorer
andykitchen/deco
A magical programming language
andykitchen/buzz-conf
andykitchen/emacsrc
andykitchen/gaussian-process-torch
very basic example of gaussian processes with torch
andykitchen/hello
Super Hello, Enter the future of greeting.
andykitchen/mathematica-notebooks
miscellanous mathematica notebooks
andykitchen/old-andykitchen.github.io
andykitchen/rbmjs
Interactive restricted boltzmann machines in Javascript
andykitchen/articles
andykitchen/bam-slides
BAM Conf Slides
andykitchen/Clojure
Light Table Clojure language plugin
andykitchen/extempore-build
extempore binary packaging scripts
andykitchen/nn-detect
andykitchen/openscience_workshop
andykitchen/andy-kitchen
andykitchen/ccv
C-based/Cached/Core Computer Vision Library, A Modern Computer Vision Library
andykitchen/chroot-utils
Utilities for installing useful packages in various chroots
andykitchen/coreos-cluster-terraform
Terraform scripts to start a multi-worker CoreOS cluster
andykitchen/deeplive
andykitchen/inspiration
My inspiration filing system
andykitchen/mhug-26th-feb-2015
Hello World via TCP
andykitchen/ml-misc
Random ML stuff I'm playing with
andykitchen/nn-locate
andykitchen/principles-of-flight
Principals of Flight – slides presented at the inaugural MLAI Meetup at Loop Bar in Melbourne Tuesday 17 Feb 2015
andykitchen/simultron6000
andykitchen/stan-examples
Stan example models
andykitchen/tensorflow
Computation using data flow graphs for scalable machine learning
andykitchen/torch-docker
Dockerfile to create an image for Torch7