hobwekiva / leibniz Star 36 Code Issues Pull requests Leibniz equivalence and Liskov substitutability library for Scala. dependent-types scala equality gadt variance witnesses liskov-substitution-principle existential-types liskov-subsititution subtyping leibniz propositions-as-types Updated Mar 28, 2022 Scala
Noisytoot / luapi Star 5 Code Issues Pull requests A pi calculator in Lua using the Leibniz formula lua luajit lua-script pi leibniz-formula calculate-pi leibniz pi-calculator luapi Updated Aug 10, 2020 Lua
aureleoules / Pi-Leibniz Star 3 Code Issues Pull requests 🤔 π algorythm using Leibniz Formula pi leibniz Updated Jun 2, 2017 C++
Raffaello / PI-akka-example Star 0 Code Issues Pull requests computing PI with Akka scala akka leibniz Updated Oct 6, 2017 Scala
sebmandal / pi Star 0 Code Issues Pull requests Calculating pi in pi-thon python monte-carlo pi leibniz Updated Apr 4, 2022 Python
AugusteLef / Leibniz-vs-Newton Star 0 Code Issues Pull requests Report on the dispute between Leibniz and Newton on calculus (History of Mathematics) calculus newton history mathematics leibniz Updated Nov 23, 2021