Skip to content
View joaovaladares's full-sized avatar
:shipit:
:shipit:
  • Pernambuco, Brazil
  • 13:03 (UTC -03:00)

Highlights

  • Pro

Organizations

@inloco

Block or report joaovaladares

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.

252 9 Updated Aug 30, 2024

📚 Biblioteca de livros essenciais da área da programação. (Confira o meu novo projeto `SendScriptWhatsapp`)

10,361 1,609 Updated Nov 5, 2024

Resource gathering + programming game

Haskell 896 66 Updated Nov 26, 2025

Learn Haskell

Makefile 8,016 555 Updated Sep 30, 2023
TeX 14 3 Updated May 7, 2021

📜 Haskell course info, plan, video lectures, slides

Haskell 1,510 62 Updated Jul 9, 2023

😎 A curated list of awesome GitHub Profile which updates in real time

28,513 4,216 Updated Aug 19, 2024

The Physics engine that accompanies the book "Game Physics Engine Design"

C++ 1,048 280 Updated Sep 25, 2023