rodrigogribeiro

Pinned Repositories

agda-software-foundations
Porting of software foundations book to Agda
Language:Agda37 3 55
apostila-discreta
Material para Matemática Discreta
Language:TeX9 4 754
bcc222-material
Language:Haskell4 1 15
bcc328
Materiais do curso de compiladores.
Language:Haskell4 1 01
coqcourse
Página de um curso introdutório sobre o assistente de provas Coq.
Language:Coq4 2 00
idrisregexp
Regular expression matching in Idris
Language:Idris11 1 12
pcc116-2021-2
Language:JavaScript10 1 11
tutoria-bcc222
Materiais da tutoria de BCC222
Language:Haskell4 2 33
type-theory
Being the materials of type theory course at UFOP
Language:Haskell8 4 00
unification
Formalisation of a type unification algorithm in Coq proof assistant.
Language:Coq18 3 01

rodrigogribeiro's Repositories

rodrigogribeiro/pcc116-2021-2
Language:JavaScript10 1 11
rodrigogribeiro/bcc222-material
Language:Haskell4 1 15
rodrigogribeiro/bcc328
Materiais do curso de compiladores.
Language:Haskell4 1 01
rodrigogribeiro/pcc116-2024-1
Language:Lean2 2 0
rodrigogribeiro/tapl-redex
Language:Racket2 1 0
rodrigogribeiro/normalization
Formalizing normalization algorithms
Language:Agda1 1 0
rodrigogribeiro/pattern-compiler
Language:Haskell1
rodrigogribeiro/PCC102-2021-1
Language:HTML1 1 0
rodrigogribeiro/pcc116-agda-lib
Agda library for the course PCC116 - Logics in Computer Science
Language:Agda1 1 0
rodrigogribeiro/simple-vm
A simple VM as a language in racket
Language:Racket1 1 0
rodrigogribeiro/solcore
Language:Haskell12
rodrigogribeiro/templates
1
rodrigogribeiro/agda-unimath
Univalent mathematics in Agda
Language:CSS0 0
rodrigogribeiro/assignment01-lexer
Language:TeX1 0
rodrigogribeiro/astrovim-config
Astrovim config
Language:Lua0 0
rodrigogribeiro/automata-theory
Language:Racket1 0
rodrigogribeiro/haskell-exam-autograding
Template repository for Haskell exams and projects. Includes GitHub Autograding action.
Language:Shell0 0
rodrigogribeiro/haskell-stack-nix-example
Examples of valid and invalid Stack + Nix integration
Language:Nix0 0
rodrigogribeiro/imp-racket
Language:HTML1 01
rodrigogribeiro/libertas
Language:Haskell1 0
rodrigogribeiro/lyule
Language:Lean1 0
rodrigogribeiro/modal-logic
Language:Agda1 0
rodrigogribeiro/nixos-config
My configuration for nixos.
rodrigogribeiro/org-agda-mode
An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.
Language:Emacs Lisp0 0
rodrigogribeiro/pcf-gen
Language:Haskell1 0
rodrigogribeiro/peg-racket
A simple implementation of PEGs in Racket
Language:Racket1 0
rodrigogribeiro/rodrigogribeiro.github.io
My website
Language:JavaScript1 1
rodrigogribeiro/spacemacs.d
rich Clojure & LSP config for Spacemacs
Language:Emacs Lisp0 0
rodrigogribeiro/theorem_proving_in_lean4
Theorem Proving in Lean 4
rodrigogribeiro/vimrc
The ultimate Vim configuration (vimrc)
Language:Vim Script0 0