Popular repositories Loading

1. plfa.github.io plfa.github.io Public

   Forked from plfa/plfa.github.io

   Introduction to programming language theory in Agda

   HTML

2. share share Public

   Forked from azadbolour/share

   Agda

3. agda-axiomatic agda-axiomatic Public

   Forked from cruhland/agda-axiomatic

   Building things with records of axioms instead of GADTs

   Agda

4. theorem-proving-in-lean4 theorem-proving-in-lean4 Public

   Forked from cruhland/theorem-proving-in-lean4

   Code samples and worked exercises from https://leanprover.github.io/theorem_proving_in_lean4/

   Lean

5. td-gammon-tf td-gammon-tf Public

   Forked from fomorians/td-gammon

   Implementation of TD-Gammon in TensorFlow.

   Python

6. td-gammon td-gammon Public

   Forked from dellalibera/td-gammon

   TD-Gammon implementation, forked from https://github.com/dellalibera/td-gammon/

   Python