Rodrigo Mesquita

programmer-calculator. Terminal calculator made for programmers working with multiple number representations, sizes, and overall close to the bits

hegg. Fast equality saturation in Haskell

ghengin. Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine

reference-counting. Reference counting with linear types

calculator-c-parser. A simple implementation of a parser and its use to calculate simple mathematical expressions

haskell-x-swift-project-steps. A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog post

chip8-emulator-for-gameboy. A chip8 emulator made in gameboy assembly for the gameboy

llvm-c-search. Terminal interface to search the LLVM-C API

minblog. a minimal blog platform using github for hosting content and page

haskell-swift. Haskell x Swift interoperability libraries and tools

gameboyemulator. simple gameboy emulator

mermaid-hs. A Haskell library for parsing mermaid diagrams

slfl. The SILI synthesiser - synthesis of linear functional programs

hackathon-2022. bora

albumsofthemonth. generate a page to display albums. add albums with an npm command. hosted on github

ghc-linear-synthesis-plugin. A GHC plugin for synthesizing Haskell programs from Linear Types using bottom-up proof search in linear logic with focusing

onory. High-level language embedded in Haskell for specifying distributed algorithms/systems

c-compiler. Why am I writing another C to LLVM compiler

linear-core. My master thesis on typechecking linearity in GHC Core, by understanding semantic linearity in the presence of call-by-need evaluation

minecraft-dhall. Draft: Minecraft mod development with Dhall

operating-system. C

simplest-godot-dialogues. Simple dialogue controller and example scene

.vim. minimalist and modern vim configuration with sane settings, handwritten statusline and tabline, small custom plugins, and few external plugins

social-index-search-engine. FCT Hackathon 2023 Project

cob-hs. Haskell

papers. TeX

pushups-commander. https://alt-romes.github.io/pushups-commander/

activobank-hs. ActivoBank interface in Haskell

advent-of-code-2021. LLVM

ghc-error-messages. Haskell

go-libp2p-kad-dht. A Kademlia DHT implementation on go-libp2p

go-libp2p-kbucket. A kbucket implementation for use as a routing table

haskell-ui. Haskell

asd-babel-gen. For ASD: Automatically generate entire Babel projects from pseudo-code :)

cabal-check-det. Developer script to compare objects produced by GHC for a Cabal package

hs-xcframework-simple-demo. Swift

kanji-bakuhatsu. [Mirror - Github Pages] Provide the "exploded view" of a kanji character, and show relations to kanji sharing those components.

langjam-cdc. A very simple language that when interpreted displays in a graphical window the composition done in the main function (langjam submission)

control. setting up home, with extra steps

CompetitiveProgramming. A collection of algorithms, data structures and other useful information for competitive programming.

ludum-dare-49. C++

pywal. 🎨 Generate and change color-schemes on the fly.

picom. A lightweight compositor for X11

mooneye-gb. A Game Boy research project and emulator written in Rust

madjam-2021. Mad Game Jam 2021 Submission [Memories]

dotfiles. C

ticker. Terminal stock ticker with live updates and position tracking

jamdict. Jamdict - A Python library Japanese dictionary empowered by JMDict & KanjiDic2 by Jim Breen

shellcheck. ShellCheck, a static analysis tool for shell scripts