Pinned Repositories
echidna
Ethereum smart contract fuzzer
2g1c
Non-consensual Haskell (GHC) JIT
aime-seminar
2018 Pyramid Academy AIME Seminar problems and solutions
aoc-2019
Advent of Code 2019
dotfiles
an actual dotfiles repository
pico2017
picoctf 2017 writeups
profanity
Ncurses based XMPP client
projecteuler-haskell
uiuctf2017
UIUCTF 2017 challenge generators and solutions
weechat
The extensible chat client.
incertia's Repositories
incertia/projecteuler-haskell
incertia/2g1c
Non-consensual Haskell (GHC) JIT
incertia/aoc-2019
Advent of Code 2019
incertia/dotfiles
an actual dotfiles repository
incertia/akochan-reviewer
🀄️ Review your Tenhou log with mahjong AI akochan. 麻雀 AI akochan と一緒に天鳳牌譜を検討しましょう!
incertia/aoc-2020
incertia/aoc-2021-idris
advent of code 2021 in idris2
incertia/AZTEC
Public repository for the AZTEC protocol
incertia/base16-shell
Base16 for Shells
incertia/BeatSaber-SaberTailor
A Beat Saber mod to customize the grip position/angle of the sabers, trail appearance and saber length/width.
incertia/ChroMapper
GitHub repository for ChroMapper, the Unity-based map editor for Beat Saber.
incertia/CountersPlus
A combination of widely-used counters, all configurable in one Beat Saber mod.
incertia/cryptonite
lowlevel set of cryptographic primitives for haskell
incertia/csaw-quals-2019
incertia/dapptools
Dapp, Seth, Hevm, and more
incertia/data-as
Data.As
incertia/elm-syntax-demo
incertia/HitScoreVisualizer
Beat Saber plugin that colors the scores that pop up when you hit notes
incertia/incertia
incertia/Loenn
A Visual Map Maker and Level Editor for the game Celeste but better than the other one
incertia/mahjong-discord-bot
A Discord bot with Mahjong-related functionality.
incertia/mod
Modular arithmetic, promoting moduli to the type level
incertia/polysemy
:gemini: higher-order, no-boilerplate, zero-cost monads
incertia/rspirv
Rust implementation of SPIR-V module processing functionalities
incertia/rust-paillier
A pure-Rust implementation of the Paillier encryption scheme
incertia/semirings
semirings and *-semirings of types in base/haskell-platform
incertia/substrate
Substrate: The platform for blockchain innovators
incertia/unity-testresult-parser
Unity3d TestResults parser
incertia/vulkano
Safe and rich Rust wrapper around the Vulkan API
incertia/xmonad
The core of xmonad, a small but functional ICCCM-compliant tiling window manager