Popular repositories Loading

1. lean-tutorials lean-tutorials Public

   Forked from leanprover-community/tutorials

   Some Lean tutorials

   Lean

2. PyAnvilEditor PyAnvilEditor Public

   Forked from UncleThaodan/PyAnvilEditor

   A python based editor for modifying mca files

   Python

3. odin-recipes odin-recipes Public

   The first Foundations project in The Odin Project

   HTML

4. gamocosm-wrapper gamocosm-wrapper Public

   A Python wrapper around the Gamocosm API

   Python

5. odin-landing odin-landing Public

   Landing page mockup (part of Project Odin)

   CSS

6. odin-rps odin-rps Public

   Simple JS rock-paper-scissors game (part of Project Odin)

   JavaScript