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/swcursor
Large software cursor for screen recording on X11
andykitchen/numpyo-examples
Numpyro examples in Python notebooks
andykitchen/glickbest
andykitchen/mlai
MLAI Melbourne website
andykitchen/andykitchen.github.io
andykitchen/astra6502
A small but mighty 6502 core
andykitchen/ohmc2022-firmware
Firmware for the Open Hardware Mini Conf 2022 Project
andykitchen/oscon
andykitchen/AdventurerClientJS
An unofficial cross platform client for working with the Monoprice Voxel or Flashforge Adventurer 3
andykitchen/awesome-jax
JAX - A curated list of resources https://github.com/google/jax
andykitchen/battery-linprog
Optimise battery usage for peak lopping in power networks using linear programming
andykitchen/composeconference
website for compose conference
andykitchen/deuces
A pure Python poker hand evaluation library
andykitchen/ExIt-OOS
ExIt-OOS: Towards Learning from Planning in Imperfect Information Games
andykitchen/extempore
A cyber-physical programming environment
andykitchen/hl
Haskell web site
andykitchen/kernelstub
A simple EFI boot manager manager for Linux
andykitchen/litex
Build your hardware, easily!
andykitchen/melbourne.ai
Melbourne.ai website
andykitchen/meta-quine-slides
andykitchen/mlai-welcome
MLAI Welcome Slides
andykitchen/neuroai-workshop-2024
A call for intrinisic learning, 1st NeuroAI workshop at NeurIPS, Vancouver 2024
andykitchen/pydata-amsterdam-talk
andykitchen/pydata-berlin-2024
PyData Berlin 2024 talk "A Meating of Minds"
andykitchen/rewardflow
andykitchen/spie-prostatex-svm-paper
andykitchen/spie-svm
andykitchen/symbiflow-examples
Example designs showing different ways to use SymbiFlow toolchains.
andykitchen/wishbone-utils
Utilities for working with a Wishbone bus in an embedded device
andykitchen/zcash-docker
Docker files for zcashd, should be up on Dockerhub shortly after launch