alpha-convert Goto Github PK
Name: Joseph Cutler
Type: User
Bio: PhD student at Penn
Blog: seas.upenn.edu/~jwc
Joseph Cutler's Projects
academic-site
bf-avr-compiler
Brainf*** to AVR assembly transpiler
bril
an educational compiler intermediate representation
causal-functions-and-automata
dafny-typechecker-stability
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
idris-algebra
An attempt at proving algebra theorems in idris
intermediate_final
Final Project for Intermediate Programming Class
io-method
A writeup about the I/O method for implementing substructural languages
jubilant-waffle
Streaming experiments, fusion, etc.
lambda-amor
mastermind
A weekend project making a mastermind game in Haskell
music_viz
C++ Music Visualizer
old-website
opcpu-assembler
An assembler for: http://recc.robertelder.org/op-cpu.txt
pacman
A proof that Idris is pacman complete
penn-repl.github.io
pldi-2022-src-bandits
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.
stlc-to-ski
Translation from STLC to SKI calculus
tex-truth-table-maker
Automatically generate a LaTeX truth table from a boolean expression
thesis
My Senior Thesis at Wesleyan University
triple-testing
PBT for Hoare Triples
website
The code for the website @ http://redditloop.co
zk-typechecking
zotero-ocr
Zotero Plugin for OCR
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.