rodrigogribeiro

Rodrigo Geraldo Ribeiro's repositories

pcc116-2021-2

Language:JavaScript1000

bcc222-material

Language:Haskell4 1 1

tutoria-bcc222

Materiais da tutoria de BCC222

Language:Haskell400

logic

An adventure on formalising logics using Agda programming language

Language:Agda3 20

tapl-redex

Language:RacketNOASSERTION2 10

denotational

Having some fun with denotational semantics in Agda

Language:Agda1 10

normalization

Formalizing normalization algorithms

Language:Agda1 10

PCC102-2021-1

Language:HTML1 10

pcc116-agda-lib

Agda library for the course PCC116 - Logics in Computer Science

Language:Agda1 10

simple-vm

A simple VM as a language in racket

Language:RacketNOASSERTION1 10

agda-unimath

Univalent mathematics in Agda

Language:CSSMIT000

assignment01-lexer

Language:TeX000

astrovim-config

Astrovim config

000

automata-theory

Language:RacketNOASSERTION010

consistency-coq

Proof of consistency of minimal propositional logics in Coq.

Language:TeX010

definitional-ebpf

Towards a definitional interpreter for ebpf

Language:Agda010

haskell-stack-nix-example

Examples of valid and invalid Stack + Nix integration

MIT000

imp-racket

Language:HTMLNOASSERTION010

libertas

Language:HaskellBSD-3-Clause010

list-machine

Language:TeX010

modal-logic

Language:Agda000

org-agda-mode

An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.

Language:Emacs Lisp000

pcc116-2024-1

Language:Lean000

pcf-gen

Language:HaskellBSD-3-Clause010

peg-racket

A simple implementation of PEGs in Racket

Language:RacketNOASSERTION010