Francesco Parolini (@phreppo)
github

phreppo

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    98
  • Global Rank 210,785 (Top 8 %)
  • Followers 40
  • Following 38
  • Registered about 7 years ago
  • Most used languages
    Haskell
         23.1 %
    TeX
         15.4 %
    Rich Text Format     7.7 %
    C
         7.7 %
    Go
         7.7 %
    OCaml
         7.7 %
    Rust
         7.7 %
    Zig
         7.7 %
    Java
         7.7 %
    C++
         7.7 %
  • Location 🇮🇹 Italy
  • Country Total Rank 2,103
  • Country Ranking
    Zig
         4
    Rich Text Format     12
    OCaml
         13
    Haskell
         17
    TeX
         151
    C
         260
    Rust
         464
    Go
         546
    Java
         935
    C++
         1,254

Top repositories

1

pilisp

Lisp interpreter with bytecode compiler
C
26
star
2

rat

🐀 Regular Expression Denial of Service analyzer.
OCaml
22
star
3

ct

⚡ The fastest line counter. At least on my computer.
Zig
15
star
4

wstat

While language static analyzer
Haskell
10
star
5

bait

A ω-regular language inclusion checker
Java
6
star
6

master-thesis

Master thesis
TeX
3
star
7

CppMakeMaker

Makefile generator for C++ small projects
C++
3
star
8

buchi-automata-benchmark

A collection of Büchi automata for language inclusion benchmarking
Rich Text Format
3
star
9

parallellisp

Lisp, but functional and parallel
Go
2
star
10

hile

Interpreter for the While language
Haskell
2
star
11

protocol-validation

TeX
2
star
12

leesp

Lisp interpreter with implicit Garbage Collector
Rust
1
star
13

glossario-swe

Glossario di Ingegneria del Software
1
star
14

Banesso

VSC dark theme, canesso-based.
1
star
15

core

Core language parser
Haskell
1
star