• Stars
    star
    2
  • Language
    Haskell
  • Created over 6 years ago
  • Updated over 6 years ago

Reviews

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

Repository Details

pokemon type that maintains the invariant of type uniqueness per pokemon

More Repositories

1

theseus

theseus, functional programming language with fully reversible computation
Haskell
111
star
2

nix-std

no-nixpkgs standard library for the nix expression language
Nix
102
star
3

semirings

semirings and *-semirings of types in base/haskell-platform
Haskell
40
star
4

hsdatalog

BDD-based implementation of Datalog
Haskell
33
star
5

pump

reverse dependency build matrix generator
Haskell
31
star
6

shwifty

DEPRECATED: use https://github.com/MercuryTechnologies/moat
Haskell
23
star
7

eigen

Haskell bindings to the Eigen C++ library
C++
16
star
8

nixos-configs

my nixos configs
Nix
14
star
9

streaming-fft

sliding fast fourier transform using haskell streaming
Haskell
13
star
10

ring-buffers

concurrent mutable ring buffers with atomic updates in GHC Haskell
Haskell
11
star
11

patience

Patience diff and longest increasing subsequence
Haskell
11
star
12

string

DEPRECATED: `text` is now UTF-8: https://github.com/haskell/text
Haskell
9
star
13

vector-circular

cycling vectors with O(1) rotation and O(1), total access
Haskell
9
star
14

freq

frequency analysis tool in Haskell
Haskell
8
star
15

haskell-library-picker

domain-based library choice assistant for Haskell
7
star
16

nike

nixos remote installation via `justdoit`
Nix
7
star
17

emmy

custom event manager in ghc haskell
Haskell
7
star
18

st2

ST2 monad as described in the functional pearl "Ghosts of Departed Proofs"
Haskell
6
star
19

diet

discrete interval encoding trees (DIETs) - deprecated in favour of https://github.com/andrewthad/primitive-containers/tree/master/src-diet-map-indef
SMT
6
star
20

we-tha-best-slack

DJ Khaled SlackBot
Haskell
5
star
21

these-skinny

clone of haskell 'these' package without the dependency bloat
Haskell
5
star
22

silvi

Haskell library for generating fake data.
Haskell
5
star
23

hedgehog-generic

GHC Generics automatically derived hedgehog generators
Haskell
5
star
24

lacroix

crack open a cold one with the boys
Haskell
5
star
25

knuckles

generate typeclass test suites using hedgehog-classes and ghc-api
Haskell
4
star
26

grab

fetch hash information for nixpkgs from github repos
Haskell
4
star
27

yi-chessai

my yi configuration
Haskell
4
star
28

bytestring-substring-old

break ByteStrings up into substrings
Haskell
4
star
29

simd

GHC Haskell NCG SIMD library (non-portable)
Haskell
4
star
30

unpacked-either

Haskell
3
star
31

wizard

the wizard monad
Haskell
3
star
32

acme-cuteboy

maybe gives you a cute boy.
Haskell
3
star
33

rose

rose trees
Haskell
3
star
34

dyna

haskell growable vector library
Haskell
3
star
35

std

Haskell
3
star
36

cfr

A Haskell implementation of Counterfactual Regret Minimization for poker
Haskell
3
star
37

plutus-flake-utils

a nix flake for plutus projects
Nix
3
star
38

TicTacToe

TicTacToe (Naughts and Crosses) implementation to learn Haskell
Haskell
3
star
39

gw

ghcWithPackages cmdline util
Haskell
2
star
40

acme-npm

the heart and soul of web development
Haskell
2
star
41

wa

commandline calculator
Haskell
2
star
42

streaming-lz78

Haskell
2
star
43

kafka

Nix
2
star
44

disjoint-sets

Haskell Disjoint Sets (Union Find) Library
Haskell
2
star
45

bytestring-substring

See README for more info
Haskell
2
star
46

chessai

2
star
47

cmf

concurrent (commutative) monoidal folds
Haskell
2
star
48

always

a typeclass that is satisfied by all types, always
Haskell
2
star
49

union-find

rust union find (disjoint sets) library
Rust
2
star
50

morse

Haskell
2
star
51

pong

GHC Haskell command-line ping utility
Haskell
2
star
52

poketext

Haskell
2
star
53

hs-onesixtyone

haskell snmp scanner
Haskell
2
star
54

levity

levity-polymorphic versions of typeclasses in Haskell's `base` library
Haskell
2
star
55

contiguous-mmap

memory map contiguous data structures
Haskell
2
star
56

asn

Haskell
2
star
57

cool

Haskell
2
star
58

useless

useless: random haskell thoughts, either mine or collected from elsewhere
Haskell
2
star
59

contiguous-bogo

package i wrote to annoy @andrewthad
Haskell
2
star
60

reflex-mono

monomorphised reflex
Haskell
2
star
61

rtq

purely functional real time queues in haskell
Haskell
2
star
62

kittypath

typesafe bytestring-based path library with a simpler/"user-friendly" api
Haskell
2
star
63

nvim-configs

Lua
2
star
64

1password-beta-nix

nix expression to test out the 1password beta (linux only)
Nix
2
star
65

unpacked-validation

Haskell
2
star
66

nom

bytearray parser combinators
Haskell
2
star
67

nonempty

lift potentially empty structures to one guaranteed to be nonempty
Haskell
2
star
68

generics-bench

generate modules to benchmark generics deriving
Haskell
1
star
69

gp

openconnect convenience wrapper for globalprotect protocol
Nix
1
star
70

vellian

fibonacci algebra
Haskell
1
star
71

initialize

initializing and deinitializing unmanaged memory of recursive structures
Haskell
1
star
72

bytestring-twiddle

bit-twiddling optimisations on bytestrings
Haskell
1
star
73

wc

See README for more info
Haskell
1
star
74

uuid-uhm

don't use this
Haskell
1
star
75

fractran

[FR]eaking [A]wful [C]rappy fractran interpreter
Haskell
1
star
76

jabber-jaw

Haskell
1
star
77

xmlbf

github fork of xmlbf
Haskell
1
star
78

soylent

never eat food again
Haskell
1
star
79

toposort

Haskell
1
star
80

coerce-util

some utilities for Data.Coerce and some newtype utilities
Haskell
1
star
81

aks

AKS primality test in haskell
Haskell
1
star
82

bazd

Haskell
1
star
83

oxyclean

uses fsnotify to call cargo check on rust projects
Nix
1
star
84

us-weather-history

us weather history data
1
star
85

dependent-map-aeson

aeson instance for dependent-map-Data.Dependent.Map.DMap
Haskell
1
star
86

rstream

vector stream-fusion framework as a package (playground)
Haskell
1
star
87

hjd

hydra jobset configuration diff tool
Haskell
1
star
88

hadamard

Haskell
1
star
89

simple-fft

Haskell
1
star
90

dame

Haskell
1
star
91

bitarray

bitarray supporting efficient writes/reads
Haskell
1
star
92

multihash

Haskell
1
star
93

chessai-summoner

See README for more info
Haskell
1
star
94

yaml-with-cabal-file

don't use this. needed for fetchFromGitHub
Haskell
1
star
95

qsem

simple and general quantity semaphores in ghc haskell
Haskell
1
star
96

pktparse

haskell port of rust's pktparse
Haskell
1
star
97

vflow-types

types for https://github.com/VerizonDigital/vflow
Haskell
1
star
98

hedgehog-classes-old

Haskell
1
star
99

go

Haskell implementation of the Logical Rules of Go
Haskell
1
star
100

afpg

afpg talks
Haskell
1
star