p
Repositories
Select a repository to view its commits, contributors, and more.public
hol2dk
hol to dedukti
OCaml
3
1
0
Updated 2 years ago
public
subsume
Attempts at minimizing a set of patterns (as in pattern matching)
Haskell
2
2
0
Updated 4 years ago
public
enumerators
Random Access Enumerations of Dart Datatypes
Dart
2
4
1
Updated 2 years ago
public
abstract-interpreters
"Abstracting Definitional Interpreters" in Haskell
Haskell
2
0
0
Updated 2 years ago
public
quickcheck-slides
Slides of some talk about test.check and testing-feat
Haskell
2
0
0
Updated 8 years ago
public
trampolines
Trampolines for Tail Recursion in Dart
Dart
1
0
0
Updated 2 years ago
public
patterns
Pattern Matching Combinators for Dart
Dart
1
1
0
Updated 2 years ago
public
parsers-doc
Documentation for the dart parsers library.
Dart
1
0
0
Updated 7 years ago
public
snippets
Snippets of code
Haskell
1
0
0
Updated a year ago
public
hswolf
A raycaster written in Haskell
Haskell
1
0
0
Updated a year ago
public
qsm-ffi-demo
quickcheck-state-machine FFI demo
Haskell
1
0
0
Updated 3 years ago
public
tom-parser
A demo Haskell parser for the tom programming language
Haskell
0
0
0
Updated a year ago