andykitchen/linear-logic

Stars
7
Rank 2,289,437 (Top 46 %)
Language
TeX
License
GNU General Publi...
Created over 12 years ago
Updated about 10 years ago

andykitchen/linear-logic

andykitchen

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Linear logic theorem prover and proof explorer

swcursor

Large software cursor for screen recording on X11

before-it-was-cool

Star this repository before it was cool

numpyo-examples

Numpyro examples in Python notebooks

Jupyter Notebook

curry-howard-iso

Example of the Curry Howard isomorphism

deco

A magical programming language

glickbest

rasta

Parser and AST builder

SYN-app

SYN Radio iPhone App (Youth radio station for Melbourne, Australia)

old-andykitchen.github.io

tetriweb

Multiplayer tetris in the browser, with web sockets!

mlai-hacknight-project

MLAI Hacknight Project

Jupyter Notebook

emacsrc

hello

Super Hello, Enter the future of greeting.

buzz-conf

gaussian-process-torch

very basic example of gaussian processes with torch

mlai

MLAI Melbourne website

rbmjs

Interactive restricted boltzmann machines in Javascript

wavetank

Interactive solution to the the wave equation

health-hack

Gene Machine Health Hack Team Entry

mathematica-notebooks

miscellanous mathematica notebooks

astra6502

A small but mighty 6502 core

bam-slides

BAM Conf Slides

quine-talk

nn-detect

Jupyter Notebook

oscon

ohmc2022-firmware

Firmware for the Open Hardware Mini Conf 2022 Project

example

openscience_workshop

andykitchen.github.io

articles

extempore-build

extempore binary packaging scripts