matteobusi Goto Github PK
Name: Matteo Busi
Type: User
Bio: Researcher at the Ca' Foscari University of Venice. Working on Secure Compilation
Location: Italy
Blog: matteobusi.github.io
Name: Matteo Busi
Type: User
Bio: Researcher at the Ca' Foscari University of Venice. Working on Secure Compilation
Location: Italy
Blog: matteobusi.github.io
The ALVIE tool, accompanying the paper: "Bridging the Gap: Automated Analysis of Sancus"
Definitely not a TypeScript to WebAssembly compiler 🚀
Water-filling watch face for Garmin devices.
Micro-benchmarking library for OCaml
Featherweight Java type checker
Final project for human-computer interaction class
Context-oriented programming extension for F#
Verification system for effectful programs
Incremental typing for a small subset of OCaml
git mirror of the Munich isabelle hg repository
Implementation in C++11 of Jacobi iterative method
A core language for rule-based hardware design 🦑
Some useful material for the LIS'22 seminars (at UniPI)
My personal website
moved from https://sourceforge.net/p/min-caml/code/
A simple neural network simulator written in Python using NumPy
Provide an awesome, out-of-box, literate dotemacs for both newbies and nerds.
A simple raytracer
Redox: A Rust Operating System
Attacks on Sancus_V from our "Mind the Gap" paper.
https://distrinet.cs.kuleuven.be/software/sancus
Another small experimental Kernel...
Coq development for secure translation validation
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.