• Stars
    star
    18
  • Rank 1,203,778 (Top 24 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 6 years ago
  • Updated about 6 years ago

Reviews

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

Repository Details

Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.

More Repositories

1

diaspy

Python API for Diaspora (unofficial)
Python
27
star
2

dotfiles

various dotfiles
Haskell
24
star
3

lrucaching

Haskell implementation of an LRU cache
Haskell
24
star
4

nanovg-hs

NanoVG Haskell bindings
C
22
star
5

reactand

Tiling window manager for wayland
Haskell
16
star
6

postgresql-named

Deserialize PostgreSQL rows to Haskell records by matching column names and record field names
Haskell
13
star
7

hasql-notifications

Support for PostgreSQL notifications in hasql
Haskell
10
star
8

diagrams-miso

Miso backend for the diagrams Haskell graphics library
Haskell
9
star
9

llvm-hs-jit-external-lib

Haskell
8
star
10

robinhood

A Haskell implementation of a Robinhood hashtable
Haskell
8
star
11

smt-pretty

Haskell
7
star
12

miso-middleware

Haskell
7
star
13

rss2diaspora-hs

rss2diaspora haskell version
Haskell
7
star
14

nix-miso-template

Haskell
6
star
15

ghcjs-fetch

Haskell (GHCJS) bindings for the JavaScript Fetch API
Haskell
6
star
16

riscv-isa

Haskell representation of the RISC-V instruction set architecture
Haskell
6
star
17

diagrams-nanovg

Diagrams NanoVG backend
Haskell
5
star
18

servant-match

Haskell
4
star
19

toy-linker

Rust
4
star
20

postgres-tmp

Haskell library for creating temporary postgresql databases
Haskell
4
star
21

llreve-backend

Haskell
4
star
22

pfpl-redex

Racket
4
star
23

jamendodownloader

Write the links to all Album from one Artist on Jamendo in to one file which you can then download using wget
Python
3
star
24

emacs-keys

Haskell package to parse emacs style keybindings
Haskell
3
star
25

rss_to_diaspora

An rss-bot which posts new items on diaspora.
Python
3
star
26

ioref-stable

Orderable references for haskell
Haskell
2
star
27

purelyfunctional-blog

Haskell
2
star
28

llvm-tablegen

Haskell
2
star
29

ccmixterdownloader

Write the downloadlinks off all songs of an artist on ccmixter to a file which you can then download with your favourite downloadmanager
Python
2
star
30

haskell-snippets

Haskell
2
star
31

wlc-hs

Haskell bindings for the wlc library
Haskell
2
star
32

diagrams-collection

Collection of haskell diagrams
Haskell
2
star
33

reduceq

Haskell
2
star
34

horname

Haskell
1
star
35

seccomp

Haskell
1
star
36

system-locale

Read system locales from Haskell
Haskell
1
star
37

ml-experiments

ml-experiments
Haskell
1
star
38

warp-bug

Haskell
1
star
39

pdf-foobar

Haskell
1
star
40

wfc-hs

Haskell
1
star
41

midisplit

splits midi input by channel to different outputs
C
1
star
42

ludolib

A library of game utilities.
Haskell
1
star
43

vacation-trigger

1
star