victorcmiraldo Goto Github PK

aaosl-agda

agda-digems

Sister repo to hs-digems

agda-hardware

Denotational hardware design in Agda

agda-hdiff

Attempts at formalizing `hdiff`s diff and merge

agda-rw

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

bft-consensus-agda

cf-agda

Library for generic programming with context-free elements in Agda

diff-agda

dmz-custom-color

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

error-message-index

A community-driven collection of documentation for Haskell error messages and warnings

generic-hashcons

Attempting to write a hashconsing framework for GHC generics supporting holes.

generics-mrsop

generics-mrsop-diff

Typesafe structural diffing of haskell datratypes using generics

generics-sop-cofree

Provides a deep encoding for `generics-sop` values through the free monad/comonad. Similar to `simplistics-generics`.

ghc-14987-repro-pipeline

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

hatex

The Haskell LaTeX library.

hdiff

Hash-based Diffing for AST's

hpstr-jekyll-theme

A Jekyll theme with some tumble-log tendencies.

hs-bn

Bayesian Network

hs-elisp

Simple conservative Emacs Lisp parser in Haskell

hs-fragem

Haskell Fractal Geometry of Music

hs-glc

hs-victor-lsys-cover

hs-yada

Yet Another Diffing Algorithm

hspell

Library and application for spelling and grammatical corrections in Haskell (prototype)

latex-uustthesis

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

lhs2tex-template

linuxupskillchallenge

Learn the skills required to sysadmin a remote Linux server from the commandline.

lw2019-generics-workshop

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