Pinned Repositories
cooked-validators
pirouette
Language-generic workbench for building static analysis
aaosl-agda
agda-rw
This is the place where (more or less) stable releases of my RW library will be published.
generics-mrsop
hdiff
Hash-based Diffing for AST's
hs-fragem
Haskell Fractal Geometry of Music
latex-uustthesis
MSc and PhD thesis template for the Software Technology group at Universiteit Utrecht
lw2019-generics-workshop
Contains exercises for the workshop in generic programming at Lambda World 2019
msc-agda-tactics
A Repo for managing my Master's thesis files.
VictorCMiraldo's Repositories
VictorCMiraldo/hdiff
Hash-based Diffing for AST's
VictorCMiraldo/generics-mrsop
VictorCMiraldo/agda-rw
This is the place where (more or less) stable releases of my RW library will be published.
VictorCMiraldo/msc-agda-tactics
A Repo for managing my Master's thesis files.
VictorCMiraldo/my-phd-thesis
VictorCMiraldo/DMZ-Custom-Color
Generate a custom color cursor theme from `DMZ-White`
VictorCMiraldo/victor-emacs-config
OUTDATED; please check my `vsr` repo and go under `config/emacs` for my current emacs config.
VictorCMiraldo/victorcmiraldo.github.io
My personal website.
VictorCMiraldo/aaosl-agda
VictorCMiraldo/agda-hdiff
Attempts at formalizing `hdiff`s diff and merge
VictorCMiraldo/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
VictorCMiraldo/lhs2tex-template
VictorCMiraldo/my-xmonad
My xmonad configuration
VictorCMiraldo/agda-hardware
Denotational hardware design in Agda
VictorCMiraldo/agda2hs
Compiling Agda code to readable Haskell
VictorCMiraldo/basedpyright
pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server
VictorCMiraldo/bft-consensus-agda
VictorCMiraldo/cheshire
VictorCMiraldo/error-message-index
A community-driven collection of documentation for Haskell error messages and warnings
VictorCMiraldo/generic-hashcons
Attempting to write a hashconsing framework for GHC generics supporting holes.
VictorCMiraldo/generics-sop-cofree
Provides a deep encoding for `generics-sop` values through the free monad/comonad. Similar to `simplistics-generics`.
VictorCMiraldo/HaTeX
The Haskell LaTeX library.
VictorCMiraldo/hspell
Library and application for spelling and grammatical corrections in Haskell (prototype)
VictorCMiraldo/linuxupskillchallenge
Learn the skills required to sysadmin a remote Linux server from the commandline.
VictorCMiraldo/mio-signals
Crate for handling signals with Mio.
VictorCMiraldo/opendetex
Improved version of Detex - tool for extracting plain text from TeX and LaTeX sources
VictorCMiraldo/racket-merge-lab
VictorCMiraldo/symeval-experiment
VictorCMiraldo/time
A time library
VictorCMiraldo/vsr