antalsz/text-set

Stars
1
Language
Haskell
License
MIT License
Created over 5 years ago
Updated over 5 years ago

antalsz/text-set

antalsz

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

Use a DAFSA (aka a DAWG) to implement a set of strings

hs-to-coq

Convert Haskell source code to Coq source code

choose-your-own-derivative

Code for the submitted TyDe '16 extended abstract and C∘mp∘se '17 talk "`choose` Your Own Derivative"

urn-random

A Haskell package for updatable discrete distributions

draft

A LaTeX package for commands that exist only when a document is in draft mode

ocaml-algebraic-effects

A semantics for our proposed design for algebraic effects for OCaml

tree-dye

Random spanning tree “tie-dye”

functional-shuffle

Functional list shuffling with Heinrich Apfelmus's “merge shuffle” algorithm

coqc-expand-errors

Run `coqc` and print out colorized Coq error location information

quantum-halftoning

The quantum halftoning algorithm from the paper “Schrödinger’s Zebra”

jfp-natbib-hack

A hack to make JFP's bibliography compatible with natbib