andorp
FP developer who applies formal methods in software engineering, has a colorful experience from Quality Assurance to Proof Engineering.
https://www.redbubble.com/shop/ap/92458473London, United Kingdom
Pinned Repositories
advent-of-code
ArchaIdr
Classic Arcade games written in Idris compiled to JavaScript.
bead
E-learning snap based server for special teaching purposes
DepPy
Imagine a Dependently Typed Python
IdrisExtSTGCodegen
mini-grin
ICFP tutorial
order-taking
Idris version of Domain Modeling Made Functional Book.
pearls
Some functional pearls from time to time
py-contract
Simple examples from category theory using Python
TaPL
TaPL implementation bits in Idris2
andorp's Repositories
andorp/order-taking
Idris version of Domain Modeling Made Functional Book.
andorp/mini-grin
ICFP tutorial
andorp/IdrisExtSTGCodegen
andorp/TaPL
TaPL implementation bits in Idris2
andorp/pearls
Some functional pearls from time to time
andorp/DepPy
Imagine a Dependently Typed Python
andorp/ArchaIdr
Classic Arcade games written in Idris compiled to JavaScript.
andorp/advent-of-code
andorp/LearningCoq
Coq exercises.
andorp/PLFI
Programming Language Foundations in Idris
andorp/aoc2022
Advent of Code 2022
andorp/dmmf
Examples from the 'Domain Modeling made Functional' book.
andorp/idris-ct-studies
Basic category theory studies in Idris2
andorp/PFDSI
andorp/TheRayTracerChallenge
andorp/AlgebraDrivenDesign
andorp/awesome-ddd
A curated list of Domain-Driven Design (DDD), Command Query Responsibility Segregation (CQRS), Event Sourcing, and Event Storming resources
andorp/coding-interview-university
A complete computer science study plan to become a software engineer.
andorp/cs-video-courses
List of Computer Science courses with video lectures.
andorp/Idris2
A purely functional programming language with first class types
andorp/idris2-lsp
Language Server for Idris2
andorp/idris2-lsp-vscode
Visual Studio Code integration for the Idris 2 language server
andorp/kogaku
Optics library for Idris2
andorp/mario
A javascript clone of Super Mario Bros. for the NES
andorp/plfa-docker
Docker image for Programming Language Foundations in Agda
andorp/plfa-exercises
andorp/plfa.github.io
An introduction to programming language theory in Agda
andorp/software-foundations-1
Software Foundations in Idris
andorp/souffle-haskell
Haskell bindings for the Souffle datalog language
andorp/SPLV20
SPLV20 course notes