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
538
star
2

hegg

Fast equality saturation in Haskell
Haskell
75
star
3

ghengin

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

reference-counting

Reference counting with linear types
Haskell
27
star
5

calculator-c-parser

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

chip8-emulator-for-gameboy

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

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
Swift
13
star
8

llvm-c-search

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

minblog

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

gameboyemulator

simple gameboy emulator
C
8
star
11

mermaid-hs

A Haskell library for parsing mermaid diagrams
Haskell
8
star
12

slfl

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

haskell-swift

Haskell x Swift interoperability libraries and tools
Haskell
7
star
14

albumsofthemonth

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

onory

High-level language embedded in Haskell for specifying distributed algorithms/systems
Haskell
5
star
16

hackathon-2022

bora
JavaScript
5
star
17

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
18

c-compiler

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

minecraft-dhall

Draft: Minecraft mod development with Dhall
Haskell
2
star
20

social-index-search-engine

FCT Hackathon 2023 Project
JavaScript
2
star
21

operating-system

C
2
star
22

simplest-godot-dialogues

Simple dialogue controller and example scene
GDScript
2
star
23

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
24

Operator

IPCA Game Jam submission
Python
1
star
25

haskell-ui

Haskell
1
star
26

cabal-check-det

Developer script to compare objects produced by GHC for a Cabal package
Shell
1
star
27

advent-of-code-2021

LLVM
1
star
28

homebrew-pcalc

homebrew tap for the programmer calculator
Ruby
1
star
29

.vim

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

dotfiles

C
1
star
31

ludum-dare-49

C++
1
star
32

project-euler

Attempts at Project Euler challenges
Haskell
1
star
33

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
34

ldjam45

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

asd-babel-gen

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

papers

TeX
1
star
37

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
38

madjam-2021

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

bots

Python
1
star
40

control

setting up home, with extra steps
CSS
1
star
41

pushups-commander

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

ggj21

Global Game Jam 2021 submission!
JavaScript
1
star
43

cob-hs

Haskell
1
star