Frederik Batuna's repositories
lambda-in-purescript
simple lambda calculus in purescript
memita-p2p-prototype-1
P2P Chat Application
react-materials
Resources for React courses
carte-carte-carte
ugly clone of "slay of spire"
involved-dev
Compendium of best practices, principles and paradigms for professional coding
p2p-chat-electron
p2p chat electron
react-workshop-a
react + hooks + typescript workshop
reducer-composer
compose readucers
roleplay-it
dungwon crawler
spid-cie-oidc-django
The SPID/CIE OIDC Federation SDK, written in Python
idris-2-ui
Declarative UI in Idris 2!
Language:IdrisMIT000
Idris2
A purely functional programming language with first class types
Language:IdrisNOASSERTION000
react-essentials
Various resources needed for frontend deveolpment
Language:TypeScript000