Pinned Repositories
academic-site
bf-avr-compiler
Brainf*** to AVR assembly transpiler
bril
an educational compiler intermediate representation
delta
Implementation of the Delta Language
idris-algebra
An attempt at proving algebra theorems in idris
lambda-amor
pacman
A proof that Idris is pacman complete
STLC-to-SKI
Translation from STLC to SKI calculus
triple-testing
PBT for Hoare Triples
alpha-convert's Repositories
alpha-convert/pacman
A proof that Idris is pacman complete
alpha-convert/delta
Implementation of the Delta Language
alpha-convert/STLC-to-SKI
Translation from STLC to SKI calculus
alpha-convert/triple-testing
PBT for Hoare Triples
alpha-convert/idris-algebra
An attempt at proving algebra theorems in idris
alpha-convert/lambda-amor
alpha-convert/academic-site
alpha-convert/bf-avr-compiler
Brainf*** to AVR assembly transpiler
alpha-convert/bril
an educational compiler intermediate representation
alpha-convert/causal-functions-and-automata
alpha-convert/dafny-typechecker-stability
alpha-convert/FrontC
An OCaml library providing a C parser and lexer
alpha-convert/Haskell-Music
Messing around with music notes in haskell
alpha-convert/icfp2020-papers
ICFP 2020 papers. Crowd-sourced
alpha-convert/intermediate_final
Final Project for Intermediate Programming Class
alpha-convert/IO-method
A writeup about the I/O method for implementing substructural languages
alpha-convert/jubilant-waffle
Streaming experiments, fusion, etc.
alpha-convert/mastermind
A weekend project making a mastermind game in Haskell
alpha-convert/music_viz
C++ Music Visualizer
alpha-convert/old-website
alpha-convert/OPCPU-assembler
An assembler for: http://recc.robertelder.org/op-cpu.txt
alpha-convert/penn-repl.github.io
alpha-convert/pldi-2022-src-bandits
alpha-convert/py-ecc
Error Correcting Codes in C++
alpha-convert/raytracer
A raytracer I've been working on... I come back and add to this every once in a while.
alpha-convert/tex-truth-table-maker
Automatically generate a LaTeX truth table from a boolean expression
alpha-convert/thesis
My Senior Thesis at Wesleyan University
alpha-convert/Website
The code for the website @ http://redditloop.co
alpha-convert/zk-typechecking
alpha-convert/zotero-ocr
Zotero Plugin for OCR