There are no reviews yet. Be the first to send feedback to the community and the maintainers!
zenith
A wireframe renderer written in OCamlaftn
A C implementation of Alien: Fate of the Nostromo, a 2021 board game of the same namesatyrn
A Notebook alternative that supports branching code and local collaboration.DEFFS
Distributed, Encrypted, Fractured File System - A custom distributed file system written in C with FUSEyarr
Yet Another Relativistic Rendererecco
An Educational C COmpiler written in Python, written for use in my Practical Compiler Design coursekuiper
A terminal-based dating application for UTD studentsproofchat
A verified(?) TCP client/server chat applicationprettybird
oot_le
A source hack of The Legend of Zelda: Ocarina of Time that adds elements from the OOT mangaPhantasia
Multiplatform Final Fantasy 1 port in UnityPurple
Purple standard language specification and compiler implementationCoqPhysicsExperiments
A sandbox for me to derive high-level physical relationships from logical axiomsC_Project
Friendly Template for C ProjectsGoFR
A Programming Language controlled by the game of GoHCLT
A Coq implementation of "Foundations of Combinatory Logic," the 1930 Ph.D. thesis written by Haskell CurryAddress-Atomization
Implementation of Jason Rigby's address-net for Kerasctpe
Coq Tactics in Plain Englishvolpic
Verifier of Lifted Pascal in CoqGBCamel
A Gameboy Color emulator written in OCamlpurple_archive
A simple compiled languagenp_sound
A NumPy-based sound library for Pythonpokefirered
FireRed enhancement based on https://github.com/pret/pokefireredMIPSelbrot
An interactive mandelbrot fractal viewer written in MIPSkerastroke
A suite of the generalization-improvement techniques Stroke, Pruning, and NeuroPlastgrades
A grade calculator written in plain JavaScriptSoftwareFoundationsExercises
Completed exercises for the Software Foundations textbook using Coq and Gallinaaoc23
Advent of Code 2023owme
OWME Window Manager EmulatorLocalCelestialBodies
Scripts and data to generate a database of celestial bodies local to our Solar SystemDinoIsland
A dinosaur-focused 3D Platformer inspired by N64 titlestime_sensitive_riscv
Examples of timing-sensitive RISC-V codeMUTABLE
MUlTiple AssemBly Language Emulatorcamlcards
A card game engineerror_pie
fontmorph
A shell script to interpolate between two METAFONT styles based on Donald Knuth's 1982 "The Concept of a Meta-Font"dsbs
Dead-Simple Build System for Coq_CardWarsDominionPlanning
Love Open Source and this site? Check out how you can help us