Tristan Stérin

M7

C++ 0 0

Updated 2026-03-22 16:57:57 +00:00

Knight2026_lean

Lean 0 0

Lean4 auto formalisation (Opus4.6) of https://ccchallenge.org/#Knight2026

Updated 2026-03-07 08:01:13 +00:00

BohmSontacchi1978_lean

Lean 0 0

Updated 2026-03-06 19:39:02 +00:00

Monks2006_lean

Lean 0 0

Lean formalisation of https://ccchallenge.org/#Monks2006

Updated 2026-03-06 19:38:26 +00:00

polypoly

Python 0 0

Updated 2026-02-06 18:29:07 +00:00

coreli

Jupyter Notebook 0 0

The Collatz Research Library provides tools for experimenting and testing hypothesises related to the Collatz Process.

Updated 2026-02-04 08:58:39 +00:00

branchgpt

JavaScript 0 0

Updated 2026-01-21 13:12:21 +00:00

zengpt

JavaScript 0 0

Hides ChatGPT responses until they are fully generated.

Updated 2025-09-15 08:13:58 +00:00

spendo

OCaml 0 0

Spendo is a command-line tool for tracking daily expenses.

Updated 2025-07-30 14:40:04 +00:00

aretiles

Rust 0 0

Updated 2025-05-18 15:51:01 +00:00

pvgame

JavaScript 1 0

Updated 2025-05-16 10:11:33 +00:00

simcqca

C++ 0 0

A simulator for the Collatz 2D Quasi Cellular Automaton

Updated 2025-05-06 20:18:01 +00:00

retiles

Jupyter Notebook 0 0

Rust library for tiles systems

Updated 2024-11-29 16:28:20 +00:00

cosmix

Python 0 0

Utility to create wet-lab mixes and integrations with third-parties such as Google Sheets

Updated 2023-10-24 14:20:31 +00:00

tinytiles

Python 0 0

Library for manipulating Wang tiles

Updated 2023-07-22 12:18:02 +00:00