Pinned Repositories
anima
A simple dependently-typed programming language
azure
WIP decompilation of Azure Dreams
b
A compiler for the B programming language
cooper
Presburger arithmetic solver in Idris
cotitan
A cooperative game based around fighting large monsters
egg
toy language for code golf
naomi
just another friendly chat bot
orchard
gameboy emulator for the nintendo ds
react-domain-coloring
React component for domain coloring of complex-valued functions
sheaf
scheme os
forestbelton's Repositories
forestbelton/cotitan
A cooperative game based around fighting large monsters
forestbelton/react-domain-coloring
React component for domain coloring of complex-valued functions
forestbelton/ragnarok
forestbelton/mglue
math pastebin site
forestbelton/revm
regular expression compiler
forestbelton/sheo
forestbelton/b
A compiler for the B programming language
forestbelton/blog
The raw content for my blog
forestbelton/hooq
forestbelton/lambdac
simple lambda calculus evaluator in c
forestbelton/ooa
forestbelton/orb
A toy web browser
forestbelton/plank
A lightweight message board in Rust
forestbelton/q-pong
Watch an AI learn pong using Q-learning
forestbelton/4th
small language
forestbelton/adventure
roguelike browser game
forestbelton/apt-source-whitelist
Whitelist of apt sources approved for build environments with restricted sudo
forestbelton/bookie
forestbelton/caster
A small raycasting engine for rendering 2.5D worlds
forestbelton/cljb
gameboy macro assembler
forestbelton/Dancer-Session-Redis-JSON
Session store in Redis with JSON serialization
forestbelton/diagrams
app for drawing commutative diagrams
forestbelton/heroku-buildpack-play
forestbelton/JSBoy
Javascript Gameboy Color Emulator
forestbelton/language-cjam
Atom language mode for CJam
forestbelton/play1
Play framework
forestbelton/PyRogue
Python roguelike
forestbelton/qdb
forestbelton/rsclauncher
forestbelton/vmu