• Stars
    star
    2
  • Language
    Rust
  • Created almost 6 years ago
  • Updated almost 6 years ago

Reviews

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

Repository Details

More Repositories

1

pipes-speed-test

Assembly
160
star
2

wadump

Small utility to dump data from the multi-device WhatsApp web client.
JavaScript
57
star
3

suggest

Simple auto completion web server
JavaScript
33
star
4

mazzo.li

Source for https://mazzo.li
Haskell
28
star
5

tog

Haskell
25
star
6

hakyll-agda

Hakyll support for Agda literate files
Haskell
19
star
7

zurihac-plays

Haskell
12
star
8

sundown

Haskell bindings to the sundown markdown library
C
12
star
9

ml-w

Minimal ML language to to demonstrate the W type infererence algorithm
Haskell
11
star
10

ny-haskell-agda

Code and slides form my talk at NY Haskell
Agda
9
star
11

anapo

Haskell
8
star
12

micrograd-ad

Haskell
8
star
13

kant

Core dependent language based on OTT (someday)
Haskell
7
star
14

x62-fancontrol

C
7
star
15

agdastuff

Assorted Agda code.
Haskell
7
star
16

haskell-readability

Short article about Haskell, python, and readability
Haskell
7
star
17

bson-mapping

type safe mapping between algebraic data types and bson documents.
Haskell
6
star
18

pitch-control

Haskell
6
star
19

reskell

A clone of hacker news in happstack
Haskell
4
star
20

kyotocabinet

Mid level Haskell bindings to KyotoCabinet
Haskell
4
star
21

language-spelling

Haskell library meant to be a set of tools to correct spelling mistakes, homophones, and OCR errors
Haskell
4
star
22

YouTubePlayer

MooTools class that wraps the YouTube player JavaScript API.
JavaScript
3
star
23

malice

Compiler for a really special language.
Haskell
2
star
24

troppotardi

Python
2
star
25

hs-cam-filter

Haskell
2
star
26

cpdt-agda

Partial translation of http://adam.chlipala.net/cpdt/ in Agda
2
star
27

ml

Parser/TypeChecker/Compiler for a simple flavour of ML.
Haskell
2
star
28

wordwang2

Haskell
2
star
29

andreaciofi

JavaScript
1
star
30

quatris

Tetris clone with AI and bastard mode
C
1
star
31

swine

🐖
Haskell
1
star
32

2048hs

2048 + AI in Haskell
Haskell
1
star
33

zoli-shake

Haskell
1
star
34

fancontrol

Stupid fancontrol script, since nothing else seems to work for me.
1
star
35

dependencies

Analyze module dependencies in erlang apps
Erlang
1
star
36

ghc-timers

Haskell
1
star
37

dogfights

Rust
1
star
38

gogh

Haskell templates, similar to Google Closure templates
Haskell
1
star