Andor Penzes's repositories
plfa.github.io
An introduction to programming language theory in Agda
Idris2
A purely functional programming language with first class types
idris2-lsp-vscode
Visual Studio Code integration for the Idris 2 language server
idris2-lsp
Language Server for Idris2
kogaku
Optics library for Idris2
order-taking
Idris version of Domain Modeling Made Functional Book.
awesome-ddd
A curated list of Domain-Driven Design (DDD), Command Query Responsibility Segregation (CQRS), Event Sourcing, and Event Storming resources
mario
A javascript clone of Super Mario Bros. for the NES
SPLV20
SPLV20 course notes
cs-video-courses
List of Computer Science courses with video lectures.
plfa-docker
Docker image for Programming Language Foundations in Agda
idris-ct-studies
Basic category theory studies in Idris2
souffle-haskell
Haskell bindings for the Souffle datalog language
LearningCoq
Coq exercises.
coding-interview-university
A complete computer science study plan to become a software engineer.
software-foundations-1
Software Foundations in Idris