Rodrigo Geraldo Ribeiro (@rodrigogribeiro)
github

rodrigogribeiro

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    123
  • Global Rank 178,156 (Top 7 %)
  • Followers 103
  • Following 32
  • Registered about 14 years ago
  • Most used languages
    Agda     24.1 %
    Coq     20.7 %
    TeX
         17.2 %
    Haskell
         17.2 %
    Racket
         6.9 %
    Idris     6.9 %
    JavaScript
         3.4 %
    HTML
         3.4 %

Top repositories

1

agda-software-foundations

Porting of software foundations book to Agda
Agda
36
star
2

unification

Formalisation of a type unification algorithm in Coq proof assistant.
Coq
17
star
3

idrisregexp

Regular expression matching in Idris
Idris
10
star
4

apostila-discreta

Material para Matemática Discreta
TeX
9
star
5

type-theory

Being the materials of type theory course at UFOP
Haskell
8
star
6

tutoria-bcc222

Materiais da tutoria de BCC222
Haskell
4
star
7

coqcourse

Página de um curso introdutório sobre o assistente de provas Coq.
Coq
4
star
8

pcc116-2021-2

JavaScript
3
star
9

logic

An adventure on formalising logics using Agda programming language
Agda
3
star
10

bcc222-material

Haskell
3
star
11

mptc

type inference for haskell
Haskell
3
star
12

regex

TeX
2
star
13

tapl-redex

Racket
2
star
14

BCC244-lecturenotes

Lecture notes for BCC244
TeX
2
star
15

monoid-prover

A reflective tactic for proving monoid equalities in Idris
Idris
2
star
16

agda-tutorial

My solutions to the proposed exercices of a Agda tutorial.
2
star
17

generic

Being a place where rodrigogribeiro study generic programming based on universes on dependently typed languages
Agda
2
star
18

regexvm

TeX
1
star
19

politics

An utility Agda library for politics formalising their speech.
Agda
1
star
20

pcc116-agda-lib

Agda library for the course PCC116 - Logics in Computer Science
Agda
1
star
21

finite_types

A library for defining types with a finite number of inhabitants in Coq.
Coq
1
star
22

simple-vm

A simple VM as a language in racket
Racket
1
star
23

coq-stalin-sort

Formalisation of stalin-sort in Coq
Coq
1
star
24

propostatese

Haskell
1
star
25

UDESC-talk-04-2014

Slides e código para palestra na UDESC em 04/2014
TeX
1
star
26

PCC102-2021-1

HTML
1
star
27

normalization

Formalizing normalization algorithms
Agda
1
star
28

expdsl

Coq
1
star
29

denotational

Having some fun with denotational semantics in Agda
Agda
1
star
30

simple-order

Simple implementation of a lexicographic ordering using Coq module system
Coq
1
star