stoopkid (@sto0pkid)
github

sto0pkid

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    40
  • Global Rank 399,122 (Top 14 %)
  • Followers 11
  • Following 10
  • Registered about 10 years ago
  • Most used languages
    Agda     30.0 %
    C++
         20.0 %
    Shell
         10.0 %
    Prolog
         10.0 %
    Python
         10.0 %
    PHP
         10.0 %
    Makefile     10.0 %

Top repositories

1

CategoryTheory

Category Theory in Agda
Agda
12
star
2

swipl-tt

Implementation of dependent type theory in SWI-Prolog
Prolog
9
star
3

AutoNomic

A p2p nomic game
C++
5
star
4

LemonChain

When life gives you lemons... make a chain out of them!
C++
4
star
5

Godelian

Godelian stuff in Agda
Agda
4
star
6

MathStuff

Random math stuff
Agda
1
star
7

PythonProjectInitializer

A simple bash script that will initialize a git repository containing everything necessary for a simple pip-installable project.
Shell
1
star
8

1HourOS

Learning how to write an operating system, following: https://www.youtube.com/watch?v=1rnA6wpF0o4
Makefile
1
star
9

WikiMods

PHP
1
star
10

Library

archive for publications etc..
1
star
11

DimensionalAnalysis

Simple package for computation with dimensional quantities
Python
1
star