Leibniz equivalence and Liskov substitutability library for Scala.
-
Updated
Mar 28, 2022 - Scala
Leibniz equivalence and Liskov substitutability library for Scala.
Various experimentations at the edge of OCaml's type system
A pi calculator in Lua using the Leibniz formula
Nested Geometric Computation: A Post-Silicon Computational Paradigm
A self-referential knowledge system combining GEB, Chomsky, and Leibniz for structural AI
Report on the dispute between Leibniz and Newton on calculus (History of Mathematics)
A formal system for generating infinite stories from 6 bits — unifying binary logic, archetypal psychology, and alchemical transmutation into 64 narrative archetypes.
🛠️ Explore geometric computation with the NGC Framework, transforming structures in space into a powerful paradigm for understanding reality.
SUBIT is a formal system that unifies binary logic, archetypal psychology, and alchemical transformation into a complete 64-state model of reality. Through XOR transmutations, any state can transform into any other—revealing the Philosopher's Stone as an operation, not an object.
Add a description, image, and links to the leibniz topic page so that developers can more easily learn about it.
To associate your repository with the leibniz topic, visit your repo's landing page and select "manage topics."