Discover @rodrigogribeiro Open Source projects

Rodrigo Geraldo Ribeiro (@rodrigogribeiro)

rodrigogribeiro

Stars
123
Global Rank 178,781 (Top 7 %)
Followers 103
Following 32
Registered about 14 years ago
Most used languages

Agda 24.1 %

Coq 20.7 %

Haskell
17.2 %

TeX
17.2 %

Idris 6.9 %

Racket
6.9 %

JavaScript
3.4 %

HTML
3.4 %

agda-software-foundations

Porting of software foundations book to Agda

unification

Formalisation of a type unification algorithm in Coq proof assistant.

idrisregexp

Regular expression matching in Idris

apostila-discreta

Material para Matemática Discreta

type-theory

Being the materials of type theory course at UFOP

tutoria-bcc222

Materiais da tutoria de BCC222

coqcourse

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

pcc116-2021-2

logic

An adventure on formalising logics using Agda programming language

bcc222-material

mptc

type inference for haskell

regex

tapl-redex

BCC244-lecturenotes

Lecture notes for BCC244

monoid-prover

A reflective tactic for proving monoid equalities in Idris

agda-tutorial

My solutions to the proposed exercices of a Agda tutorial.

generic

Being a place where rodrigogribeiro study generic programming based on universes on dependently typed languages

regexvm

politics

An utility Agda library for politics formalising their speech.

pcc116-agda-lib

Agda library for the course PCC116 - Logics in Computer Science

finite_types

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

simple-vm

A simple VM as a language in racket

coq-stalin-sort

Formalisation of stalin-sort in Coq

propostatese

UDESC-talk-04-2014

Slides e código para palestra na UDESC em 04/2014

PCC102-2021-1

normalization

Formalizing normalization algorithms

expdsl

denotational

Having some fun with denotational semantics in Agda

simple-order

Simple implementation of a lexicographic ordering using Coq module system