Alessio (@AlecsFerra)
github

AlecsFerra

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    38
  • Global Rank 413,809 (Top 15 %)
  • Followers 48
  • Following 42
  • Registered almost 7 years ago
  • Most used languages
    Haskell
         46.7 %
    Rust
         20.0 %
    Agda     13.3 %
    F#
         6.7 %
    Shell
         6.7 %
    JavaScript
         6.7 %
  • Location 🇪🇸 Spain
  • Country Total Rank 4,128
  • Country Ranking
    Agda     3
    Haskell
         22
    F#
         29
    Rust
         266
    Shell
         731
    JavaScript
         6,293

Top repositories

1

dot-config

Shell
6
star
2

HaskellParser

Parsing haskell in haskell from scratch
Haskell
5
star
3

rec

A denotational semantic based interpreter for the REC programming language
Haskell
4
star
4

RecStaticAnalyzer

An abstract interpretation based static analyzer for the REC programming language, supports strictness and sign analysis
Haskell
3
star
5

linux-pasta

3
star
6

UniWEB-AutoQuestionario

JavaScript
2
star
7

TinyML

A random implementation of a subset of the ML language in F#
F#
1
star
8

Sequent-Executor

Automated LPc deriver that outpusts in LaTeX
Haskell
1
star
9

ThatLang

Implementation of a programming language
Rust
1
star
10

While-Proofs

Proving some theorems about the While language in Agda
Agda
1
star
11

AoC-2021

Trying to be pointfree
Haskell
1
star
12

ultimoradie

Rust
1
star
13

ProtoAgda

A simple implementation of a dependently typed programming language with meta-variables.
Haskell
1
star
14

PolynomialFunctors

Data-types as fixpoints of polynomial functors
Agda
1
star
15

antichannelbot

Rust
1
star
16

AoC23

Haskell
1
star