Louis Warren (@louisswarren)
github

louisswarren

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    13
  • Global Rank 834,067 (Top 29 %)
  • Followers 9
  • Following 7
  • Registered over 10 years ago
  • Most used languages
    Agda     57.1 %
    Python
         28.6 %
    C
         14.3 %
  • Location πŸ‡³πŸ‡Ώ New Zealand
  • Country Total Rank 2,335
  • Country Ranking
    Agda     1
    C
         504
    Python
         779

Top repositories

1

tome

Natural deduction in Agda
Agda
7
star
2

hieretikz

Generate a tikz diagram of a hierarchy, for use in reverse mathematics
Python
2
star
3

reals

Real numbers in agda
Agda
1
star
4

ensemble-old

Finite sets in Agda
Agda
1
star
5

ni

Python
1
star
6

mandlebrot

Because every programmer is going to implement it at some point
C
1
star
7

automata

Automata in Agda
Agda
1
star