matteobusi/alvie matteobusi/alvie

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    OCaml
  • Created 10 months ago
  • Updated 10 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
matteobusi/alvie
github

matteobusi

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

The ALVIE tool, accompanying the paper: "Bridging the Gap: Automated Analysis of Sancus"

More Repositories

1

incremental-mincaml

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

sOS

Another small experimental Kernel...
C
1
star
3

raytracer

A simple raytracer
C++
1
star
4

minrt

OCaml
1
star
5

forcegame

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

stv

Coq development for secure translation validation
Coq
1
star