kovzol

Assistant professor at The Private University College of Education of the Diocese of Linz, Institute of Initial Teacher Training (Austria)

The Private University College of Education of the Diocese of LinzLinz, Austria

Pinned Repositories

ag
Towards an Automated Geometer
Language:HTML2 3 01
aris
GNU Aris (fork)
Language:C6 3 123
bibref
A tool that helps discovering internal references in the Bible
Language:C++19 5 141
geogebra
GeoGebra trunk (testing)
Language:Java4 3 03
geogebra-discovery
GeoGebra Discovery
Language:Shell19 3 64
gg-art-doc
GeoGebra Automated Reasoning Tools – A Tutorial
Language:TeX7 3 00
Java-Geometry-Expert
Java Geometry Expert
Language:Java27 3 3016
lsp2js
A Lisp to Javascript converter for command line compilations
Language:JavaScript3 4 00
lxx
Find citations of the Septuagint in the Greek New Testament
Language:C++10 4 01
realgeom
Real geometry tools
Language:Java3 4 50

kovzol's Repositories

kovzol/Java-Geometry-Expert
Java Geometry Expert
Language:Java27 3 3016
kovzol/bibref
A tool that helps discovering internal references in the Bible
Language:C++19 5 141
kovzol/geogebra-discovery
GeoGebra Discovery
Language:Shell19 3 64
kovzol/aris
GNU Aris (fork)
Language:C6 3 123
kovzol/geogebra
GeoGebra trunk (testing)
Language:Java4 3 03
kovzol/realgeom
Real geometry tools
Language:Java3 4 50
kovzol/ag
Towards an Automated Geometer
Language:HTML2 3 01
kovzol/giac-1
Language:C++2 2 00
kovzol/tarski
A system for computing with Tarski Formulas / Semi-Algebraic Sets.
Language:SMT2 2 4
kovzol/SR
Statistical Restoration Greek New Testament
Language:JavaScript1 1 0
kovzol/XaoS
Real-time interactive fractal zoomer
Language:C++1 2 0
kovzol/BHP
Bunning Heuristic Prototype Greek New Testament
Language:Python1 0
kovzol/checkmate
A minimalist chess game
Language:Python
kovzol/chomp
Chomp (ein Spiel mit dem vergifteten Schokoladenstück)
Language:HTML2 0
kovzol/chomp-ki
Eine Implementation für das Chomp-Spiel gegen künstliche Intelligenz
Language:Python
kovzol/chomp.pyggb
Chomp in PyGgb
Language:Python
kovzol/classroom-proofs
A collection of geometry proof files by using automated deduction
kovzol/crosswire-sword-mirror
Unofficial Git mirror of the Sword library SVN. Pull requests are not accepted.
Language:C++1 0
kovzol/csoamoba
Csőamőba (a variant of the game "Connect 4")
Language:Pascal
kovzol/flathub
Issue tracker and new submissions
1 0
kovzol/gd-art-doc
GeoGebra Discovery Automated Reasoning Tools – A Tutorial
Language:TeX1 0
kovzol/GeoGebraBook2LaTeX
Convert GeoGebra books from HTML format to LaTeX/PDF
Language:PHP3 0
kovzol/ggb-manipulator
A set of scripts that help manipulating GeoGebra's .ggb files
Language:Shell3 0
kovzol/homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
Language:Ruby1 0
kovzol/issac2023-plot2d
Presentation on the Plot2D/plot2d commands in GeoGebra Discovery and Tarski (ISSAC 2023)
Language:TeX2 0
kovzol/logik
Logik für Lehramt Mathematik
Language:Tcl2 0
kovzol/matt
A minimalist chess game against the computer
Language:Python2 0
kovzol/minisat-wasm
Compile MiniSat to WebAssembly using emscripten
Language:C++1 0
kovzol/probability-python
A set of Python self-explaining programs that help learning basics of probability theory
Language:TeX3 0
kovzol/pyggb
Prototype of Python / GeoGebra interoperability
Language:TypeScript1 0