There are no reviews yet. Be the first to send feedback to the community and the maintainers!
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 typewriterhove-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 Haskelleurovision-bot
rM-inspirobot
Inspirational quotes on your lock screen.hake
Snake implemented in Haskell with GLOSS and ALUThatch
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 16obs-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 Trackeraoc-2022
cusp-data-dive
infinite-jest
A mod for infinite-craft that adds multiplayer lockout / bingo gameplay.Love Open Source and this site? Check out how you can help us