Algebraic Graphs

Algebraic graphs in different languages and flavours

Pinned Repositories

agda
The theory of algebraic graphs formalised in Agda
Language:Agda85 5 06
fsharp
Port of the alga Algebraic Graphs library (https://github.com/snowleopard/alga) to F#
Language:F#27 6 20
R
Language:R2 1 00
scala
Algebraic Graphs in Scala
Language:Scala25 5 43
typescript
Algebraic graphs implementation in TypeScript
Language:TypeScript125 6 14

Algebraic Graphs's Repositories

algebraic-graphs/typescript
Algebraic graphs implementation in TypeScript
Language:TypeScript125 6 14
algebraic-graphs/agda
The theory of algebraic graphs formalised in Agda
Language:Agda85 5 06
algebraic-graphs/fsharp
Port of the alga Algebraic Graphs library (https://github.com/snowleopard/alga) to F#
Language:F#27 6 20
algebraic-graphs/scala
Algebraic Graphs in Scala
Language:Scala25 5 43
algebraic-graphs/R
Language:R2 1 00