Pinned Repositories
dep-typ-lan-scala
dependently-typed-language-ide
flatty
Eat'n'grow or be eaten (a LAN clone of agar.io)
flow-validator
object validation with flow types and more
h5c3j5-course
html5 css3 javascript5 course
jsonastable
Display nested JSON as a readable table
lambda-in-purescript
simple lambda calculus in purescript
version-aware-code
spid-cie-oidc-nodejs
The SPID/CIE OIDC Federation for Node.js
freddi301's Repositories
freddi301/lambda-in-purescript
simple lambda calculus in purescript
freddi301/memita-p2p-prototype-1
P2P Chat Application
freddi301/memita-2
Peer-to-peer chat and microblogging app
freddi301/react-materials
Resources for React courses
freddi301/yall2
freddi301/carte-carte-carte
ugly clone of "slay of spire"
freddi301/chatty
freddi301/dep-typ-lan-scala
freddi301/dependently-typed-language-ide
freddi301/graph-based-programming-language
freddi301/involved-dev
Compendium of best practices, principles and paradigms for professional coding
freddi301/lambda-in-reason
freddi301/my-anime-time-corso-react
freddi301/p2p-chat-app-2
freddi301/p2p-chat-electron
p2p chat electron
freddi301/p2p-network-tools
freddi301/react-workshop-a
react + hooks + typescript workshop
freddi301/reducer-composer
compose readucers
freddi301/roleplay-it
dungwon crawler
freddi301/spid-cie-oidc-django
The SPID/CIE OIDC Federation SDK, written in Python
freddi301/voxel-modeler
freddi301/yall
freddi301/yall3
freddi301/frederik-ai-2023
freddi301/graph-programming-language-may-2023
freddi301/idris-2-ui
Declarative UI in Idris 2!
freddi301/Idris2
A purely functional programming language with first class types
freddi301/idris2-node-dist
freddi301/react-essentials
Various resources needed for frontend deveolpment
freddi301/timesheet-faccende