GitPlanet
Projects
Users
Categories
Languages
About
All Git Users
→ algebraic-graphs
4 open source projects by algebraic-graphs
[ Open user page on Github ]
1.
Typescript
Algebraic graphs implementation in TypeScript
✭ 107
typescript
graph
graphs
fp
algebra
2.
agda
The theory of algebraic graphs formalised in Agda
✭ 67
Agda
shell
algebra
graph
agda
3.
scala
Algebraic Graphs in Scala
✭ 23
scala
algebra
graph
4.
fsharp
Port of the alga Algebraic Graphs library (https://github.com/snowleopard/alga) to F#
✭ 27
F#
1-4
of
4
user projects