Project Name	Stars	Packages Using This	Most Recent Commit	Total Releases	Latest Release	Open Issues	License	Language
Egg	1,164	6	4 months ago	23	June 29, 2023	20	mit	Rust
egg is a flexible, high-performance e-graph library
Bohm1.1	18		7 years ago					C
Bologna Optimal Higher-Order Machine, Version 1.1
Quinegraphs	13		a year ago					JavaScript
Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
Lamviz Js	10		2 years ago					JavaScript
A visualiser for lambda terms as rooted maps.

Alternatives To Lamviz Js

Select To Compare

Egg ⭐ 1,164

egg is a flexible, high-performance e-graph library

dependent packages 6total releases 23most recent commit 4 months ago

Bohm1.1 ⭐ 18

Bologna Optimal Higher-Order Machine, Version 1.1

most recent commit 7 years ago

Quinegraphs ⭐ 13

Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).

most recent commit a year ago

Lamviz Js ⭐ 10

A visualiser for lambda terms as rooted maps.

most recent commit 2 years ago

Suggest An Alternative To lamviz-js

Alternative Project Comparisons

Lamviz Js vs Egg

Lamviz Js vs Bohm1.1

Lamviz Js vs Quinegraphs

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 4 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 Lambda Calculus Projects

Kind ⭐ 3,420

A next-gen functional language

dependent packages 2total releases 105latest release February 15, 2023most recent commit 5 months ago

Write You A Haskell ⭐ 2,744

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

most recent commit 5 years ago

Magic In Ten Mins ⭐ 693

十分钟魔法练习

most recent commit 8 months ago

Fp Core.rs ⭐ 644

A library for functional programming in Rust

most recent commit 4 years ago

Hol ⭐ 572

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

most recent commit 3 months ago

Popular Computer Science Categories