-
bibref Public
A tool that helps discovering internal references in the Bible
-
-
-
-
classroom-proofs Public
A collection of geometry proof files by using automated deduction
UpdatedOct 10, 2024 -
flathub Public
Forked from flathub/flathubIssue tracker and new submissions
GNU Lesser General Public License v2.1 UpdatedSep 26, 2024 -
-
tarski Public
Forked from chriswestbrown/tarskiA system for computing with Tarski Formulas / Semi-Algebraic Sets.
-
gd-art-doc Public
GeoGebra Discovery Automated Reasoning Tools – A Tutorial
TeX GNU General Public License v3.0 UpdatedMay 4, 2024 -
GeoGebraBook2LaTeX Public
Convert GeoGebra books from HTML format to LaTeX/PDF
PHP GNU General Public License v3.0 UpdatedApr 20, 2024 -
-
-
ag Public
Towards an Automated Geometer
-
homebrew-core Public
Forked from Homebrew/homebrew-core🍻 Default formulae for the missing package manager for macOS (or Linux)
Ruby BSD 2-Clause "Simplified" License UpdatedJan 25, 2024 -
realgeom Public
Real geometry tools
-
aris Public
GNU Aris (fork)
-
XaoS Public
Forked from tabhishek432/XaoSReal-time interactive fractal zoomer
-
issac2023-plot2d Public
Presentation on the Plot2D/plot2d commands in GeoGebra Discovery and Tarski (ISSAC 2023)
TeX UpdatedJul 6, 2023 -
chomp-ki Public
Eine Implementation für das Chomp-Spiel gegen künstliche Intelligenz
Python UpdatedJun 23, 2023 -
SR Public
Forked from Center-for-New-Testament-Restoration/SRStatistical Restoration Greek New Testament
-
pyggb Public
Forked from bennorth/pyggbPrototype of Python / GeoGebra interoperability
TypeScript UpdatedMar 13, 2023 -
-
minisat-wasm Public
Forked from glnc/minisat-wasmCompile MiniSat to WebAssembly using emscripten
C++ ISC License UpdatedSep 30, 2022 -
-
probability-python Public
A set of Python self-explaining programs that help learning basics of probability theory
TeX UpdatedMay 17, 2022 -
-
-
BHP Public
Forked from jag3773/BHPBunning Heuristic Prototype Greek New Testament
Python UpdatedApr 16, 2022 -
crosswire-sword-mirror Public
Forked from bibletime/crosswire-sword-mirrorUnofficial Git mirror of the Sword library SVN. Pull requests are not accepted.
C++ Other UpdatedJan 15, 2022 -
ggb-manipulator Public
A set of scripts that help manipulating GeoGebra's .ggb files
Shell UpdatedDec 27, 2021
{{ message }}