SethPoulsen
Follow
Stars
Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.
An attempt to translate the original Super Mario Bros. for the NES to readable C/C++
A repository holding code for the FSM builder.
Joplin - the privacy-focused note taking app with sync capabilities for Windows, macOS, Linux, Android and iOS.
The replication packages and results of DeepInfer paper accepted at ICSE 2024
Algorithm Design (Kleinberg Tardos 2005) - Solutions
(Completed). Web application to visualize data structures and algorithms through animation.
Absolute minimalistic implementation of a GPT-like transformer using only numpy (<650 lines).
A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training
cube.js -- JavaScript library for modeling and solving the 3x3x3 Rubik's Cube
A interactive and web-based 3D Rubik's cube simulator
CodeProcess is a software visualization tool that is designed to give the viewer an immediate assessment of the general characteristics of the process used to develop a piece of software. It featur…
A bash script to build a sqlite database of EXIF information in a directory and plot it on a map.
Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.
Simple animated GIF screen recorder with an easy to use interface
A programming language that runs on TypeScript's type system
Simple, faithful BibTeX parser and algorithms for Python 3
Instruct-tune LLaMA on consumer hardware