sto0pkid/CategoryTheory sto0pkid/CategoryTheory

  • Stars
    star
    12
  • Rank 1,597,372 (Top 32 %)
  • Language Agda
  • License
    GNU General Publi...
  • Created almost 8 years ago
  • Updated almost 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sto0pkid/CategoryTheory
github

sto0pkid

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Category Theory in Agda

More Repositories

1

swipl-tt

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

AutoNomic

A p2p nomic game
C++
5
star
3

LemonChain

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

Godelian

Godelian stuff in Agda
Agda
4
star
5

MathStuff

Random math stuff
Agda
1
star
6

PythonProjectInitializer

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

1HourOS

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

WikiMods

PHP
1
star
9

Library

archive for publications etc..
1
star
10

DimensionalAnalysis

Simple package for computation with dimensional quantities
Python
1
star