Topsii's repositories
halo-live-stream
Flash client for (live) 3D-Replays of Halo: Combat Evolved (PC) multiplayer games with spectator controlled camera
aura
A secure, multilingual package manager for Arch Linux and the AUR.
bifunctors
Haskell 98 bifunctors, bifoldables and bitraversables
blanks
Fill-in-the-blanks - A library factoring out substitution from ASTs
fgl
A Functional Graph Library for Haskell
foldl
Composable, streaming, and efficient left folds
ForestStructures
Tree and forest structures in Haskell
foundation
Empire strikes back
futhark
:boom::computer::boom: A data-parallel functional programming language
generic-data
Generic data types in Haskell
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
hgeometry
HGeometry is a library for computing with geometric objects in Haskell.
JavascriptSubtitlesOctopus
Displays subtitles in .ass format and easily integrates with HTML5 videos. Supports all SSA/ASS features.
linear-generics
Support for linearly-typed generics in Haskell
min-depth-sn
Experimental implementation of approaches proposed in my theses to prove the optimal depth of small sorting networks
pgp-wordlist
Translate between binary data and a human-readable collection of words.
quantified-constraints-type-families
Small example to reproduce an issue in GHCi and HLS issue on GHC 9.8+ involving a type family in a quantified constraint
quickcheck-classes
Quickcheck Properties for common typeclasses