VictorCMiraldo/agda-rw VictorCMiraldo/agda-rw

  • Stars
    star
    16
  • Rank 1,311,288 (Top 26 %)
  • Language Agda
  • License
    MIT License
  • Created almost 10 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
VictorCMiraldo/agda-rw
github

VictorCMiraldo

Reviews

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

Repository Details

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

More Repositories

1

hdiff

Hash-based Diffing for AST's
Haskell
74
star
2

generics-mrsop

Haskell
21
star
3

lw2019-generics-workshop

Contains exercises for the workshop in generic programming at Lambda World 2019
TeX
10
star
4

latex-uustthesis

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

hs-fragem

Haskell Fractal Geometry of Music
Haskell
4
star
6

msc-agda-tactics

A Repo for managing my Master's thesis files.
Agda
4
star
7

my-phd-thesis

Haskell
3
star
8

hs-glc

Haskell
2
star
9

victorcmiraldo.github.io

My personal website.
HTML
2
star
10

victor-emacs-config

OUTDATED; please check my `vsr` repo and go under `config/emacs` for my current emacs config.
Emacs Lisp
2
star
11

DMZ-Custom-Color

Generate a custom color cursor theme from `DMZ-White`
Shell
2
star
12

hs-victor-lsys-cover

Haskell
1
star
13

hs-yada

Yet Another Diffing Algorithm
Haskell
1
star
14

agda-hdiff

Attempts at formalizing `hdiff`s diff and merge
Agda
1
star
15

cf-agda

Library for generic programming with context-free elements in Agda
Agda
1
star
16

mmm

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

hs-bn

Bayesian Network
Haskell
1
star
18

my-xmonad

My xmonad configuration
Haskell
1
star
19

lhs2tex-template

TeX
1
star
20

ghc-14987-repro-pipeline

Haskell
1
star