• Stars
    star
    1
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created almost 11 years ago
  • Updated almost 11 years ago

Reviews

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

Repository Details

Haskell port of all the Miranda code from the 1992 publication of ‘Implementing Functional Languages’ by Simon Peyton Jones and David Lester.

More Repositories

1

nix-project-defaults

I like to work inside nix-shell and I'd like to git track my .nix files for projects but I don't want to push my .nix files upstream. Here's a collection of the .nix files that I can just symlink to from projects.
Nix
30
star
2

torrentinfo

Fork of torrentinfo as released on 30 December 2008 at v1.0.2
Python
15
star
3

ghc-prof-aeson-flamegraph

Turn GHC `-pj` profiling output into FlameGraph format.
Haskell
13
star
4

.emacs.d

My .emacs.d directory, starting fresh. My emacs got really full on stuff I didn't always use so I think it'll be better in the long run to rewrite it and know everything in it.
Emacs Lisp
11
star
5

zstd-seekable-s3

zstd-compressed seekable S3 objects
Rust
10
star
6

acme-cutegirl

A package which exists solely to try and give the user a cute girl. Executable and library are both available.
Haskell
10
star
7

yi-haskell-utils

Utility functions for working with Haskell in Yi. Avoids clutter in the core.
Haskell
9
star
8

jenkinsPlugins2nix

Haskell
8
star
9

h-booru

Haskell library for retrieving data from various booru image sites
Haskell
6
star
10

agdoparsec

Agda implementation of what aims to model the behaviour of Haskell's Attoparsec library.
Agda
5
star
11

tsuntsun

Interacts with tesseract to ease reading of RAW Japanese manga.
Haskell
5
star
12

BakaBT-tools

Tools for automating BakaBT
Python
5
star
13

yi-agda

Agda mode for Yi
Haskell
4
star
14

shellcheck-nix-attributes

Nix
4
star
15

yi-monokai

Monokai colour scheme for the Yi editor, at least for the Pango back-end.
Haskell
3
star
16

yukari

Software to allow fetching torrents from AnimeBytes with a terminal, including user preferences.
Haskell
3
star
17

shakugan-no-haskell

A Shakugan no Shana fangame.
Haskell
3
star
18

dragon-wars

Android game created as a university project by group 7.
Java
2
star
19

yi-config

My Yi editor configs
Haskell
2
star
20

free-taiko

Free software port of osu! taiko mode
Haskell
1
star
21

dptprojects

List of projects that one can go and hack on for greater good.
1
star
22

cm20215-cwk2

Source code for coursework 2 of the 2013-2014 CM20215 unit in University of Bath
Java
1
star
23

ImageCraze

Project that focuses on download of and possibly scrape of images off multiple image host services.
Python
1
star
24

rusoto-rustls-batch-repro

Repro for broken rustls on recent rusoto
Rust
1
star
25

vector-sum-benchmarks

Microbenchmarks for element-wise addition of vectors
Haskell
1
star
26

cwk2-cm20219-2013

Source code for the CM20219 unit of 2013 in UoB: coursework 2 (cube viewer + parametric curve)
Haskell
1
star
27

pastepipe

CLI for pasting to hpaste.org
Haskell
1
star
28

hydra-ci

Collection of my release.nix files used by Hydra
Nix
1
star
29

parse-gcstats

Parse output of GHC's -t --machine-readable RTS flags.
Haskell
1
star
30

rtorrent-state

Parsing and manipulation of rtorrent state file contents
Haskell
1
star