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/coquedille
A Coq to Cedille compiler written in Coq
pedrotst/cs573_finalproj
pedrotst/pedrotheory
pedrotst/stlcequiv
Implementation of Chapter 6 of Advanced Topics of Programming Languages using Coq
pedrotst/agda
Agda is a dependently typed programming language / interactive theorem prover.
pedrotst/cedille
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
pedrotst/coq-of-ocaml
Import OCaml programs to Coq 🐓 🐫
pedrotst/dotfiles
pedrotst/gdb-tutorial
This repo is a gentle introduction to the GNU debugger
pedrotst/PG
This repo is the new home of Proof General
pedrotst/PLGradSchools
pedrotst/popl20-poster
pedrotst/s2n
s2n : an implementation of the TLS/SSL protocols
pedrotst/saw-script
The SAW scripting language.
pedrotst/spacemacs-layers
Folder with all my private spacemacs layers
pedrotst/tt
pedrotst/.doom.d
My Doom Emacs config files
pedrotst/coq-elpi
Coq plugin embedding elpi
pedrotst/coq-haskell
A library for formalizing Haskell types and functions in Coq
pedrotst/coq-idt
Inductive definition transformers
pedrotst/CS565Grader
pedrotst/gitignore
A collection of useful .gitignore templates
pedrotst/gittutorial
pedrotst/homebrew-opam-2dot0
pedrotst/notion-sdk-py
The official Notion API client library, but rewritten in Python! (sync + async)
pedrotst/pedrotst
pedrotst/plfa.github.io
Introduction to programming language theory in Agda
pedrotst/pointers-tutorial
pedrotst/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
pedrotst/valgrind
A mirror of the Valgrind library source code (version 3.13.0). This is NOT the official Valgrind source, please find official source at http://valgrind.org/