pedrotst

coquedille

A Coq to Cedille compiler written in Coq

cs573_finalproj

pedrotheory

stlcequiv

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

agda

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

cedille

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

coq-of-ocaml

Import OCaml programs to Coq 🐓 🐫

dotfiles

gdb-tutorial

This repo is a gentle introduction to the GNU debugger

PG

This repo is the new home of Proof General

PLGradSchools

popl20-poster

s2n

s2n : an implementation of the TLS/SSL protocols

saw-script

The SAW scripting language.

spacemacs-layers

Folder with all my private spacemacs layers

tt

.doom.d

My Doom Emacs config files

coq-elpi

Coq plugin embedding elpi

coq-haskell

A library for formalizing Haskell types and functions in Coq

coq-idt

Inductive definition transformers

CS565Grader

gitignore

A collection of useful .gitignore templates

gittutorial

homebrew-opam-2dot0

notion-sdk-py

The official Notion API client library, but rewritten in Python! (sync + async)

pedrotst

plfa.github.io

Introduction to programming language theory in Agda

pointers-tutorial

spacemacs

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

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/