Pinned Loading

1. lean-auto lean-auto Public

   Forked from leanprover-community/lean-auto

   Experiments on automation for Lean

   Lean

2. QuerySMT QuerySMT Public

   Forked from JOSHCLUNE/QuerySMT

   Lean

3. Advent-Of-Code-2024 Advent-Of-Code-2024 Public

   Advent of Code 2024 Solutions

   Python

4. Chess-Trainer Chess-Trainer Public

   A website that uses human-like chess engines to let you play against interesting styles.

   Python

5. Autonomous-Agents Autonomous-Agents Public

   A test in simulating autonomous agents algorithmically.

   C

6. AI-Tag AI-Tag Public

   A game where AI tries to learn to either get past you or block you. It learns from your play.

   JavaScript