Pedro Abreu

coquedille. A Coq to Cedille compiler written in Coq

JVM. An implementation of the Java Virtual Machine v1.8

MewtwoProject. Pokemon AI to own pokebattles

pedrotheory. OCaml

cs573_finalproj. Jupyter Notebook

stlcequiv. Implementation of Chapter 6 of Advanced Topics of Programming Languages using Coq

openHUD. Open Source Poker HUD

gdb-tutorial. This repo is a gentle introduction to the GNU debugger

cedille. Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

agda. Agda is a dependently typed programming language / interactive theorem prover.

popl20-poster. TeX

coq-of-ocaml. Import OCaml programs to Coq 🐓 🐫

PLGradSchools.

dotfiles. Emacs Lisp

PG. This repo is the new home of Proof General

tt.

saw-script. The SAW scripting language.

nes-emulator. Implementation of a simple NES emulator following a tutorial

s2n. s2n : an implementation of the TLS/SSL protocols

sudoku. Python

spacemacs-layers. Folder with all my private spacemacs layers

tg-ffj. TeX

monografia. Projeto de monografia