algebraic-graphs/agda algebraic-graphs/agda

  • Stars
    star
    86
  • Rank 382,100 (Top 8 %)
  • Language Agda
  • License
    MIT License
  • Created over 7 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
algebraic-graphs/agda
github

algebraic-graphs

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

The theory of algebraic graphs formalised in Agda

More Repositories

1

typescript

Algebraic graphs implementation in TypeScript
TypeScript
126
star
2

fsharp

Port of the alga Algebraic Graphs library (https://github.com/snowleopard/alga) to F#
F#
28
star
3

scala

Algebraic Graphs in Scala
Scala
26
star
4

R

R
2
star