sto0pkid

Pinned Repositories

1HourOS
Learning how to write an operating system, following: https://www.youtube.com/watch?v=1rnA6wpF0o4
Language:Makefile10
AutoNomic
A p2p nomic game
Language:C++5 4 160
CategoryTheory
Category Theory in Agda
Language:Agda13 4 00
DimensionalAnalysis
Simple package for computation with dimensional quantities
Language:Python1 1 00
Godelian
Godelian stuff in Agda
Language:Agda4 3 01
LemonChain
When life gives you lemons... make a chain out of them!
Language:C++40
Library
archive for publications etc..
11
MathStuff
Random math stuff
Language:Agda11
PythonProjectInitializer
A simple bash script that will initialize a git repository containing everything necessary for a simple pip-installable project.
Language:Shell1 1 01
swipl-tt
Implementation of dependent type theory in SWI-Prolog
Language:Prolog82

sto0pkid's Repositories

sto0pkid/swipl-tt
Implementation of dependent type theory in SWI-Prolog
Language:Prolog82
sto0pkid/AutoNomic
A p2p nomic game
Language:C++5 4 160
sto0pkid/Godelian
Godelian stuff in Agda
Language:Agda4 3 01
sto0pkid/1HourOS
Learning how to write an operating system, following: https://www.youtube.com/watch?v=1rnA6wpF0o4
Language:Makefile10
sto0pkid/DimensionalAnalysis
Simple package for computation with dimensional quantities
Language:Python1 1 00
sto0pkid/PythonProjectInitializer
A simple bash script that will initialize a git repository containing everything necessary for a simple pip-installable project.
Language:Shell1 1 01
sto0pkid/agda-stdlib
The Agda standard library
sto0pkid/BootstrapLayout1
Customizations of basic Bootstrap layout
Language:HTML
sto0pkid/dialogue-understanding
This repository contains PyTorch implementation for the baseline models from the paper Utterance-level Dialogue Understanding: An Empirical Study
Language:Python
sto0pkid/EulerJS
Studying the euler.js inferencer by Jos de Roo
Language:JavaScript
sto0pkid/frdcsa-installer
The install scripts for FRDCSA (Panoply)
Language:C++
sto0pkid/frdcsa-panoply-git-20200329
How to run Panoply Git GNU/Linux (the version of FRDCSA made by combining all of the redacted GitHub FRDCSA codebases)
sto0pkid/GameHistory
PrologNomic game history
Language:Prolog
sto0pkid/gourmet-svelte
Gourmet Web Edition
Language:HTML1
sto0pkid/gttf
Investigation of the prevalence of Baltimore Police Department's Gun Trace Task Force testimony in State of Maryland judicial cases
sto0pkid/hike
a prototype of an UI framework capable of eyes-free interaction on a semantic level
Language:JavaScript
sto0pkid/koordinator2000
https://fullcracy.xyz/
Language:Svelte
sto0pkid/MazeGenerator
Simple maze generator in Python
Language:Python
sto0pkid/MDCRIS
Instructions and scripts to build PostgreSQL database from Maryland Campaign Reporting Information System (MDCRIS) dataset
sto0pkid/NetlifyTest
netlify test
sto0pkid/OldTypeTheoryStudies
Old type theory studies
Language:Agda
sto0pkid/ontolog-summit-2022-presentation
Ontolog Summit 2022 Presentation
sto0pkid/PChase
Simple implementation of parsimonious chase
Language:Prolog
sto0pkid/PersonalDev
personal dev
Language:Shell
sto0pkid/Portfolio
Portfolio
sto0pkid/PrologNomic
A simple nomic game in Prolog
Language:Prolog1
sto0pkid/QuadLad
RDF ALL THE THINGS
Language:Svelte
sto0pkid/sto0pkid.github.io
Portfolio
Language:HTML
sto0pkid/SynquidTests
Testing the Synquid program synthesis tool
sto0pkid/WebLayouts
Web layouts
Language:HTML