• Stars
    star
    1
  • Language
    Haskell
  • Created over 8 years ago
  • Updated over 7 years ago

Reviews

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

Repository Details

Understanding Haskell and dependently typed languages in general

More Repositories

1

nixos-wiki

The gitit import of https://nixos.org/wiki/Main_Page
31
star
2

cl-org-mode

Common Lisp
27
star
3

nix-install-vendor-gl

Ensure that a system-compatible OpenGL driver is available for `nix-shell`-encapsulated programs.
Shell
23
star
4

nix-pills-compact-edition

Nix Pills: Compact Edition
Shell
23
star
5

holotype

An attempt to reimagine knowledge interaction.
Haskell
17
star
6

nh

Manage Nix Haskell override sets
Shell
11
star
7

reflex-glfw

A GLFW-b adapter for the Haskell Reflex FRP implementation.
Haskell
11
star
8

weld

A history rewriting tool for git.
Shell
5
star
9

xtrace

Xtrace sniffs X traffic by faking an X server and forwarding all connections to a real X server.
C
4
star
10

nix-head

More pleasant chasing of `ghcHEAD` with Nix
Nix
3
star
11

ld-preload-xcreatewindow-net-wm-pid

Reliable _NET_WM_PID for X windows.
C
3
star
12

executor

Common Lisp
3
star
13

bintype

Common Lisp
2
star
14

bitmop

Common Lisp
2
star
15

semi-precious

Common Lisp
2
star
16

yampa-glfw

An adapter for using GLFW 3 with the Yampa FRP library.
Haskell
2
star
17

cl-io-elf

Common Lisp
2
star
18

youtrack

Access a Jetbrains YouTrack instance.
Haskell
1
star
19

stack2nix

WIP - convert Haskell stack.yaml to nix expression
Haskell
1
star
20

pergamum

Common Lisp
1
star
21

ometa2

Common Lisp
1
star
22

gamesim

Haskell
1
star
23

harum

Haskell
1
star
24

custom-harness

Common Lisp
1
star
25

aadrill

A very early alpha of an aalib-based kdrill clone.
C
1
star
26

gittage

Common Lisp
1
star
27

common-db

Common Lisp
1
star
28

Ruin

A Haskell-based EDSL for describing complex build systems
Haskell
1
star
29

corr

Correlate and query Git branches and YouTrack issues.
Haskell
1
star
30

symtable

Common Lisp
1
star
31

assem

Common Lisp
1
star
32

maxima-graphs

Common Lisp
1
star