kovzol

geogebra-discovery

GeoGebra Discovery

Java-Geometry-Expert

Java Geometry Expert

bibref

A tool that helps discovering internal references in the Bible

aris

GNU Aris (fork)

geogebra

GeoGebra trunk (testing)

realgeom

Real geometry tools

ag

Towards an Automated Geometer

giac-1

SR

Statistical Restoration Greek New Testament

tarski

A system for computing with Tarski Formulas / Semi-Algebraic Sets.

BHP

Bunning Heuristic Prototype Greek New Testament

checkmate

A minimalist chess game

chomp

Chomp (ein Spiel mit dem vergifteten Schokoladenstück)

chomp-ki

Eine Implementation für das Chomp-Spiel gegen künstliche Intelligenz

crosswire-sword-mirror

Unofficial Git mirror of the Sword library SVN. Pull requests are not accepted.

csoamoba

Csőamőba (a variant of the game "Connect 4")

flathub

Issue tracker and new submissions

gd-art-doc

GeoGebra Discovery Automated Reasoning Tools – A Tutorial

GeoGebraBook2LaTeX

Convert GeoGebra books from HTML format to LaTeX/PDF

ggb-manipulator

A set of scripts that help manipulating GeoGebra's .ggb files

homebrew-core

🍻 Default formulae for the missing package manager for macOS (or Linux)

issac2023-plot2d

Presentation on the Plot2D/plot2d commands in GeoGebra Discovery and Tarski (ISSAC 2023)

logik

Logik für Lehramt Mathematik

matt

A minimalist chess game against the computer

minisat-wasm

Compile MiniSat to WebAssembly using emscripten

msys2.github.io

The MSYS2 homepage

probability-python

A set of Python self-explaining programs that help learning basics of probability theory

pyggb

Prototype of Python / GeoGebra interoperability

SierpinskiCube

A Unity implementation to display and discover the Sierpinski Cube

XaoS

Real-time interactive fractal zoomer