• Stars
    star
    1
  • Language
  • Created over 12 years ago
  • Updated over 12 years ago

Reviews

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

Repository Details

(Unofficial) LaTeX beamer style for the University of Kent

More Repositories

1

scion

OLD, DEPRECATED: Use this instead https://github.com/haskell/haskell-ide-engine
Haskell
179
star
2

lambdachine

VM and tracing JIT for Haskell (work in progress)
Haskell
75
star
3

union-find

Efficient union and equivalence testing of sets.
Haskell
28
star
4

atto-lisp

Efficient parsing and encoding of Lisp expressions for Haskell.
Haskell
24
star
5

murmur-hash

[New maintainer needed] MurmurHash2 implementation in Haskell
Haskell
8
star
6

darcs-to-git

Fork of Steve Purcell's darcs-to-git converter from http://git.sanityinc.com/
7
star
7

streamvb

Rust
6
star
8

simple-atom

Haskell
5
star
9

emacs-color-themes

My Emacs colour themes
Emacs Lisp
4
star
10

proofs

Various Coq stuff
3
star
11

home

My home-dir stuff
Emacs Lisp
3
star
12

enumerator

Experiments in enumerator API design
Haskell
3
star
13

emacs

Emacs configurations files and scripts
Emacs Lisp
2
star
14

ghc-uniplate

Uniplate instances for GHC datatypes.
2
star
15

flexcomp

flexcomp
Haskell
2
star
16

sketches

Small experiments
Haskell
2
star
17

scion-tools

Next-gen Scion
Haskell
2
star
18

cake

An open-source, maintainable build system for Haskell (based on Neil Mitchell's Shake).
Haskell
2
star
19

graph-serialize

Serialization of data structures with references to other parts of itself.
Haskell
2
star
20

canonical-filepath

Abstract data type for canonical file paths.
Haskell
2
star
21

rpl

Compiler and type-checker experiments
Haskell
2
star
22

named-lock

A named lock that is created on demand.
Haskell
1
star
23

thesis

1
star
24

13

Because alphabetic names are lame.
1
star
25

flowfield

Experiments with flow fields (for path finding)
Rust
1
star
26

haddock2

Haskell
1
star