Pinned Repositories
AI-Sequencium
Multiple AIs for Sequencium using reinforcement learning.
analysis
A Lean companion to Analysis I
Asteroids
AutoKeyboard
Automate keypresses quickly
CharToNum
A simple game of letters and speed.
OrderedSemigroups
Formalization of Holder's Theorem for Ordered Semigroups and Groups
PitchClassSetBot
Discord bot that calculates the best normal order for a pitch class set.
Sequencium
The board game Sequencium with local and online multiplayer.
shell
A basic shell.
UnContraction
Google addon that replaces contractions with their non-contracted form.
ericluap's Repositories
ericluap/Sequencium
The board game Sequencium with local and online multiplayer.
ericluap/shell
A basic shell.
ericluap/OrderedSemigroups
Formalization of Holder's Theorem for Ordered Semigroups and Groups
ericluap/AI-Sequencium
Multiple AIs for Sequencium using reinforcement learning.
ericluap/analysis
A Lean companion to Analysis I
ericluap/CharToNum
A simple game of letters and speed.
ericluap/PitchClassSetBot
Discord bot that calculates the best normal order for a pitch class set.
ericluap/AutLinOrd
Automorphisms of Linear Orders
ericluap/brisk-reconciler
React.js-like reconciler implemented in OCaml/Reason
ericluap/DiseaseSpreadSimulation
Watch the disease spread
ericluap/doctest
The fastest feature-rich C++11/14/17/20 single-header testing framework
ericluap/ericluap.github.io
ericluap/ExcelTasks
Create a daily and weekly overview of tasks.
ericluap/HyperPath
A google chrome extension that makes certain links in Pathable hyperlinks.
ericluap/IntroEffects
A implementation of the language in "An Introduction to Algebraic Effects and Handlers" by Pretnar
ericluap/lean-reducibility
計算理論
ericluap/lean4
Lean 4 programming language and theorem prover
ericluap/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
ericluap/lojban.io
A free and opensource platform for studying the artificial language Lojban.
ericluap/mathlib
Lean mathematical components library
ericluap/mathlib4
The math library of Lean 4
ericluap/MouseCapture-Bug
Mouse capture bug in Revery.
ericluap/oni2
Native, lightweight modal code editor
ericluap/OnMount-SetInterval-Issue
ericluap/Polygons
ericluap/reasonml.github.io
Reason's documentation site
ericluap/revery
:zap: Native, high-performance, cross-platform desktop apps - built with Reason!
ericluap/rutils
Radical Utilities for Common Lisp
ericluap/thank-you-react
ericluap/ZoomAttendance
Take Zoom attendance automatically