p
Repositories
Select a repository to view its commits, contributors, and more.public
lambda-diagrams
Animations of lambda term reduction sequences
Haskell
89
5
0
Updated a month ago
public
parsers
Parser Combinators for Dart
Dart
23
10
6
Updated 2 years ago
public
persistent
Efficient Persistent Data Structures for Dart
Dart
21
13
5
Updated 2 years ago
public
propcheck
Exhaustive and randomized testing of Dart properties
Dart
13
5
3
Updated 2 years ago
public
adts
Algebraic Datatypes for Dart
Dart
8
3
5
Updated 2 years ago
public
haltavista
search for haskell functions in libraries by providing input/output examples
Haskell
8
1
0
Updated 2 years ago
public
priority_queue
Priority queue for Dart
Dart
8
2
0
Updated 2 months ago
public
pretty
Pretty-Printing Combinators for Dart
Dart
8
3
2
Updated 2 years ago
public
defunc
Program transformations à la Danvy et al.
Haskell
8
1
0
Updated 2 years ago
public
hgom
haskell port of the gom tool (http://tom.loria.fr)
Haskell
5
0
0
Updated 7 years ago
public
advent-of-code
Solutions to the advent of code problems
Haskell
5
0
0
Updated 9 months ago
public
meta_dart
An interpreter for a multi-stage, functional subset of Dart
Dart
3
1
0
Updated 2 years ago