Rígille S. B. Menezes (@rigille)
github

rigille

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    26
  • Global Rank 542,735 (Top 19 %)
  • Followers 115
  • Following 222
  • Registered over 9 years ago
  • Most used languages
    C++
         18.2 %
    Scheme
         18.2 %
    JavaScript
         9.1 %
    TypeScript
         9.1 %
    Makefile     9.1 %
    C
         9.1 %
    Coq     9.1 %
    HTML
         9.1 %
    Nix
         9.1 %
  • Location 🇧🇷 Brazil
  • Country Total Rank 13,317
  • Country Ranking
    Coq     9
    Scheme
         26
    Makefile     84
    Nix
         84
    C
         1,976
    HTML
         2,046
    C++
         3,636

Top repositories

1

LMC-markets

Market data visualization for Liberty Minecraft
HTML
7
star
2

shannon

it deletes itself
Makefile
6
star
3

packages

My personal package collection
C
3
star
4

rlp-kind

JavaScript
2
star
5

didactica

Miscellaneous projects focused on correctness and (eventually) good documentation
Coq
2
star
6

scheme-strings

repository to play around with strings in chez scheme and optimize them for the kind compiler
Scheme
1
star
7

optimal_calculus

TypeScript
1
star
8

advent-of-code-2023

Advent of Code in Chez Scheme
Scheme
1
star
9

hein

CLI to the hex boardgame
C++
1
star
10

formcore-macros

testing macros to make formcore more concise
1
star
11

nixos-config

Nix code to configure my devices
Nix
1
star
12

telegram-bar-chart-race

Make a bar chart race of your telegram chats
C++
1
star
13

aoc-kind-2021

1
star