• Stars
    star
    1
  • Language
  • Created almost 14 years ago
  • Updated almost 14 years ago

Reviews

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

Repository Details

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

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

puzzlescript-rs

Rust
2
star
27

cpdt-agda

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

ml

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

wordwang2

Haskell
2
star
30

andreaciofi

JavaScript
1
star
31

quatris

Tetris clone with AI and bastard mode
C
1
star
32

swine

🐖
Haskell
1
star
33

2048hs

2048 + AI in Haskell
Haskell
1
star
34

zoli-shake

Haskell
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