Pinned Repositories
Athenia
My final project for Software Engineering. Warning: herokuapp is buggy so might not load right.
check-ex-spec-student-test
check-ex-spec-ta-template
checkexspec-student
cs1680-final-tdelv-sreshtaaa
cs19-autograding
Image-Colorization
A deep learning framework based on previous research to create realistic colorizations of black-and-white images based on minimal user input. (https://arxiv.org/pdf/1705.02999.pdf)
Light-Bike-Pyret
The classic Tron game Light Bike written in Pyret.
rust-ray-tracer
Tetris-Pyret
Tetris written in Pyret
tdelv's Repositories
tdelv/Image-Colorization
A deep learning framework based on previous research to create realistic colorizations of black-and-white images based on minimal user input. (https://arxiv.org/pdf/1705.02999.pdf)
tdelv/rust-ray-tracer
tdelv/Athenia
My final project for Software Engineering. Warning: herokuapp is buggy so might not load right.
tdelv/check-ex-spec-student-test
tdelv/check-ex-spec-ta-template
tdelv/checkexspec-student
tdelv/cs1680-final-tdelv-sreshtaaa
tdelv/cs19-autograding
tdelv/forge-autograder
tdelv/Light-Bike-Pyret
The classic Tron game Light Bike written in Pyret.
tdelv/cs2951o-distribution
tdelv/cs2951o-healthcare-analytics
tdelv/cs2951o-transportation-and-logistics
tdelv/data
Data and code behind the articles and graphics at FiveThirtyEight
tdelv/Dragon-Problem
CS1950Y Final Project
tdelv/exam-uniquifier
tdelv/examplar
A Pyret editor for supporting example-first design.
tdelv/final-benchmarks
tdelv/Forge
tdelv/Lambda-Calculus-Pyret
A library of Lambda Calculus functions written in Pyret. Done with own designs (may be similar/same to online designs, but done without significant resources).
tdelv/lfs-2021-check-ex-spec
tdelv/ocamlformat
Auto-formatter for OCaml code
tdelv/Pardinus
An extension of the Kodkod relational model finder
tdelv/projects
Student stencil for individual assignments in CS123.
tdelv/pyret-lang
The Pyret language.
tdelv/result-processing
tdelv/scheme-listings
Scheme syntax highlighting for the LaTeX listings package.
tdelv/Sudoku-Solver
A Sudoku Solver written in Python
tdelv/tdelv.github.io
tdelv/Tumblr-Post-Blocker
A Chrome extension written in TypeScript with React to filter out Tumblr posts which contain a given blacklist of words.