oisdk/semiring-num oisdk/semiring-num

  • Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language
    Haskell
  • License
    MIT License
  • Created about 8 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
oisdk/semiring-num
github

oisdk

Reviews

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

Repository Details

library with a semiring class and some useful semirings

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

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