You must be logged in to sponsor algebraic-sofia
Become a sponsor to Sofia Rodrigues
βοΈ About Me
Hi, I'm a 20yo that likes to program some crazy or useless tools in pure functional programming languages. Currently, I am trying to get a job with some of the languages that i use.
π Things i like
- βοΈ I love magic, like in the movies or games, so I try to do a lot of things related to that.
- π΅ Mainly J-Pop like Gesunokiwamiotome and some other bands like Polyphia.
- ποΈ Sometimes i try to draw.
π€ Languages that i use
- π Idris: Nearly unlimited fun with types and values. But still without a package manager and packages, so sometimes it sucks to make everything from scratch.
- π Haskell: Limited fun but with a cool ecosystem.
- π Javascript: It's useful
Credits
2 sponsors have funded algebraic-sofiaβs work.
Featured work
-
algebraic-sofia/Idris2Noobs
Idris2 para falantes de portugues.
Idris 46 -
algebraic-sofia/UwU
My UwU awesome config
Lua 15 -
algebraic-sofia/nuko
I'm bored so let me write my own adventure in Haskell.
Haskell 13 -
Rust 4