oisdk/monus-weighted-search

Stars
16
Rank 1,269,510 (Top 26 %)
Language
Haskell
License
MIT License
Created over 2 years ago
Updated over 1 year ago

oisdk/monus-weighted-search

oisdk

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

Efficient search weighted by an ordered monoid with monus.

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

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

lean-peano

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

prob-presentation

mddoctest

Test code examples in markdown files

recursion-schemes-extras

monadic-heap

SubSum

team-software-project

agda-indexed-fingertree

project-euler

pure-arrays