Algebraic Graphs

icon location Algebraic graphs in different languages and flavours

Results 4 repositories owned by Algebraic Graphs

typescript

125
Stars
4
Forks
Watchers

Algebraic graphs implementation in TypeScript

verified publisher icon algebraic-graphs

agda

84
Stars
6
Forks
Watchers

The theory of algebraic graphs formalised in Agda

verified publisher icon algebraic-graphs

fsharp

27
Stars
0
Forks
Watchers

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

verified publisher icon algebraic-graphs

scala

25
Stars
3
Forks
Watchers

Algebraic Graphs in Scala

verified publisher icon algebraic-graphs