Pinned Repositories
herbie
Optimize floating-point expressions for accuracy
5th
brim
A FPLang filled the the *brim* with features
cheem-scheme
CSF363-baseline
csf372-os-examples
debate-timer
Text-Editor
TOC
Formalization of DFAs, NFAs, and equivalence of DFAs and NFAs
trinity
A game engine bundled with a interpreted language
wags-1314's Repositories
wags-1314/csf372-os-examples
wags-1314/CSF363-baseline
wags-1314/TOC
Formalization of DFAs, NFAs, and equivalence of DFAs and NFAs
wags-1314/trinity
A game engine bundled with a interpreted language
wags-1314/brim
A FPLang filled the the *brim* with features
wags-1314/debate-timer
wags-1314/nat-deduct
A Natural Deduction proof checker
wags-1314/.dotfiles
wags-1314/.emacs.d
My Emacs config
wags-1314/anemone
A Zola theme embracing minimalism, focusing on clean CSS while steering clear of resource-heavy JavaScript. Immerse yourself in a seamless user experience, powered by lightning-fast load times. ⚡
wags-1314/archie
A minimal Hugo Theme
wags-1314/browser
wags-1314/cs6110-final-project
wags-1314/cs6110-project
Optimize floating-point expressions for accuracy
wags-1314/CSF241-Project
wags-1314/economancy
An Economancy player in Racket
wags-1314/FPBench
A standard for floating point accuracy benchmarks
wags-1314/lean-gitpod
Lean gitpod env
wags-1314/linux
Linux kernel source tree
wags-1314/personal-website
This is my personal website
wags-1314/RC_project
wags-1314/resume-pandoc
LaTeX resume template for Pandoc based on Jason R. Blevins' template
wags-1314/rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
wags-1314/signals
wags-1314/spring22
Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022
wags-1314/stack-pl
Experimenting with concatenative programming languages
wags-1314/sudoku-racket
wags-1314/verified-imp
wags-1314/wags-1314
wags-1314/wags-1314.github.io