Joseph Cutler's repositories
STLC-to-SKI
Translation from STLC to SKI calculus
triple-testing
PBT for Hoare Triples
idris-algebra
An attempt at proving algebra theorems in idris
bf-avr-compiler
Brainf*** to AVR assembly transpiler
bril
an educational compiler intermediate representation
FrontC
An OCaml library providing a C parser and lexer
Haskell-Music
Messing around with music notes in haskell
icfp2020-papers
ICFP 2020 papers. Crowd-sourced
intermediate_final
Final Project for Intermediate Programming Class
IO-method
A writeup about the I/O method for implementing substructural languages
mastermind
A weekend project making a mastermind game in Haskell
music_viz
C++ Music Visualizer
OPCPU-assembler
An assembler for: http://recc.robertelder.org/op-cpu.txt
py-ecc
Error Correcting Codes in C++
raytracer
A raytracer I've been working on... I come back and add to this every once in a while.
tex-truth-table-maker
Automatically generate a LaTeX truth table from a boolean expression
thesis
My Senior Thesis at Wesleyan University
Website
The code for the website @ http://redditloop.co
zotero-ocr
Zotero Plugin for OCR