oisdk/recursion-schemes-extras oisdk/recursion-schemes-extras

  • Stars
    star
    1
  • Language
    Haskell
  • License
    MIT License
  • Created over 8 years ago
  • Updated almost 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
oisdk/recursion-schemes-extras
github

oisdk

Reviews

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

Repository Details

More Repositories

1

SwiftSequence

A μframework of extensions for SequenceType in Swift 2.0, inspired by Python's itertools, Haskell's standard library, and other things.
Swift
375
star
2

SwiftDataStructures

Data structures in Swift, including a Trie, Tree, List, and Deque
Swift
64
star
3

agda-ring-solver

A fast, easy-to-use ring solver for agda with step-by-step solutions
Agda
38
star
4

monus-weighted-search

Efficient search weighted by an ordered monoid with monus.
Haskell
16
star
5

site

Source code for doisinkidney.com
HTML
14
star
6

semiring-num

library with a semiring class and some useful semirings
Haskell
11
star
7

Using-Protocols-to-Build-a-very-Generic-Deque

Swift
8
star
8

type-indexed-queues

Queues with verified and unverified versions
Haskell
8
star
9

groupBy

An example replacement for Data.List.groupBy
Haskell
8
star
10

arity-generic-liftA

Provides an arity-generic version of the liftA2, liftA3... liftAn functions
Haskell
8
star
11

agda-playground

Agda
7
star
12

finiteness-in-cubical-type-theory

Agda
7
star
13

masters-thesis

Agda
5
star
14

Monty-Hall

Swift
5
star
15

agda-avl

TeX
4
star
16

constrained-monads

A library for monads with constraints over the types they contain
HTML
4
star
17

binary-tree

Haskell
4
star
18

PretendDependSwift

A library for pretending that Swift is dependently typed
Swift
3
star
19

agda-ring-solver-report

TeX
3
star
20

lean-peano

Haskell
3
star
21

SwiftTrie

Swift
3
star
22

weighted

WeightedT monad transformer.
Haskell
2
star
23

strict-writer

Deprecated in favour of http://hackage.haskell.org/package/writer-cps-mtl-0.1.0.0
Haskell
2
star
24

verified-avl

Haskell
2
star
25

hstrie

Haskell
2
star
26

quickselect

implementation of introselect in haskell
Haskell
2
star
27

hakyll-series

Add Series Functionality to Hakyll
Haskell
2
star
28

ConstArray

Swift
1
star
29

difference-monoid

Haskell
1
star
30

puzzles

Haskell
1
star
31

bfs

HTML
1
star
32

agda-binary

Agda
1
star
33

Deques-Queues-and-Lists-in-Swift-with-indirect

Swift
1
star
34

levels-monad

Haskell
1
star
35

agda-poly

Agda
1
star
36

generic-church

Haskell
1
star
37

ContiguousDeque

Swift
1
star
38

mddoctest

Test code examples in markdown files
Haskell
1
star
39

prob-presentation

Python
1
star
40

SubSum

Swift
1
star
41

monadic-heap

Haskell
1
star
42

pure-arrays

Haskell
1
star
43

agda-indexed-fingertree

Agda
1
star
44

team-software-project

Python
1
star
45

project-euler

1
star