Lucas Escot (@flupe)
github

flupe

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    74
  • Global Rank 258,484 (Top 9 %)
  • Followers 45
  • Following 143
  • Registered over 10 years ago
  • Most used languages
    Agda     27.3 %
    Haskell
         18.2 %
    Vue     9.1 %
    C
         9.1 %
    CSS
         9.1 %
    Python
         9.1 %
    JavaScript
         9.1 %
    OCaml
         9.1 %
  • Location πŸ‡«πŸ‡· France
  • Country Total Rank 6,500
  • Country Ranking
    Agda     2
    Haskell
         60
    OCaml
         271
    Vue     908
    CSS
         1,996
    JavaScript
         2,742
    C
         4,088
    Python
         6,874

Top repositories

1

generics

Agda
21
star
2

jibniz

A custom javascript implementation of the IBNIZ VM
JavaScript
18
star
3

achille

A Haskell library for building incremental static site generators
Haskell
14
star
4

perso.ens-lyon

Custom script to build my institutional personal page
Python
3
star
5

fouine

Interpreter and compiler for a toy programming language based on OCaml
OCaml
2
star
6

kirby-cas

A Kirby plugin allowing user login through an external CAS.
Vue
2
star
7

verification-template

Agda
2
star
8

misc

Experiments with agda
Agda
1
star
9

twitter-archive-viewer

CSS
1
star
10

site

Haskell
1
star
11

slod

Tiny HTTP server for static files with live reloading
C
1
star