Amรฉlia (@plt-amy)
github

plt-amy

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    411
  • Global Rank 68,606 (Top 3 %)
  • Followers 473
  • Following 49
  • Registered over 7 years ago
  • Most used languages
    Haskell
         42.9 %
    TeX
         14.3 %
    HTML
         14.3 %
    OCaml
         14.3 %
    Agda     14.3 %
  • Location ๐Ÿ‡ง๐Ÿ‡ท Brazil
  • Country Total Rank 1,199
  • Country Ranking
    Agda     1
    Haskell
         12
    OCaml
         13
    TeX
         53

Top repositories

1

1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Agda
317
star
2

cubical-methods

A textbook on cubical type theory
TeX
22
star
3

ahc

a haskell compiler
OCaml
19
star
4

agda-search

Search for identifiers in Agda codebases
Haskell
15
star
5

dep

A very small implementation of the Calculus of Constructions for experimentation purposes
Haskell
13
star
6

mld

An experiment in compositional typings
Haskell
10
star
7

plt-amy

๐Ÿ‘‹
2
star
8

1lab-previews

HTML
1
star