tdelv Goto Github PK

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

cs2951o-distribution

cs2951o-healthcare-analytics

cs2951o-transportation-and-logistics

data

Data and code behind the articles and graphics at FiveThirtyEight

dragon-problem

CS1950Y Final Project

exam-uniquifier

examplar

A Pyret editor for supporting example-first design.

final-benchmarks

forge

forge-autograder

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)

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).

lfs-2021-check-ex-spec

light-bike-pyret

The classic Tron game Light Bike written in Pyret.

ocamlformat

Auto-formatter for OCaml code

pardinus

An extension of the Kodkod relational model finder

projects

Student stencil for individual assignments in CS123.

pyret-lang

The Pyret language.

result-processing

rust-ray-tracer

scheme-listings

Scheme syntax highlighting for the LaTeX listings package.

sudoku-solver

A Sudoku Solver written in Python

tdelv.github.io

tetris-pyret

Tetris written in Pyret