Zbigniew Stanasiuk

Introduction to programming language theory in Agda

Software Foundations in Idris

A Dependently Typed Functional Programming Language

Event-driven network application framework for high performance protocol servers & clients, non-blocking.

🌎 Utility package containing tools for byte manipulation, Codable, OS APIs, and debugging.