beltemorth's starred repositories
crop-github-images-cli
Crop image/gif into swag for your Github profile
jooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooj
joooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooj
unleashed-coding.github.io
https://unleashed-coding.github.io
joooooooooooooooooooooooooooooooooooooj.github.io
https://joooooooooooooooooooooooooooooooooooooj.github.io
eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
megaparsec
Industrial-strength monadic parser combinator library
advent-of-code
Solve stuff from the advent of code
vscode-material-icon-theme
Available on the VSCode Marketplace
Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
hacker-rank
Functional Path do hacker Rank
lambda-study-group.github.io
Repo principal do lambda study group :)
awesome-pesquisa
Curated list of research content in portuguese