Matteo Busi (@matteobusi)
github

matteobusi

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    17
  • Global Rank 708,350 (Top 25 %)
  • Followers 18
  • Following 32
  • Registered about 14 years ago
  • Most used languages
    OCaml
         42.9 %
    Makefile     14.3 %
    Coq     14.3 %
    C
         14.3 %
    C++
         14.3 %
  • Location 🇮🇹 Italy
  • Country Total Rank 6,426
  • Country Ranking
    Coq     2
    OCaml
         15
    Makefile     191
    C
         2,048
    C++
         2,188

Top repositories

1

incremental-mincaml

Incremental typing for a small subset of OCaml
OCaml
6
star
2

alvie

The ALVIE tool, accompanying the paper: "Bridging the Gap: Automated Analysis of Sancus"
OCaml
4
star
3

sOS

Another small experimental Kernel...
C
1
star
4

raytracer

A simple raytracer
C++
1
star
5

minrt

OCaml
1
star
6

forcegame

Final project for human-computer interaction class
Makefile
1
star
7

stv

Coq development for secure translation validation
Coq
1
star