Discover @alt-romes Open Source projects

Rodrigo Mesquita (@alt-romes)

alt-romes

Stars
851
Global Rank 35,733 (Top 2 %)
Followers 170
Following 468
Registered over 8 years ago
Most used languages

Haskell
37.2 %

C
14.0 %

Python
7.0 %

JavaScript
7.0 %

CSS
4.7 %

GDScript 4.7 %

Go
2.3 %

Vim Script
2.3 %

Assembly
2.3 %

Ruby
2.3 %

TeX
2.3 %

HTML
2.3 %

Swift
2.3 %

C++
2.3 %

Shell
2.3 %

LLVM 2.3 %

Vue 2.3 %
Location 🇵🇹 Portugal
Country Total Rank 147
Country Ranking

Haskell
1

LLVM 2

C
4

Assembly
11

GDScript 12

Vue 29

Swift
64

Go
84

Vim Script
97

CSS
114

TeX
132

Ruby
366

Shell
518

JavaScript
865

C++
877

HTML
961

Python
1,218

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

chip8-emulator-for-gameboy

A chip8 emulator made in gameboy assembly for the gameboy

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

llvm-c-search

Terminal interface to search the LLVM-C API

minblog

a minimal blog platform using github for hosting content and page

gameboyemulator

simple gameboy emulator

mermaid-hs

A Haskell library for parsing mermaid diagrams

slfl

The SILI synthesiser - synthesis of linear functional programs

haskell-swift

Haskell x Swift interoperability libraries and tools

albumsofthemonth

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

onory

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

hackathon-2022

ghc-linear-synthesis-plugin

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

c-compiler

Why am I writing another C to LLVM compiler

minecraft-dhall

Draft: Minecraft mod development with Dhall

social-index-search-engine

FCT Hackathon 2023 Project

operating-system

simplest-godot-dialogues

Simple dialogue controller and example scene

linear-core

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

Operator

IPCA Game Jam submission

haskell-ui

cabal-check-det

Developer script to compare objects produced by GHC for a Cabal package

advent-of-code-2021

homebrew-pcalc

homebrew tap for the programmer calculator

.vim

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

dotfiles

ludum-dare-49

project-euler

Attempts at Project Euler challenges

generating-data-for-a-db-project

A simulation of a game to generate data for a project, and other data scraping samples

ldjam45

open sourced submission for the Ludum Dare 45 Game Jam

asd-babel-gen

For ASD: Automatically generate entire Babel projects from pseudo-code :)

papers

langjam-cdc

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

madjam-2021

Mad Game Jam 2021 Submission [Memories]

bots

control

setting up home, with extra steps

pushups-commander

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

ggj21

Global Game Jam 2021 submission!

cob-hs