• Stars
    star
    14
  • Rank 1,438,076 (Top 29 %)
  • Language
    Nix
  • Created almost 6 years ago
  • Updated over 1 year ago

Reviews

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

Repository Details

my nixos configs

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

streaming-fft

sliding fast fourier transform using haskell streaming
Haskell
13
star
9

ring-buffers

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

patience

Patience diff and longest increasing subsequence
Haskell
11
star
11

string

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

vector-circular

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

freq

frequency analysis tool in Haskell
Haskell
8
star
14

haskell-library-picker

domain-based library choice assistant for Haskell
7
star
15

nike

nixos remote installation via `justdoit`
Nix
7
star
16

emmy

custom event manager in ghc haskell
Haskell
7
star
17

st2

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

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
19

we-tha-best-slack

DJ Khaled SlackBot
Haskell
5
star
20

these-skinny

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

silvi

Haskell library for generating fake data.
Haskell
5
star
22

hedgehog-generic

GHC Generics automatically derived hedgehog generators
Haskell
5
star
23

lacroix

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

knuckles

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

grab

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

yi-chessai

my yi configuration
Haskell
4
star
27

bytestring-substring-old

break ByteStrings up into substrings
Haskell
4
star
28

simd

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

unpacked-either

Haskell
3
star
30

wizard

the wizard monad
Haskell
3
star
31

acme-cuteboy

maybe gives you a cute boy.
Haskell
3
star
32

rose

rose trees
Haskell
3
star
33

dyna

haskell growable vector library
Haskell
3
star
34

std

Haskell
3
star
35

cfr

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

plutus-flake-utils

a nix flake for plutus projects
Nix
3
star
37

TicTacToe

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

gw

ghcWithPackages cmdline util
Haskell
2
star
39

acme-npm

the heart and soul of web development
Haskell
2
star
40

wa

commandline calculator
Haskell
2
star
41

streaming-lz78

Haskell
2
star
42

kafka

Nix
2
star
43

disjoint-sets

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

bytestring-substring

See README for more info
Haskell
2
star
45

chessai

2
star
46

cmf

concurrent (commutative) monoidal folds
Haskell
2
star
47

always

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

union-find

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

morse

Haskell
2
star
50

pong

GHC Haskell command-line ping utility
Haskell
2
star
51

poketext

Haskell
2
star
52

hs-onesixtyone

haskell snmp scanner
Haskell
2
star
53

levity

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

contiguous-mmap

memory map contiguous data structures
Haskell
2
star
55

asn

Haskell
2
star
56

cool

Haskell
2
star
57

useless

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

contiguous-bogo

package i wrote to annoy @andrewthad
Haskell
2
star
59

reflex-mono

monomorphised reflex
Haskell
2
star
60

rtq

purely functional real time queues in haskell
Haskell
2
star
61

kittypath

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

nvim-configs

Lua
2
star
63

1password-beta-nix

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

unpacked-validation

Haskell
2
star
65

poke-type

pokemon type that maintains the invariant of type uniqueness per pokemon
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