Rodrigo Mesquita (@alt-romes)

Top repositories

1

programmer-calculator

Terminal calculator made for programmers working with multiple number representations, sizes, and overall close to the bits
C
521
star
2

hegg

Fast equality saturation in Haskell
Haskell
69
star
3

ghengin

Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine
Haskell
41
star
4

chip8-emulator-for-gameboy

A chip8 emulator made in gameboy assembly for the gameboy
Assembly
14
star
5

calculator-c-parser

A simple implementation of a parser and its use to calculate simple mathematical expressions
C
14
star
6

llvm-c-search

Terminal interface to search the LLVM-C API
Go
12
star
7

minblog

a minimal blog platform using github for hosting content and page
Vue
11
star
8

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
Shell
9
star
9

mermaid-hs

A Haskell library for parsing mermaid diagrams
Haskell
9
star
10

gameboyemulator

simple gameboy emulator
C
8
star
11

slfl

The SILI synthesiser - synthesis of linear functional programs
Haskell
7
star
12

albumsofthemonth

generate a page to display albums. add albums with an npm command. hosted on github
CSS
5
star
13

hackathon-2022

bora
JavaScript
5
star
14

ghc-linear-synthesis-plugin

A GHC plugin for synthesizing Haskell programs from Linear Types using bottom-up proof search in linear logic with focusing
Haskell
4
star
15

c-compiler

Why am I writing another C to LLVM compiler
C
3
star
16

haskell-swift

Haskell x Swift interoperability libraries and tools
Haskell
3
star
17

minecraft-dhall

Draft: Minecraft mod development with Dhall
Haskell
2
star
18

social-index-search-engine

FCT Hackathon 2023 Project
JavaScript
2
star
19

operating-system

C
2
star
20

simplest-godot-dialogues

Simple dialogue controller and example scene
GDScript
2
star
21

linear-core

My master thesis on typechecking linearity in GHC Core, by understanding semantic linearity in the presence of call-by-need evaluation
Haskell
2
star
22

Operator

IPCA Game Jam submission
Python
1
star
23

madjam-2021

Mad Game Jam 2021 Submission [Memories]
GDScript
1
star
24

haskell-ui

Haskell
1
star
25

advent-of-code-2021

LLVM
1
star
26

homebrew-pcalc

homebrew tap for the programmer calculator
Ruby
1
star
27

.vim

minimalist and modern vim configuration with sane settings, handwritten statusline and tabline, small custom plugins, and few external plugins
Vim Script
1
star
28

dotfiles

C
1
star
29

ludum-dare-49

C++
1
star
30

project-euler

Attempts at Project Euler challenges
Haskell
1
star
31

asd-babel-gen

For ASD: Automatically generate entire Babel projects from pseudo-code :)
Haskell
1
star
32

generating-data-for-a-db-project

A simulation of a game to generate data for a project, and other data scraping samples
Python
1
star
33

ldjam45

open sourced submission for the Ludum Dare 45 Game Jam
HTML
1
star
34

papers

TeX
1
star
35

langjam-cdc

A very simple language that when interpreted displays in a graphical window the composition done in the main function (langjam submission)
Haskell
1
star
36

bots

Python
1
star
37

control

setting up home, with extra steps
CSS
1
star
38

pushups-commander

https://alt-romes.github.io/pushups-commander/
Haskell
1
star
39

ggj21

Global Game Jam 2021 submission!
JavaScript
1
star
40

cob-hs

Haskell
1
star