CharlesAverill/SoftwareFoundationsExercises

Stars
1
Language Coq
License
The Unlicense
Created about 2 years ago
Updated almost 2 years ago

CharlesAverill/SoftwareFoundationsExercises

CharlesAverill

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Completed exercises for the Software Foundations textbook using Coq and Gallina

zenith

A wireframe renderer written in OCaml

aftn

A C implementation of Alien: Fate of the Nostromo, a 2021 board game of the same name

satyrn

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 FUSE

yarr

Yet Another Relativistic Renderer

ecco

An Educational C COmpiler written in Python, written for use in my Practical Compiler Design course

kuiper

A terminal-based dating application for UTD students

proofchat

A verified(?) TCP client/server chat application

prettybird

oot_le

A source hack of The Legend of Zelda: Ocarina of Time that adds elements from the OOT manga

Phantasia

Multiplatform Final Fantasy 1 port in Unity

Purple

Purple standard language specification and compiler implementation

CoqPhysicsExperiments

A sandbox for me to derive high-level physical relationships from logical axioms

C_Project

Friendly Template for C Projects

GoFR

A Programming Language controlled by the game of Go

HCLT

A Coq implementation of "Foundations of Combinatory Logic," the 1930 Ph.D. thesis written by Haskell Curry

Address-Atomization

Implementation of Jason Rigby's address-net for Keras

ctpe

Coq Tactics in Plain English

volpic

Verifier of Lifted Pascal in Coq

double_slit

A recreation of the double slit experiment using matplotlib

Jupyter Notebook

GBCamel

A Gameboy Color emulator written in OCaml

purple_archive

A simple compiled language

np_sound

A NumPy-based sound library for Python

pokefirered

FireRed enhancement based on https://github.com/pret/pokefirered

MIPSelbrot

An interactive mandelbrot fractal viewer written in MIPS

kerastroke

A suite of the generalization-improvement techniques Stroke, Pruning, and NeuroPlast

grades

A grade calculator written in plain JavaScript

aoc23

Advent of Code 2023

owme

OWME Window Manager Emulator

LocalCelestialBodies

Scripts and data to generate a database of celestial bodies local to our Solar System

DinoIsland

A dinosaur-focused 3D Platformer inspired by N64 titles

time_sensitive_riscv

Examples of timing-sensitive RISC-V code

MUTABLE

MUlTiple AssemBly Language Emulator

camlcards

A card game engine

error_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