A book about compiling Racket and Python to x86-64 assembly

Simple raycasting engine developed directly in the Processing Development Environment.

CockroachDB — the cloud native, distributed SQL database designed for high availability, effortless scale, and control over data placement.

This is the starter code for the "From One Dimension to Another: Raycasting" nifty assignment presented at the 2025 South Central Consortium for Computing Sciences in Colleges.

Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"

Public helper code for p423/p523 students (Racket)

This is a raycaster written in Haskell with SDL2.

Project template for Java 17+ applications using Processing 4.3+ as a locally managed library with Kotlin Gradle for other dependencies.

This is a CEK machine implementation in the Java programming language for a superset of the lambda calculus.

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

Script to install the MathTime fonts on Tex Live

Downloads from Project Gutenberg

Logic Learner is an online learning tool that helps computer science, engineering, and mathematics students improve their fluency and problem solving process in writing proofs for propositional log…

Playing Pokemon Red with Reinforcement Learning

This is a repository for all code done in my C212 course in Fall 2023.

Dmenu inspired mac port

Occasionally I'll come across a WAD that I really enjoy. Rarely will I ever find any such WAD which is compatible with every map/gameplay mod I'd like it to be. So I'm intending for this to serve a…

MIRROR of https://codeberg.org/catseye/Cardboard-Prolog : A bare-bones inference engine in 120 lines of purely functional Scheme

A Parser Combinator library for C

A parser generator for C

⌥ Simple Backus–Naur form (BNF) LaTeX package

SDL-Brick-Breaker is a remake of the original Brick Breaker arcade game, written in C with SDL.

The complete archive for DOOM for the 3DO

A Python Raycaster using PyGame and Pillow (Raycasting and Floorcasting)

Mines all nearby blocks of a given type after you mine the first one. Doesn't require server modifications.

➡️Formal logic deduction based on system-L

This is a repository for my Master's thesis LaTeX source.

Blind grading made simple and efficient.

This is the repository for all CSC 362/462/662 C programming demos.

A digital logic designer and circuit simulator.