Name: Andor Penzes
Type: User
Company: https://www.redbubble.com/shop/ap/92458473
Bio: FP developer who applies formal methods in software engineering, has a colorful experience from Quality Assurance to Proof Engineering.
Twitter: sverien
Location: London, United Kingdom
Blog: patreon.com/AndOrP
Andor Penzes's Projects
hol-agda
hs-bluesnap
A Testing Framework for Haskell
How to Design Programs 2 from EDX combined with shape functors and anamorphisms
Basic category theory studies in Idris2
A purely functional programming language with first class types
Language Server for Idris2
Visual Studio Code integration for the Idris 2 language server
Generic JSON (de)serialization using generics-sop
Optics library for Idris2
A collection of resources for learning type theory.
Coq exercises.
Access database entities through lenses.
A javascript clone of Super Mario Bros. for the NES
ICFP tutorial
Simple monadic framework for python
How Object Oriented programming can be encoded in Haskell
Idris version of Domain Modeling Made Functional Book.
simple functional language to experiment with partial evaluation
Some functional pearls from time to time
Docker image for Programming Language Foundations in Agda
An introduction to programming language theory in Agda
Programming Language Foundations in Idris
Simple examples from category theory using Python
Automatic testing of Haskell programs.
Quickcheck clone JAVA based random testing framework