Discover @kovzol Open Source projects

Zoltán Kovács (@kovzol)

kovzol

Stars
116
Global Rank 186,641 (Top 7 %)
Followers 60
Following 34
Registered about 13 years ago
Most used languages

HTML
23.5 %

Java
17.6 %

JavaScript
11.8 %

Shell
11.8 %

C++
11.8 %

TeX
5.9 %

Python
5.9 %

C
5.9 %

Yacc 5.9 %
Location 🇦🇹 Austria
Country Total Rank 1,253
Country Ranking

Yacc 1

TeX
35

Shell
114

Java
184

C++
193

HTML
268

C
306

JavaScript
1,094

Python
1,425

Java-Geometry-Expert

Java Geometry Expert

bibref

A tool that helps discovering internal references in the Bible

geogebra-discovery

GeoGebra Discovery

lxx

Find citations of the Septuagint in the Greek New Testament

gg-art-doc

GeoGebra Automated Reasoning Tools – A Tutorial

aris

GNU Aris (fork)

geogebra

GeoGebra trunk (testing)

realgeom

Real geometry tools

lsp2js

A Lisp to Javascript converter for command line compilations

tank

Simple tank game written in Python/PyGame

ag

Towards an Automated Geometer

groebner-solitaire

A one-person game that visualizes Buchberger's algorithm to find the reduced Gröbner basis of a set of binomials over ℤ₂[𝑥,𝑦]

degen-atpg

Supplementary data for the project "Dealing with Degeneracies in Automated Theorem Proving in Geometry"

RegularNGons

Find new theorems in elementary geometry by observing distances between intersections of diagonals of a regular polygon

giac-electron-example

A minimal example on embedding Giac in an Electron application

voiceover

Voice-over translator for SRT subtitles

GeoThms2ggb

Convert the GeoThms database to GeoGebra files

lego-linkages

A collection of simple LEGO linkages that can follow a prescribed motion