Christopher Hahn's repositories

SurfaceLaptop3-OpenCore

OpenCore Config for Hackintosh on 13.5 inch Microsoft Surface Laptop 3. Works with macOS 13.0 Ventura Beta 4

Language:Jupyter NotebookStargazers:2Issues:0Issues:0

Sternstein

Game Boy sidescroller made with GBDK

Language:CStargazers:2Issues:0Issues:0

llm_coq_augment

Project for CS 386L: Programming Languages - Can Language Models Teach Themselves to Prove Better?

Language:PythonStargazers:1Issues:1Issues:0

synthlation

Class project for C S 393P - Program Synthesis: Automatically translating machine code between architectures

Language:PythonStargazers:1Issues:0Issues:0

BasicSR

Open Source Image and Video Restoration Toolbox for Super-resolution, Denoise, Deblurring, etc. Currently, it includes EDSR, RCAN, SRResNet, SRGAN, ESRGAN, EDVR, BasicVSR, SwinIR, ECBSR, etc. Also support StyleGAN2, DFDNet.

Language:PythonStargazers:0Issues:0Issues:0
Language:Jupyter NotebookLicense:MITStargazers:0Issues:0Issues:0

ngpack

A simple command-line application to list or extract files from ggpack files.

Language:DartLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

PyBoy

Game Boy emulator written in Python; modified for class project

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

RL-proj

RL class Puyo Puyo project

Language:PythonStargazers:0Issues:0Issues:0