Projects in Awesome Lists by algebraic-graphs

A curated list of projects in awesome lists by algebraic-graphs .

• Sort

  • Recently synced
  • Stars

https://github.com/algebraic-graphs/typescript

Algebraic graphs implementation in TypeScript

algebra algebraic fp fp-ts graph graphs

Last synced: 28 Mar 2025

https://github.com/algebraic-graphs/agda

The theory of algebraic graphs formalised in Agda

agda algebra graph

Last synced: 01 May 2025