mateiadrielrafael
A relic of the past. Reddirects lost travelers towards the proper location of my repos.
Romania
Pinned Repositories
aoc
Advent of code solutions (TODO: copy the ones from previous years here)
keyswirl
All my keyboard-related adventures
matroid-theory-article
First year project about matroid theory
miros
moonlog
Prolog go brrrrr
purescript-run-external-state
Alternative representation for `State` allowing for different interpreters
purescript-switcheroo
Experimental purescript stream library based around indexed monads
resume
Hehe
skylang
Attempt at implementing dependent-elaboration with implicit-arguments
snow
Rank-n-typed type system
mateiadrielrafael's Repositories
mateiadrielrafael/Logic-gate-simulator
This is a simple drag and drop logic gate simulkator made in js by a 14 year old kid:)
mateiadrielrafael/Fased
My entry for the second Blackthornprod game jam
mateiadrielrafael/lunar
Small programming language made for the code community code jam!
mateiadrielrafael/moontorio-old
Implementing the math behind factorio in purescript
mateiadrielrafael/purescript-esbuild-template
Template for purescript projects using esbuild
mateiadrielrafael/steinerlang
lang I'm making for fun in purescript to learn more about type systems
mateiadrielrafael/moontorio
The factory must grow
mateiadrielrafael/distribution
My game for the 3rd edition of the discord game jam
mateiadrielrafael/ecs
Efficient typesafe entity component system
mateiadrielrafael/eix
mateiadrielrafael/flutter-freeform-gradient
mateiadrielrafael/lambda-calculus-visualizations
(Waiting for a pr to get merged)
mateiadrielrafael/loopover
Reliable loopover simulator
mateiadrielrafael/loopoverLeaderboards
mateiadrielrafael/MarbleCalculator
This be marble calculator
mateiadrielrafael/purescript-halogen-template
Template project for getting started with Halogen
mateiadrielrafael/purescript-reverse-state
mateiadrielrafael/purescript-run
(Fork with Parallel instance)
mateiadrielrafael/steiner
Ml style lang I'm making for fun
mateiadrielrafael/ultra32
A vector package using the fast float32array
mateiadrielrafael/wave37
mateiadrielrafael/ygosim