Geometry Playground is a free ruler and compass Java application for seven geometries. Geometry Playground has been translated into 10 languages.
-
Updated
Mar 19, 2022 - Java
#
postulates
Here are 5 public repositories matching this topic...
Parallel corpus crawler and alignment index across 1,500+ languages, for preserving languages and cultures and connecting people through them. Starts from Bible translations for their unmatched coverage; designed to carry provenance and terms of use with every text. For research, localisation and accessibility.
multilingual corpus parallel-corpus orchestrator low-resource-languages language-preservation postulates hyperpolymath affinescript epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance corpus-crawler information-theoretic
-
Updated
Oct 8, 2026 - HTML
Con este codigo procesaras los datos que obtienes de linkedin.
-
Updated
Jul 31, 2024 - Jupyter Notebook
Agda code for an MFPS 2026 paper
-
Updated
Oct 10, 2026 - HTML
The Counting-Iris Number System: a mechanical, countable definition of numbers, giving a uniquely reliable deduction framework for number theory, analysis, and more
science engineering calculus analysis reliability numbers proofs number-theory conjectures constructive-mathematics postulates unified-field-theory nonstandard-analysis axiomatic-systems
-
Updated
Oct 9, 2026 - TypeScript
Add this topic to your repo
To associate your repository with the postulates topic, visit your repo's landing page and select "manage topics."