Rodrigo Mesquita's Projects
Attempts at Project Euler challenges
https://alt-romes.github.io/pushups-commander/
🎨 Generate and change color-schemes on the fly.
Open-source keyboard firmware for Atmel AVR and Arm USB families
Generalized bananas, lenses and barbed wire
Reference counting with linear types
Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!
ShellCheck, a static analysis tool for shell scripts
Math and physical computing utilities for hobby robots
Simple dialogue controller and example scene
The SILI synthesiser - synthesis of linear functional programs
FCT Hackathon 2023 Project
Reading, writing and manipulating ".tar" archive files.
A simple Python 3 CLI to read your Things app data.
Terminal stock ticker with live updates and position tracking
Tomorrow Theme now lives on at https://github.com/chriskempson/base16
Topologically ordered lists of kanji for effective learning
Visualization of Haskell data structures
Existential witnesses, singletons, and classes for operations on GHC TypeLits
Haskell bindings for Vulkan
Haskell Wavefront OBJ loader library
www.haskell.org site source