dixonary/hake

Stars
2
Language
Haskell
Created about 6 years ago
Updated about 6 years ago

dixonary/hake

dixonary

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

Snake implemented in Haskell with GLOSS and ALUT

draft-reMarkable

A launcher for the reMarkable tablet, which wraps around the standard interface.

fingerterm-reMarkable

A build of fingerterm, modified to draw more nicely on the reMarkable ePaper device.

vimty

A vim typewriter

hove-letter

An implementation of the game Love Letter in the terminal, written in Haskell.

button-capture-reMarkable

A simple program to capture gpio button input on the reMarkable.

vino

A JavaScript visual novel engine.

microcosmos

swipe-capture-reMarkable

A simple program to report left and right swipes as left and right button presses on the reMarkable.

flagon

A 5E-style document formatting and editing tool.

plain-words

ocean-sample

kosaraju

Haskell implementation of Kosaraju's decision procedure for reachability on Vector Addition Systems with States (VASS).

karp-miller

An implementation of the Karp-Miller coverability tree algorithm in Haskell

eurovision-bot

rM-inspirobot

Inspirational quotes on your lock screen.

hatch

Framework code for the introductory FP workshop.

amphi-frontend

Firebase implementation of a watch-along music server.

duvet

A comparative checking framework for VASS coverability solvers.

oeis

An executable program for retrieving data from OEIS.

aoc-2018

Advent of code 2018 (Haskell)

cs261

Software Engineering Group 16

obs-source-controller

A tiny program for showing and hiding OBS sources, using the websocket plugin.

spies

laser-eye-surgery

A game made with Unity in 48 hours for Global Game Jam, using the Tobii EyeX Eye Tracker

aoc-2022

cusp-data-dive

Jupyter Notebook

aoc-2021

Solutions to Advent of Code 2021 in Haskell.

infinite-jest

A mod for infinite-craft that adds multiplayer lockout / bingo gameplay.