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/esbuild-plugin-purescript
esbuild integration for PureScript
mateiadrielrafael/purescript-board-game
mateiadrielrafael/Logic-gate-simulator
This is a simple drag and drop logic gate simulkator made in js by a 14 year old kid:)
mateiadrielrafael/map-generator
Procedually generated world maps! 🗺️🌎😄
mateiadrielrafael/doffy
Purescript based canvas rendering framework
mateiadrielrafael/doffycup
The best infoeducatie open 2021 project
mateiadrielrafael/Fased
My entry for the second Blackthornprod game jam
mateiadrielrafael/lunar
Small programming language made for the code community code jam!
mateiadrielrafael/purescript-ask
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/moonita
(ON HOLD) It's a tower defense, with a noita inspired wand system
mateiadrielrafael/moontorio
The factory must grow
mateiadrielrafael/solar-conflux
Personal tinkering space
mateiadrielrafael/visual-studio-paint
Paint-like program with ui inspired by visual studio code 🎨
mateiadrielrafael/matroid-theory-article
First year project about matroid theory
mateiadrielrafael/moonlog
Prolog go brrrrr
mateiadrielrafael/purescript-switcheroo
Experimental purescript stream library based around indexed monads
mateiadrielrafael/skylang
Attempt at implementing dependent-elaboration with implicit-arguments
mateiadrielrafael/.github
mateiadrielrafael/distribution
My game for the 3rd edition of the discord game jam
mateiadrielrafael/doffybox
Project made for infoeducatie open 2020
mateiadrielrafael/ecs
Efficient typesafe entity component system
mateiadrielrafael/flutter-freeform-gradient
mateiadrielrafael/million-prescient-trees
AI for the card game "echo", written in rust
mateiadrielrafael/purescript-reverse-state
mateiadrielrafael/purescript-run-supply
mateiadrielrafael/steiner
Ml style lang I'm making for fun
mateiadrielrafael/ultra32
A vector package using the fast float32array
mateiadrielrafael/wave37