Popular repositories Loading

1. kendama_game kendama_game Public

   A short game made with three.js and ammo.js

   JavaScript

2. creative_code creative_code Public

   Processing

3. Many-Valued-Modal-Tableau Many-Valued-Modal-Tableau Public

   Implementation of desicion procedure for validity of many-valued modal logics

   Python

4. tree-of-thought-llm tree-of-thought-llm Public

   Forked from princeton-nlp/tree-of-thought-llm

   Official Implementation of "Tree of Thoughts: Deliberate Problem Solving with Large Language Models"

   Python

5. minimo minimo Public

   Forked from gpoesia/minimo

   Learning Formal Mathematics from Intrinsic Motivation

   Rust

6. PyPantograph PyPantograph Public

   Forked from stanford-centaur/PyPantograph

   A Machine-to-Machine Interaction System for Lean 4.

   Python