VictorCMiraldo/mmm VictorCMiraldo/mmm

  • Stars
    star
    1
  • Language
    Haskell
  • License
    MIT License
  • Created about 10 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
VictorCMiraldo/mmm
github

VictorCMiraldo

Reviews

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

Repository Details

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

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

agda-hdiff

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

cf-agda

Library for generic programming with context-free elements in Agda
Agda
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