Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for graph lambda calculus
graph
x
lambda-calculus
x
3 search results found
Egg
⭐
1,164
egg is a flexible, high-performance e-graph library
Bohm1.1
⭐
18
Bologna Optimal Higher-Order Machine, Version 1.1
Quinegraphs
⭐
13
Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
Lamviz Js
⭐
10
A visualiser for lambda terms as rooted maps.
Related Searches
Python Graph (6,271)
Javascript Graph (3,671)
Java Graph (2,154)
C Plus Plus Graph (2,047)
Algorithms Graph (1,701)
Graph Edge (1,528)
Network Graph (1,265)
Jupyter Notebook Graph (1,166)
Graph Visualization (962)
Graph Neo4j (866)
1-3 of 3 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.