Pinned Repositories
agda_hdl
attenuation
Unidirectional coercions for Haskell
dependent-literals
fin-vec
Go-GLUT
GLUT bindings for Go
Go-OpenGL
Go bindings for OpenGL
go-openid
OpenID implementation in Go
hs
Just an aggregator for the Haskell libraries I maintain. Provides no real code of its own.
portray
A common interface for pretty-printing Haskell values, with Generics-based deriving.
ten
awpr's Repositories
awpr/agda_hdl
awpr/fin-vec
awpr/hs
Just an aggregator for the Haskell libraries I maintain. Provides no real code of its own.
awpr/portray
A common interface for pretty-printing Haskell values, with Generics-based deriving.
awpr/ten
awpr/wai
Haskell Web Application Interface
awpr/attenuation
Unidirectional coercions for Haskell
awpr/dependent-literals
awpr/batching
awpr/collate
awpr/discrimination
Fast linear time sorting and discrimination for a large class of data types
awpr/Fire-Keeper
awpr/grpc-go
The Go language implementation of gRPC. HTTP/2 based RPC
awpr/haskell-indexer
Emits code crossreference data for Haskell sources.
awpr/Hyprland
Hyprland is a highly customizable dynamic tiling Wayland compositor that doesn't sacrifice on its looks.
awpr/indexed
Haskell98 indexed functors, monads, comonads
awpr/indexed-extras
Indexed functors, monads and comonads that require extensions to Haskell98
awpr/jingle
Terse, plain-ASCII music notation targeting MIDI synthesis.
awpr/keyboards
awpr/niche-containers
awpr/noita-salaus
Miscellaneous cryptanalytic utilities relating to the <redacted> in Noita.
awpr/noita-silma-plots
Miscellaneous plots about the <redacted> in Noita.
awpr/numeric-logarithms
Integer and rational logarithms based on integerLog2#.
awpr/orthotope
awpr/proto-lens
API for protocol buffers using modern Haskell language and library patterns. This is not an official Google product.
awpr/qmk_firmware
keyboard controller firmware for Atmel AVR USB family
awpr/reflex-todomvc
awpr/semigroupoids
awpr/tensorflow-haskell
Haskell bindings for TensorFlow
awpr/wrapped