Fernando Chu (@FernandoChu)
github

FernandoChu

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    12
  • Global Rank 874,315 (Top 31 %)
  • Followers 12
  • Following 24
  • Registered over 8 years ago
  • Most used languages
    TeX
         25.0 %
    Agda     25.0 %
    Rust
         25.0 %
    Haskell
         25.0 %
  • Location 🇵🇪 Peru
  • Country Total Rank 884
  • Country Ranking
    Agda     1
    Haskell
         4
    Rust
         16
    TeX
         25

Top repositories

1

HoTT-Book-Agda

The content of the HoTT book formalized in Agda
Agda
7
star
2

nom-parser-lexer-example

Using nom to lex and parse a calculator
Rust
2
star
3

tapl-hakell

Implementation in Haskell of Benjamin Pierce's Types and Programing Languages book
Haskell
1
star
4

MastersThesis

Formalization of my thesis in Agda
TeX
1
star