Pinned Repositories
Advent-of-Code
agda-unimath
The agda-unimath library
cis4190
CIS 4190 - Project
Connect-X
drp
fstar-io
InvestBud
A bitcoin paper trader with interactive dynamic candlestick graph
lfcs2023
pennapps-starter
A starter webapp using React, Next.js, and Convex. Created for PennApps.
plfa.github.io
An introduction to programming language theory in Agda
ruxicl's Repositories
ruxicl/Advent-of-Code
ruxicl/agda-unimath
The agda-unimath library
ruxicl/cis4190
CIS 4190 - Project
ruxicl/Connect-X
ruxicl/drp
ruxicl/fstar-io
ruxicl/InvestBud
A bitcoin paper trader with interactive dynamic candlestick graph
ruxicl/lfcs2023
ruxicl/pennapps-starter
A starter webapp using React, Next.js, and Convex. Created for PennApps.
ruxicl/plfa.github.io
An introduction to programming language theory in Agda
ruxicl/register-machines-simulator