Pinned Loading

1. computability computability Public

   A Lean formalization of the theory of oracle computability and Turing degrees via partial recursive functions

   Lean 8 1

2. Ef55/chicken-pi Ef55/chicken-pi Public

   A toy proof assistant based on pi-forall and Coq

   Haskell 3 1

3. coins coins Public

   Lean implementation and proof of correctness of a dynamic programming algorithm to solve the Bytelandian gold coin problem.

   Lean 1 1

4. par-lang par-lang Public

   Forked from faiface/par-lang

   Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.

   Rust

5. tiger_book tiger_book Public

   WIP Compiler for the Tiger Language Specified in Appel's Modern Compiler Implementation in OCaml, Rust, and Lean

   OCaml