alvisespano
Born 1977, demoscene coder on the Amiga since 1991. Experienced dev converted to Research on languages and type systems. Now Professor at Ca' Foscari.
UniversitĂ Ca' Foscari di VeneziaTreviso, Italy
Pinned Repositories
AAC
App Anti Corruzione
Appace
CobolAnalyzer
A static code analyzer for COBOL85.
FunctionalLanguages-UniPD
Functional Languages course for University of Padova
LabCloud
Laboratorio di Cloud Computing e Sistemi Distribuiti a.a. 2018-19
Legodroid
A tiny library for type-driven cross-programming Lego Mindstorms EV3 from Android.
Lintent
A static code analyzer for Android.
Lw
Lw is a general-purpose statically-typed functional-first language with cutting-edge features.
PO2
Materiali per il corso di Programmazione ad Oggetti mod. 2, a.a. 2018 @ DAIS Ca' Foscari
Polygen
The famous random sentence generator.
alvisespano's Repositories
alvisespano/PO2
Materiali per il corso di Programmazione ad Oggetti mod. 2, a.a. 2018 @ DAIS Ca' Foscari
alvisespano/Polygen
The famous random sentence generator.
alvisespano/Lw
Lw is a general-purpose statically-typed functional-first language with cutting-edge features.
alvisespano/Lintent
A static code analyzer for Android.
alvisespano/CobolAnalyzer
A static code analyzer for COBOL85.
alvisespano/FunctionalLanguages-UniPD
Functional Languages course for University of Padova
alvisespano/LabCloud
Laboratorio di Cloud Computing e Sistemi Distribuiti a.a. 2018-19
alvisespano/Legodroid
A tiny library for type-driven cross-programming Lego Mindstorms EV3 from Android.
alvisespano/AAC
App Anti Corruzione
alvisespano/Appace
alvisespano/Datadroid
An Android library for writing OpenData-based apps
alvisespano/CommonOCaml
A general purpose library for OCaml extending the standard library.
alvisespano/FSharp.Common
General purpose F# library which extends the standard library.
alvisespano/GdrSim
Private project. Experimental simulation of new role-game system.
alvisespano/ita4ml
Italian Keyboard layout for Windows aimed at programmers wanting Greek Letters
alvisespano/MGen
A BOM, DAL and DB code generator from UML models
alvisespano/sensors_2022_skate
Publicly available datasets studied in the paper "A Wearable System for Jump Detection in Inline Figure Skating" (Sensors 2022)
alvisespano/stereorecon
A stereoscopic 3D reconstruction program.