Andreas Abel
andreasabel
No bio provided.
vector-space
Vector & affine spaces, linear maps, and derivatives
Updated 6/6/2025
helf
Haskell implementation of the Edinburgh Logical Framework
HaskellUpdated 6/3/2025
ipl
Agda formalization of Intuitionistic Propositional Logic
TeXUpdated 6/2/2025
websockets
A Haskell library for creating WebSocket-capable servers
Updated 6/2/2025
miniagda
A prototypical dependently typed languages with sized types and variances
HaskellUpdated 5/30/2025