m-alvarez/funprog
The code for my Functional Programming and Type Systems assignment
Developer Profile
m-alvarez
Discovered public repositories for m-alvarez in the GitHub catalog.
m-alvarez/why3-minimax
A bunch of stuff in why3 for my Proofs of Programs class
m-alvarez/stratified-system-f
A formalisation of stratified System F for my Proof Systems class.
m-alvarez/concurrency
Public repository.
m-alvarez/lmoch
Lustre static analyzer for my Synchronous Systems class
m-alvarez/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
m-alvarez/Archetype
The Archetype programming language
m-alvarez/Arche
The Arche programming language
m-alvarez/meta
Public repository.
m-alvarez/clash
A silly thing for doing Markov mashups of texts
m-alvarez/impress.js
It's a presentation framework based on the power of CSS3 transforms and transitions in modern browsers and inspired by the idea behind prezi.com.
m-alvarez/lispred
A proof assistant for Hilbert-style first-order logic