Pinned Repositories
brazilian-portuguese
Brazilian portuguese translation [WIP]
coq-of-ocaml
Formal verification for OCaml
coqffj
coquedille
A Coq to Cedille compiler written in Coq
cs573_finalproj
JVM
An implementation of the Java Virtual Machine v1.8
MewtwoProject
Pokemon AI to own pokebattles
openHUD
Open Source Poker HUD
pedrotheory
Kami
Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bluespec. It is actually a complete rewrite of an older version from MIT
pedrotst's Repositories
pedrotst/MewtwoProject
Pokemon AI to own pokebattles
pedrotst/monografia
Projeto de monografia
pedrotst/DatagramExample
fdsafsadf
pedrotst/iron
Coq formalizations of functional languages.
pedrotst/trab1-ai
Git for the first AI assignment
pedrotst/tweet_idol
Python IDOL SDK
pedrotst/twitterp2p
comp2121 second assignment