Discover @pedrotst Open Source projects

Pedro Abreu (@pedrotst)

pedrotst

Stars
60
Global Rank 300,258 (Top 11 %)
Followers 137
Following 377
Registered almost 11 years ago
Most used languages

TeX
23.1 %

HTML
15.4 %

Emacs Lisp
15.4 %

Coq 7.7 %

Python
7.7 %

C
7.7 %

C#
7.7 %

Makefile 7.7 %

OCaml
7.7 %
Location 🇺🇸 United States
Country Total Rank 60,090
Country Ranking

Coq 29

OCaml
674

Emacs Lisp
1,499

Makefile 1,937

TeX
2,944

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

openHUD

Open Source Poker HUD

stlcequiv

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

pedrotheory

sudoku

gdb-tutorial

This repo is a gentle introduction to the GNU debugger

dotfiles

monografia

Projeto de monografia

tt

tg-ffj

spacemacs-layers

Folder with all my private spacemacs layers

popl20-poster