LucaFranceschini

Computer Science PhD | Software Engineer for Ultrasound Imaging Devices

Italy

Pinned Repositories

nodeprof.js
Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.
Language:Java51 9 3922
bookmarks2tsv
Convert Chromium exported bookmarks to TSV for Google custom search
Language:JavaScript00
RML
Archived, new repo: https://github.com/RMLatDIBRIS
Language:JavaScript1 2 00
trace-expressions
The project evolved to RML, check it out! https://github.com/LucaFranceschini/RML
Language:TeX1 0 00
wrapper-roo
JavaScript transparent function wrapper with reflection capabilities
Language:JavaScript10
opam-repository
Main public package repository for opam, the source package manager of OCaml.
516 33 1.3k1.1k
compiler
Language:Kotlin2 1 21
benchmark-challenge-2018
Collection of submissions for the 2018 Runtime Verification Benchmark Challenge
Language:SMT66

LucaFranceschini's Repositories

LucaFranceschini/RML
Archived, new repo: https://github.com/RMLatDIBRIS
Language:JavaScript1 2 00
LucaFranceschini/trace-expressions
The project evolved to RML, check it out! https://github.com/LucaFranceschini/RML
Language:TeX1 0 00
LucaFranceschini/wrapper-roo
JavaScript transparent function wrapper with reflection capabilities
Language:JavaScript10
LucaFranceschini/bookmarks2tsv
Convert Chromium exported bookmarks to TSV for Google custom search
Language:JavaScript00