Pinned Repositories
1HourOS
Learning how to write an operating system, following: https://www.youtube.com/watch?v=1rnA6wpF0o4
AutoNomic
A p2p nomic game
CategoryTheory
Category Theory in Agda
DimensionalAnalysis
Simple package for computation with dimensional quantities
Godelian
Godelian stuff in Agda
LemonChain
When life gives you lemons... make a chain out of them!
Library
archive for publications etc..
MathStuff
Random math stuff
PythonProjectInitializer
A simple bash script that will initialize a git repository containing everything necessary for a simple pip-installable project.
swipl-tt
Implementation of dependent type theory in SWI-Prolog
sto0pkid's Repositories
sto0pkid/MathStuff
Random math stuff
sto0pkid/Library
archive for publications etc..
sto0pkid/TopLevelRepoTest
Testing a top-level repo to hold all resources for AutoNomic dev
sto0pkid/AutoNomicDevRepoTest
Testing a top-level repo to hold all resources for AutoNomic dev
sto0pkid/WikiMods
sto0pkid/stoopkidOS
Learning how to use a computer
sto0pkid/EuclideanAlgorithm
Uses the Euclidean algorithm to compute the greatest common divisor of two natural numbers.
sto0pkid/CategoryTheory
Category Theory in Agda
sto0pkid/agda-STLC
STLC in Agda
sto0pkid/LemonChain
When life gives you lemons... make a chain out of them!
sto0pkid/ontology
Ontology database