Name: Zoltán Kovács
Type: User
Company: The Private University College of Education of the Diocese of Linz
Bio: Assistant professor at The Private University College of Education of the Diocese of Linz, Institute of Initial Teacher Training (Austria)
Location: Linz, Austria
Blog: https://matek.hu/zoltan
ag
Towards an Automated Geometer
aris
GNU Aris (fork)
bftr
Battle for the Ring
bhp
Bunning Heuristic Prototype Greek New Testament
bibref
A tool that helps discovering internal references in the Bible
buchberger-singular
Explain Buchberger's algorithm by using Singular as a backend
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
cindyjs
A JavaScript framework for interactive (mathematical) content.
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")
degen-atpg
Supplementary data for the project "Dealing with Degeneracies in Automated Theorem Proving in Geometry"
diss
Computer Based Conjectures and Proofs in Teaching Euclidean Geometry
dmw17
Diskrete Mathematik Übungen mit Lösungen (Wintersemester 2017/18)
flathub
Issue tracker and new submissions
formconv
Formula Converter
gbt
Groebner basis tests
gd-art-doc
GeoGebra Discovery Automated Reasoning Tools – A Tutorial
geogebra
GeoGebra trunk (testing)
geogebra-discovery
GeoGebra Discovery
geogebra-embedding-examples
Examples on how to embed GeoGebra applets in a web page
geogebrabook2latex
Convert GeoGebra books from HTML format to LaTeX/PDF
geothms2ggb
Convert the GeoThms database to GeoGebra files
gg-art-doc
GeoGebra Automated Reasoning Tools – A Tutorial
ggb-manipulator
A set of scripts that help manipulating GeoGebra's .ggb files
giac
Experimental version of the computer algebra system Giac
giac-1
giac-electron-example
A minimal example on embedding Giac in an Electron application
groebner-solitaire
A one-person game that visualizes Buchberger's algorithm to find the reduced Gröbner basis of a set of binomials over ℤ₂[𝑥,𝑦]
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
