Discover @VictorCMiraldo Open Source projects

Victor Cacciari Miraldo (@VictorCMiraldo)

VictorCMiraldo

Stars
156
Global Rank 149,313 (Top 6 %)
Followers 64
Following 35
Registered over 11 years ago
Most used languages

Haskell
52.4 %

Agda 19.0 %

TeX
14.3 %

Shell
4.8 %

HTML
4.8 %

Emacs Lisp
4.8 %
Location 🇳🇱 Netherlands
Country Total Rank 2,583
Country Ranking

Agda 4

Haskell
22

TeX
71

Emacs Lisp
104

HTML
1,621

Shell
1,786

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

ghc-14987-repro-pipeline