oisdk/monus-weighted-search oisdk/monus-weighted-search

  • Stars
    star
    16
  • Rank 1,311,288 (Top 26 %)
  • Language
    Haskell
  • License
    MIT License
  • Created over 3 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
oisdk/monus-weighted-search
github

oisdk

Reviews

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

Repository Details

Efficient search weighted by an ordered monoid with monus.

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

site

Source code for doisinkidney.com
HTML
14
star
5

semiring-num

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

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

Swift
8
star
7

type-indexed-queues

Queues with verified and unverified versions
Haskell
8
star
8

groupBy

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

arity-generic-liftA

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

agda-playground

Agda
7
star
11

finiteness-in-cubical-type-theory

Agda
7
star
12

masters-thesis

Agda
5
star
13

Monty-Hall

Swift
5
star
14

agda-avl

TeX
4
star
15

constrained-monads

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

binary-tree

Haskell
4
star
17

PretendDependSwift

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

agda-ring-solver-report

TeX
3
star
19

lean-peano

Haskell
3
star
20

SwiftTrie

Swift
3
star
21

weighted

WeightedT monad transformer.
Haskell
2
star
22

strict-writer

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

verified-avl

Haskell
2
star
24

hstrie

Haskell
2
star
25

quickselect

implementation of introselect in haskell
Haskell
2
star
26

hakyll-series

Add Series Functionality to Hakyll
Haskell
2
star
27

ConstArray

Swift
1
star
28

difference-monoid

Haskell
1
star
29

puzzles

Haskell
1
star
30

bfs

HTML
1
star
31

agda-binary

Agda
1
star
32

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

Swift
1
star
33

levels-monad

Haskell
1
star
34

agda-poly

Agda
1
star
35

generic-church

Haskell
1
star
36

ContiguousDeque

Swift
1
star
37

mddoctest

Test code examples in markdown files
Haskell
1
star
38

recursion-schemes-extras

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