m-alvarez

Pinned Repositories

Arche
The Arche programming language
Language:OCaml10
funprog
The code for my Functional Programming and Type Systems assignment
Language:OCaml10
jhc
Clone of the jhc compiler
Language:Haskell10
latex
General latex macros that I end up using everywhere
Language:TeX10
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Language:OCaml1 2 00
plutus
The Plutus language reference implementation and tools
Language:Haskell10
scher
A symbolic testing framework for Haskell
Language:Haskell32

m-alvarez's Repositories

m-alvarez/scher
A symbolic testing framework for Haskell
Language:Haskell32
m-alvarez/Arche
The Arche programming language
Language:OCaml10
m-alvarez/funprog
The code for my Functional Programming and Type Systems assignment
Language:OCaml10
m-alvarez/jhc
Clone of the jhc compiler
Language:Haskell10
m-alvarez/latex
General latex macros that I end up using everywhere
Language:TeX10
m-alvarez/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Language:OCaml1 2 00
m-alvarez/plutus
The Plutus language reference implementation and tools
Language:Haskell10
m-alvarez/anglican
Probabilistic Programming System Anglican
m-alvarez/Archetype
The Archetype programming language
Language:OCaml
m-alvarez/arithmetic
A simple arithmetic library for Haskell, to be used for the testing of scher
Language:Haskell
m-alvarez/bank
Test stuff
m-alvarez/clash
A silly thing for doing Markov mashups of texts
Language:Go
m-alvarez/concurrency
Language:Java
m-alvarez/DrIFT-scher
DrIFT extended with rules for generating scher Symbolic instances.
Language:Haskell
m-alvarez/fortuno-biskvitoj
A fortune file containing the Proverbaro Esperanta
m-alvarez/haskell-hedgehog
Hedgehog will eat all your bugs.
Language:Haskell
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.
Language:JavaScript
m-alvarez/lispred
A proof assistant for Hilbert-style first-order logic
Language:Common Lisp
m-alvarez/lmoch
Lustre static analyzer for my Synchronous Systems class
Language:OCaml
m-alvarez/m-alvarez.github.io
Language:HTML
m-alvarez/map
tests for stuff
Language:Haskell
m-alvarez/meta
Language:OCaml
m-alvarez/scher-run
Test runner for the scher symbolic testing framework
Language:Haskell
m-alvarez/stratified-system-f
A formalisation of stratified System F for my Proof Systems class.
Language:Coq2 0
m-alvarez/tasty
Modern and extensible testing framework for Haskell
Language:Haskell
m-alvarez/tlclt
The Little (Common Lisp) Typer
m-alvarez/why3-minimax
A bunch of stuff in why3 for my Proofs of Programs class