oisdk/lean-peano

Stars
3
Rank 3,963,521 (Top 79 %)
Language
Haskell
License
BSD 3-Clause "New...
Created almost 5 years ago
Updated about 3 years ago

oisdk/lean-peano

oisdk

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

SwiftSequence

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

SwiftDataStructures

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

agda-ring-solver

A fast, easy-to-use ring solver for agda with step-by-step solutions

monus-weighted-search

Efficient search weighted by an ordered monoid with monus.

site

Source code for doisinkidney.com

semiring-num

library with a semiring class and some useful semirings

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

type-indexed-queues

Queues with verified and unverified versions

groupBy

An example replacement for Data.List.groupBy

arity-generic-liftA

Provides an arity-generic version of the liftA2, liftA3... liftAn functions

agda-playground

finiteness-in-cubical-type-theory

masters-thesis

Monty-Hall

agda-avl

constrained-monads

A library for monads with constraints over the types they contain

binary-tree

PretendDependSwift

A library for pretending that Swift is dependently typed

agda-ring-solver-report

SwiftTrie

weighted

WeightedT monad transformer.

strict-writer

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

verified-avl

hstrie

quickselect

implementation of introselect in haskell

hakyll-series

Add Series Functionality to Hakyll

ConstArray

difference-monoid

puzzles

bfs

agda-binary

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

levels-monad

agda-poly

generic-church

ContiguousDeque

mddoctest

Test code examples in markdown files

recursion-schemes-extras

prob-presentation

SubSum

monadic-heap

pure-arrays

agda-indexed-fingertree

team-software-project

project-euler