Nathan Taylor's repositories
accord-ivy
The accord consensus protocol in ivy
macewan-cache
Material for Macewan CMPT 360 cache lectures
beguine
ivy <-> java bridge
Language:ScalaAGPL-3.0000
bigtop-viz
Where you go to watch cartpoles
Language:TypeScript000
000
fp-lean
Functional Programming in Lean
NOASSERTION000
go-ilock
An intent lock.
Language:Go000
Language:TypeScript000
higherorderpython
Higher Order Perl but in Python
Language:Python000
ivy-ts
tuplespaces in ivy
Language:Shell000
ivydb
peeker-poker for ivy programs
Language:Python000
nvim
long live the new editor hotness
Language:Lua000
pacldb
Pan-Dene Comparative Lexicon
Language:Python000
porter
Always True to You in My Fashion
Language:PythonAGPL-3.0000
Language:Java000
prt
Java P runtime sandbox
Language:JavaMIT000
prtsandbox
Nathan's playground for experimenting with prt
Language:Java000
Language:HTML000
sedikle
baby's first SAT solver
Language:Rust000
tethys-dashboard
Admin dashboard for the Tethys project.
verified-isort
some verified insertion sorts for my DiRP
Language:Dafny000
vim-alloy
vim syntax for alloy analyzer
Language:Vim Script000