kovzol/lxx kovzol/lxx

  • Stars
    star
    10
  • Rank 1,807,489 (Top 36 %)
  • Language
    C++
  • Created over 6 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kovzol/lxx
github

kovzol

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Find citations of the Septuagint in the Greek New Testament

More Repositories

1

Java-Geometry-Expert

Java Geometry Expert
Java
27
star
2

bibref

A tool that helps discovering internal references in the Bible
C++
19
star
3

geogebra-discovery

GeoGebra Discovery
Shell
19
star
4

gg-art-doc

GeoGebra Automated Reasoning Tools – A Tutorial
TeX
7
star
5

aris

GNU Aris (fork)
C
6
star
6

geogebra

GeoGebra trunk (testing)
Java
4
star
7

realgeom

Real geometry tools
Java
3
star
8

lsp2js

A Lisp to Javascript converter for command line compilations
JavaScript
3
star
9

tank

Simple tank game written in Python/PyGame
Python
2
star
10

ag

Towards an Automated Geometer
HTML
2
star
11

groebner-solitaire

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

degen-atpg

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

RegularNGons

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

giac-electron-example

A minimal example on embedding Giac in an Electron application
JavaScript
1
star
15

voiceover

Voice-over translator for SRT subtitles
Shell
1
star
16

GeoThms2ggb

Convert the GeoThms database to GeoGebra files
Yacc
1
star
17

lego-linkages

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