Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Certigrad	346	5 years ago		apache-2.0	Lean
Bug-free machine learning on stochastic computation graphs
Formulanet	19	6 years ago	3	bsd-3-clause	Python
Code for FormulaNet in NIPS 2017
Maps Coloring Python	8	2 years ago	2	gpl-3.0	Python
Four color theorem, Guthrie, Kempe, Tait and other people and stuff

Alternatives To Formulanet

Select To Compare

Certigrad ⭐ 346

Bug-free machine learning on stochastic computation graphs

most recent commit 5 years ago

Formulanet ⭐ 19

Code for FormulaNet in NIPS 2017

most recent commit 6 years ago

Maps Coloring Python ⭐ 8

Four color theorem, Guthrie, Kempe, Tait and other people and stuff

most recent commit 2 years ago

Suggest An Alternative To FormulaNet

Alternative Project Comparisons

Formulanet vs Certigrad

Formulanet vs Maps Coloring Python

Popular Graph Projects

Chart.js ⭐ 62,718

Simple HTML5 Charts using the <canvas> tag

dependent packages 1,381total releases 98latest release December 04, 2023most recent commit 3 months ago

Terraform ⭐ 40,165

Terraform enables you to safely and predictably create, change, and improve infrastructure. It is a source-available tool that codifies APIs into declarative configuration files that can be shared amongst team members, treated as code, edited, reviewed, and versioned.

dependent packages 1,308total releases 666latest release December 06, 2023most recent commit 3 months ago

Mpandroidchart ⭐ 37,080

A powerful 🚀 Android chart view / graph view library, supporting line- bar- pie- radar- bubble- and candlestick charts as well as scaling, panning and animations.

total releases 2latest release December 01, 2020most recent commit 3 months ago

Logseq ⭐ 27,927

A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: http://trello.com/b/8txSM12G/roadmap

most recent commit 3 months ago

Jsoncrack.com ⭐ 27,147

✨ Innovative and open-source visualization application that transforms various data formats, such as JSON, YAML, XML, CSV and more, into interactive graphs.

most recent commit 3 months ago

Popular Theorem Proving Projects

Coq ⭐ 4,501

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

dependent packages 1total releases 4latest release December 27, 2020most recent commit 3 months ago

Fstar ⭐ 2,522

A Proof-oriented Programming Language

most recent commit 3 months ago

Lean3 ⭐ 2,138

Lean Theorem Prover

most recent commit 6 months ago

Cakeml ⭐ 879

CakeML: A Verified Implementation of ML

most recent commit 3 months ago

Leancopilot ⭐ 593

LLMs as Copilots for Theorem Proving in Lean

most recent commit 3 months ago

Popular Computer Science Categories

Get A Weekly Email With Trending Projects For These Categories

No Spam. Unsubscribe easily at any time.

Python

Graph

Theorem Proving

Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.