Ernesto Copello (@ernius)
github

ernius

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    39
  • Global Rank 394,771 (Top 14 %)
  • Followers 14
  • Registered about 11 years ago
  • Most used languages
    Agda     83.3 %
    Haskell
         16.7 %
  • Location 🇺🇾 Uruguay
  • Country Total Rank 185
  • Country Ranking
    Agda     1
    Haskell
         2

Top repositories

1

plutus-cardano-samples

Plutus examples
Haskell
11
star
2

mergesort

Merge sort correctness proof
Agda
10
star
3

formalmetatheory-nominal

Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory
Agda
6
star
4

formalmetatheory-nominal-Church-Rosser

Formalisation of Church Rosser Theorem
Agda
5
star
5

formalmetatheory-stoughton

We develop metatheory of the Lambda calculus in Constructive Type Theory, which is made possible by the use of an appropriate notion of substitution, due to A. Stoughton.
Agda
5
star
6

genericBindingFramework

A generic programming bindig framework based on regular trees
Agda
2
star