Anthony Canino's Projects
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Utility classes for running android experiments.
Assignment file generator.
Interactive theorem proving with Coq in vim.
Course webpage for CS476/576 Programming Models for Emerging Platforms
Repository for the Ent programming language
Benchmark suite for Ent energy measurement.
go-lab1
Clustering framework for java.
Code for "Generative Code Modeling with Graphs" (ICLR'19)
👻
The Julia Language: A fresh approach to technical computing.
KLEE Symbolic Execution Engine
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:
The Node.js website.
Read-only mirror of INRIA SVN
Ocaml C Compiler
Polyglot Extensible Compiler Framework for Java
Tensors and Dynamic neural networks in Python with strong GPU acceleration
SeaHorn Verification Framework
The Swift Programming Language