Starred repositories
Haskell Bindings for the OpenCASCADE CAD Kernel + A Declarative CAD/Solid Modeling Library
Corne keyboard, a split keyboard with 3x6 column staggered keys and 3 thumb keys.
(Mirror) S3-compatible object store for small self-hosted geo-distributed deployments. Main repo: https://git.deuxfleurs.fr/Deuxfleurs/garage
Peer-to-peer, editor-agnostic collaborative editing of local text files.
VS Code extension for Haskell, powered by haskell-language-server
A collection of resources for learning type theory and type theory adjacent fields.
Compiler for a small stack-based imperative language, targeting the Piet language.
An experimental programming language that combines effect handlers and implicit parameters
Visualise which gc-roots to delete to free some space in your nix store
a game where you're given a potato and your job is to implement a firmware for it
Automated Smart Meter readings data collection from ESB Ireland registred account (regardless of your current supply provider)
Build retro games using WebAssembly for a fantasy console.
Full code/assets of Anodyne 2: Return to Dust (2019)
nijigenerate is an open source editor for the nijilive puppet format, which is derived from Inochi2D (v0.8) technology. This application allows you to rig models for use in games or for other real-…
High-quality PNGs for logos I made for fun
Cataclysm - Dark Days Ahead. A turn-based survival game set in a post-apocalyptic world.
A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.
Porting Windows Dynamic Link Libraries to Linux