Andor Penzes

icon indicating a website link patreon.com/AndOrP

icon company https://www.redbubble.com/shop/ap/92458473 icon location London, United Kingdom icon location FP developer who applies formal methods in software engineering, has a colorful experience from Quality Assurance to Proof Engineering.

Results 4 repositories owned by Andor Penzes

order-taking

131
Stars
11
Forks
Watchers

Idris version of Domain Modeling Made Functional Book.

verified publisher icon andorp

IdrisExtSTGCodegen

24
Stars
4
Forks
Watchers

verified publisher icon andorp

mini-grin

40
Stars
1
Forks
Watchers

ICFP tutorial

verified publisher icon andorp

TaPL

15
Stars
2
Forks
Watchers

TaPL implementation bits in Idris2

verified publisher icon andorp