Ecosyste.ms sponsors
An open API service aggregating public data about GitHub Sponsors.
An open API service aggregating public data about GitHub Sponsors.
I work for @leanprover, I love this language :P
Funding Links: https://github.com/sponsors/algebraic-dev
āļø 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
Art from https://www.deviantart.com/princehoneytea
š | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).
Language: Idris - Stars: 46āØ | a simple yet awesome configuration to make MY desktop look and feel amazing
Language: Lua - Stars: 15š® | Is a programming language aimed at incorporating everything Iād like to have in Haskell, except dependent types.
Language: Haskell - Stars: 13š | An experiment to implement UTT-Sigma with exciting extensions like indexed types.
Language: Rust - Stars: 4