sto0pkid/Godelian sto0pkid/Godelian

  • Stars
    star
    4
  • Rank 3,286,661 (Top 66 %)
  • Language Agda
  • Created over 3 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sto0pkid/Godelian
github

sto0pkid

Reviews

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

Repository Details

Godelian stuff in Agda

More 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

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