Lorenzo Tabacchini (@lortabac)
github

lortabac

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    128
  • Global Rank 168,591 (Top 6 %)
  • Followers 18
  • Following 1
  • Registered almost 12 years ago
  • Most used languages
    Haskell
         42.9 %
    Prolog
         14.3 %
    PHP
         14.3 %
    Agda     14.3 %
    C
         14.3 %
  • Location 🇫🇷 France
  • Country Total Rank 4,330
  • Country Ranking
    Agda     6
    Haskell
         17
    Prolog
         65
    C
         4,585
    PHP
         5,264

Top repositories

1

versioning

Type-safe data versioning.
Haskell
98
star
2

ariel

A simple, purely-functional programming language
Haskell
24
star
3

plfa

The exercises of the PLFA book
Agda
2
star
4

swihs

Haskell
1
star
5

alea

A tiny library to select a random element from a weighted list
PHP
1
star
6

pitchtrack

Pitch tracking library
C
1
star
7

tapl

Implementation of the languages presented in the book "Types and Programming Languages" by Benjamin C. Pierce.
Prolog
1
star