rudynicolop

Pinned Repositories

2-generals
A program that explains the 2-generals problem
Language:Python1 1 00
Coop-Study-Guide
Study Guide for Concepts of Object-Oriented Programming
Language:TeX2 1 00
Coq-Type-Classes
A library of coq type classes and instances.
Language:Coq1 1 20
FFPL-fork
Fork of ETHZ FFPL (because ETHZ won't give me permission on gitlab)
Language:Coq3 1 01
Lambda-Calculi-Coq
Lambda-Calculi implementations & proofs in Coq
Language:Coq2 1 10
Lambda-Calculi-OCaml
Lambda Calculus implementations in OCaml.
Language:OCaml4 1 00
TAPL-Coq
Coq implementations of and proofs of properties of typed-languages in Benjamin Pierce's Types and Programming Languages
Language:Coq3 2 01
TAPL-Haskell
Haskell implementations of type systems as described in Benjamin Pierce's Types and Programming Languages.
Language:Haskell1 2 00
Type-Reconstruction
Descriptions & implementations of type-reconstruction/inference algorithms.
Language:Coq0 1 10
petr4
Petr4: Formal Semantics for P4
Language:P479 10 28121

rudynicolop's Repositories

rudynicolop/Lambda-Calculi-OCaml
Lambda Calculus implementations in OCaml.
Language:OCaml4 1 00
rudynicolop/FFPL-fork
Fork of ETHZ FFPL (because ETHZ won't give me permission on gitlab)
Language:Coq3 1 01
rudynicolop/TAPL-Coq
Coq implementations of and proofs of properties of typed-languages in Benjamin Pierce's Types and Programming Languages
Language:Coq3 2 01
rudynicolop/Coop-Study-Guide
Study Guide for Concepts of Object-Oriented Programming
Language:TeX2 1 00
rudynicolop/Lambda-Calculi-Coq
Lambda-Calculi implementations & proofs in Coq
Language:Coq2 1 10
rudynicolop/2-generals
A program that explains the 2-generals problem
Language:Python1 1 00
rudynicolop/Breaking-Java
Java is a broken language that no one should use to build software. Here is why.
Language:Java1 1 00
rudynicolop/Coq-Type-Classes
A library of coq type classes and instances.
Language:Coq1 1 20
rudynicolop/TAPL-Haskell
Haskell implementations of type systems as described in Benjamin Pierce's Types and Programming Languages.
Language:Haskell1 2 00
rudynicolop/agda-categories
A new Categories library for Agda
Language:Agda0 0 00
rudynicolop/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:OCaml0 0 00
rudynicolop/Type-Reconstruction
Descriptions & implementations of type-reconstruction/inference algorithms.
Language:Coq0 1 10
rudynicolop/bigdata-exercises
Exercises for the Big Data lecture at ETH Zurich (Fall 2021)
Language:Jupyter Notebook
rudynicolop/cmp-agda-symbols
Language:Lua0 0
rudynicolop/Extract-Template
Coq-extraction with dune template
Language:Coq
rudynicolop/Imp-Rust
Language:Rust1 0
rudynicolop/iris-tutorial
Language:Coq
rudynicolop/jsoniq-tutorials
A series of JSONiq tutorials
rudynicolop/lambda-calculus
A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2
Language:Coq0 0
rudynicolop/Literary-Review
sacha's docs to review
Language:TeX0 0
rudynicolop/math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
rudynicolop/ocaml-effects-tutorial
Concurrent Programming with Effect Handlers
rudynicolop/OCaml-Proj-Template
A template directory for your OCaml projects.
Language:OCaml
rudynicolop/Quine-Quine
Quines in various languages.
Language:Python1 0
rudynicolop/rudynicolop.github.io
My personal webpage.
Language:JavaScript0 0
rudynicolop/Set-Theory
Set theory as established in Enderton's Elements of Set Theory.
Language:Agda1 0
rudynicolop/tutorial-code
Source code & exercises in Arend's documentation
0 0