VictorCMiraldo/agda-hdiff VictorCMiraldo/agda-hdiff

  • Stars
    star
    1
  • Language Agda
  • Created about 4 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
VictorCMiraldo/agda-hdiff
github

VictorCMiraldo

Reviews

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

Repository Details

Attempts at formalizing `hdiff`s diff and merge

More Repositories

1

hdiff

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

generics-mrsop

Haskell
21
star
3

agda-rw

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

lw2019-generics-workshop

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

latex-uustthesis

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

hs-fragem

Haskell Fractal Geometry of Music
Haskell
4
star
7

msc-agda-tactics

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

my-phd-thesis

Haskell
3
star
9

hs-glc

Haskell
2
star
10

victorcmiraldo.github.io

My personal website.
HTML
2
star
11

victor-emacs-config

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

DMZ-Custom-Color

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

hs-victor-lsys-cover

Haskell
1
star
14

hs-yada

Yet Another Diffing Algorithm
Haskell
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