Giters
Isaac (BitSecret)

BitSecret

Geek Repo

15

followers

11

following

52

stars

Home Page:bitsecret.github.io

Github PK Tool:Github PK Tool

Organizations
FormalGeo

Isaac's repositories

AI4Math

Everything about AI4Math (AI for Mathematics).

Language:PythonLicense:MITStargazers:17Issues:4Issues:2

FGPS

Formal geometric problem solver based on FormalGeo.

Language:PythonLicense:MITStargazers:10Issues:3Issues:2

HyperGNet

Geometry Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network.

Language:PythonLicense:MITStargazers:8Issues:2Issues:1

bitsecret.github.io

Language:HTMLStargazers:0Issues:1Issues:1

DAQQSO

A multi-criteria decision-making method.

Language:C++License:GPL-3.0Stargazers:0Issues:1Issues:0

euclidesprobationem.github.io

Omega Proof Group Website

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:0Issues:0

formalgeo7k

formalgeo7k-v1 annotation.

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

iMeeting

Intelligent conference room management system.

Language:JavaLicense:MITStargazers:0Issues:1Issues:0

NCHManager

Non-cultural heritage project management system.

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0