Eric's repositories
Sequencium
The board game Sequencium with local and online multiplayer.
AI-Sequencium
Multiple AIs for Sequencium using reinforcement learning.
CharToNum
A simple game of letters and speed.
LinearOrders
Formalization of results regarding linear orders.
PitchClassSetBot
Discord bot that calculates the best normal order for a pitch class set.
brisk-reconciler
React.js-like reconciler implemented in OCaml/Reason
DiseaseSpreadSimulation
Watch the disease spread
doctest
The fastest feature-rich C++11/14/17/20 single-header testing framework
ExcelTasks
Create a daily and weekly overview of tasks.
HyperPath
A google chrome extension that makes certain links in Pathable hyperlinks.
lojban.io
A free and opensource platform for studying the artificial language Lojban.
mathlib
Lean mathematical components library
MouseCapture-Bug
Mouse capture bug in Revery.
oni2
Native, lightweight modal code editor
OPcode
OPcode Website
reasonml.github.io
Reason's documentation site
revery
:zap: Native, high-performance, cross-platform desktop apps - built with Reason!
rutils
Radical Utilities for Common Lisp
serve-index
Serve directory listings
Will-I-Fail
Google extension that allows you to add assignments to powerschool and see their effects on your grade.
ZoomAttendance
Take Zoom attendance automatically