VictorCMiraldo/latex-uustthesis VictorCMiraldo/latex-uustthesis

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    TeX
  • Created over 6 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
VictorCMiraldo/latex-uustthesis
github

VictorCMiraldo

Reviews

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

Repository Details

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

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

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