Pinned Loading

1. trasgo trasgo Public

   In Iberian folklore, trasgo / trasno / trasgu is a small mischievous domestic goblin-like creature associated with Galician tradition as well as nearby northern Iberian folklore, so it has a clever…

   JavaScript 2

2. connection_laplacian_lean connection_laplacian_lean Public

   Lean 4 / Mathlib v4.11.0 formalisation of the kernel dimension theory of the Z/2 connection Laplacian on finite simple graphs, with paper

   Python 1

3. IGBundle-LLM IGBundle-LLM Public

   IGBundle LLM is an experimental framework for adapting Large Language Models (LLMs) using concepts from Information Geometry and Sheaf/Bundle Theory.

   Python 1

4. lambda-sat-solver lambda-sat-solver Public

   Certified frame-first SAT middleware — decide structured regions (2-SAT · GF(2) parity · counting) before CDCL, and independently verify every verdict (model replay · DRAT). A research harness for…

   Python 1