Rudy Peterson's repositories

Lambda-Calculi-OCaml

Lambda Calculus implementations in OCaml.

Language:OCamlLicense:MITStargazers:4Issues:1Issues:0

TAPL-Coq

Coq implementations of and proofs of properties of typed-languages in Benjamin Pierce's Types and Programming Languages

Language:CoqStargazers:4Issues:2Issues:0

FFPL-fork

Fork of ETHZ FFPL (because ETHZ won't give me permission on gitlab)

Language:CoqLicense:NOASSERTIONStargazers:3Issues:0Issues:0

Coop-Study-Guide

Study Guide for Concepts of Object-Oriented Programming

Language:TeXLicense:MITStargazers:2Issues:0Issues:0

Lambda-Calculi-Coq

Lambda-Calculi implementations & proofs in Coq

Language:CoqLicense:MITStargazers:2Issues:1Issues:1

2-generals

A program that explains the 2-generals problem

Language:PythonStargazers:1Issues:1Issues:0

Breaking-Java

Java is a broken language that no one should use to build software. Here is why.

Language:JavaStargazers:1Issues:0Issues:0

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.

Language:HaskellStargazers:1Issues:2Issues:0

agda-categories

A new Categories library for Agda

Language:AgdaLicense:MITStargazers:0Issues:0Issues:0

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.

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:0Issues:0

Type-Reconstruction

Descriptions & implementations of type-reconstruction/inference algorithms.

Language:CoqLicense:MITStargazers:0Issues:1Issues:1

Extract-Template

Coq-extraction with dune template

Language:CoqLicense:MITStargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:1Issues:0

lambda-calculus

A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2

Stargazers:0Issues:0Issues:0

Literary-Review

sacha's docs to review

Language:TeXStargazers:0Issues:0Issues:0

OCaml-Proj-Template

A template directory for your OCaml projects.

Language:OCamlStargazers:0Issues:0Issues:0

Quine-Quine

Quines in various languages.

Language:PythonStargazers:0Issues:1Issues:0

rudynicolop.github.io

My personal webpage.

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

Set-Theory

Set theory as established in Enderton's Elements of Set Theory.

Language:AgdaLicense:MITStargazers:0Issues:1Issues:0

tutorial-code

Source code & exercises in Arend's documentation

License:Apache-2.0Stargazers:0Issues:0Issues:0