Rudy Peterson's repositories
Lambda-Calculi-OCaml
Lambda Calculus implementations in OCaml.
Coop-Study-Guide
Study Guide for Concepts of Object-Oriented Programming
Lambda-Calculi-Coq
Lambda-Calculi implementations & proofs in Coq
2-generals
A program that explains the 2-generals problem
Breaking-Java
Java is a broken language that no one should use to build software. Here is why.
Coq-Type-Classes
A library of coq type classes and instances.
TAPL-Haskell
Haskell implementations of type systems as described in Benjamin Pierce's Types and Programming Languages.
agda-categories
A new Categories library for Agda
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Type-Reconstruction
Descriptions & implementations of type-reconstruction/inference algorithms.
Extract-Template
Coq-extraction with dune template
lambda-calculus
A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2
Literary-Review
sacha's docs to review
OCaml-Proj-Template
A template directory for your OCaml projects.
Quine-Quine
Quines in various languages.
rudynicolop.github.io
My personal webpage.
Set-Theory
Set theory as established in Enderton's Elements of Set Theory.
tutorial-code
Source code & exercises in Arend's documentation