VictorCMiraldo/DMZ-Custom-Color

Stars
2
Language
Shell
License
GNU General Publi...
Created almost 4 years ago
Updated over 3 years ago

VictorCMiraldo/DMZ-Custom-Color

VictorCMiraldo

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

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

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.

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

ghc-14987-repro-pipeline