Kwezan/plfa.github.io
Introduction to programming language theory in Agda
Repositories
Kwezan/software-foundations
Software Foundations in Idris
Kwezan/Idris-dev
A Dependently Typed Functional Programming Language
Kwezan/swift-nio
Event-driven network application framework for high performance protocol servers & clients, non-blocking.
Kwezan/core
🌎 Utility package containing tools for byte manipulation, Codable, OS APIs, and debugging.