m-alvarez Goto Github PK

anglican

Probabilistic Programming System Anglican

arche

The Arche programming language

archetype

The Archetype programming language

arithmetic

A simple arithmetic library for Haskell, to be used for the testing of scher

bank

Test stuff

clash

A silly thing for doing Markov mashups of texts

concurrency

drift-scher

DrIFT extended with rules for generating scher Symbolic instances.

fortuno-biskvitoj

A fortune file containing the Proverbaro Esperanta

funprog

The code for my Functional Programming and Type Systems assignment

haskell-hedgehog

Hedgehog will eat all your bugs.

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.

jhc

Clone of the jhc compiler

latex

General latex macros that I end up using everywhere

lispred

A proof assistant for Hilbert-style first-order logic

lmoch

Lustre static analyzer for my Synchronous Systems class

m-alvarez.github.io

map

tests for stuff

meta

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

plutus

The Plutus language reference implementation and tools

scher

A symbolic testing framework for Haskell

scher-run

Test runner for the scher symbolic testing framework

stratified-system-f

A formalisation of stratified System F for my Proof Systems class.

tasty

Modern and extensible testing framework for Haskell

tlclt

The Little (Common Lisp) Typer

why3-minimax

A bunch of stuff in why3 for my Proofs of Programs class