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