Fuuzetsu/yi-agda

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Haskell
License
GNU General Publi...
Created about 10 years ago
Updated over 8 years ago

Fuuzetsu/yi-agda

Fuuzetsu

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

Agda mode for Yi

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.

torrentinfo

Fork of torrentinfo as released on 30 December 2008 at v1.0.2

ghc-prof-aeson-flamegraph

Turn GHC `-pj` profiling output into FlameGraph format.

.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.

zstd-seekable-s3

zstd-compressed seekable S3 objects

acme-cutegirl

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

yi-haskell-utils

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

jenkinsPlugins2nix

h-booru

Haskell library for retrieving data from various booru image sites

agdoparsec

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

tsuntsun

Interacts with tesseract to ease reading of RAW Japanese manga.

BakaBT-tools

Tools for automating BakaBT

shellcheck-nix-attributes

yi-monokai

Monokai colour scheme for the Yi editor, at least for the Pango back-end.

yukari

Software to allow fetching torrents from AnimeBytes with a terminal, including user preferences.

shakugan-no-haskell

A Shakugan no Shana fangame.

dragon-wars

Android game created as a university project by group 7.

yi-config

My Yi editor configs

free-taiko

Free software port of osu! taiko mode

dptprojects

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

cm20215-cwk2

Source code for coursework 2 of the 2013-2014 CM20215 unit in University of Bath

ImageCraze

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

rusoto-rustls-batch-repro

Repro for broken rustls on recent rusoto

vector-sum-benchmarks

Microbenchmarks for element-wise addition of vectors

cwk2-cm20219-2013

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

pastepipe

CLI for pasting to hpaste.org

hcore

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

hydra-ci

Collection of my release.nix files used by Hydra

parse-gcstats

Parse output of GHC's -t --machine-readable RTS flags.

rtorrent-state

Parsing and manipulation of rtorrent state file contents