VictorCMiraldo/ghc-14987-repro-pipeline

Stars
1
Language
Haskell
Created over 6 years ago
Updated about 5 years ago

VictorCMiraldo/ghc-14987-repro-pipeline

VictorCMiraldo

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

hdiff

Hash-based Diffing for AST's

generics-mrsop

agda-rw

This is the place where (more or less) stable releases of my RW library will be published.

lw2019-generics-workshop

Contains exercises for the workshop in generic programming at Lambda World 2019

latex-uustthesis

MSc and PhD thesis template for the Software Technology group at Universiteit Utrecht

hs-fragem

Haskell Fractal Geometry of Music

msc-agda-tactics

A Repo for managing my Master's thesis files.

my-phd-thesis

hs-glc

victorcmiraldo.github.io

My personal website.

victor-emacs-config

OUTDATED; please check my `vsr` repo and go under `config/emacs` for my current emacs config.

DMZ-Custom-Color

Generate a custom color cursor theme from `DMZ-White`

hs-victor-lsys-cover

hs-yada

Yet Another Diffing Algorithm

agda-hdiff

Attempts at formalizing `hdiff`s diff and merge

cf-agda

Library for generic programming with context-free elements in Agda

mmm

Monadic Mealy Machines in Haskell. This is part of the QAIS Project (http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/WebHome)

hs-bn

Bayesian Network

my-xmonad

My xmonad configuration

lhs2tex-template