incertia

projecteuler-haskell

2g1c

Non-consensual Haskell (GHC) JIT

aoc-2019

Advent of Code 2019

dotfiles

an actual dotfiles repository

akochan-reviewer

🀄️ Review your Tenhou log with mahjong AI akochan. 麻雀 AI akochan と一緒に天鳳牌譜を検討しましょう！

aoc-2020

aoc-2021-idris

advent of code 2021 in idris2

AZTEC

Public repository for the AZTEC protocol

base16-shell

Base16 for Shells

BeatSaber-SaberTailor

A Beat Saber mod to customize the grip position/angle of the sabers, trail appearance and saber length/width.

ChroMapper

GitHub repository for ChroMapper, the Unity-based map editor for Beat Saber.

CountersPlus

A combination of widely-used counters, all configurable in one Beat Saber mod.

cryptonite

lowlevel set of cryptographic primitives for haskell

csaw-quals-2019

dapptools

Dapp, Seth, Hevm, and more

data-as

Data.As

elm-syntax-demo

HitScoreVisualizer

Beat Saber plugin that colors the scores that pop up when you hit notes

incertia

Loenn

A Visual Map Maker and Level Editor for the game Celeste but better than the other one

mahjong-discord-bot

A Discord bot with Mahjong-related functionality.

mod

Modular arithmetic, promoting moduli to the type level

polysemy

:gemini: higher-order, no-boilerplate, zero-cost monads

rspirv

Rust implementation of SPIR-V module processing functionalities

rust-paillier

A pure-Rust implementation of the Paillier encryption scheme

semirings

semirings and *-semirings of types in base/haskell-platform

substrate

Substrate: The platform for blockchain innovators

unity-testresult-parser

Unity3d TestResults parser

vulkano

Safe and rich Rust wrapper around the Vulkan API

xmonad

The core of xmonad, a small but functional ICCCM-compliant tiling window manager