alga

Tech stack & purpose

Alga is a Haskell library for algebraic construction and manipulation of graphs, enabling safe and powerful graph operations through an algebraic interface based on semiring-like laws. The library represents graphs using a data type with constructors for empty graphs, single vertices, overlay (union), and connect operations, allowing both unlabelled directed graphs and variants such as edge-labelled or non-empty graphs. Built on algebraic semantics rather than imperative algorithms, Alga can handle graphs with millions of vertices and billions of edges efficiently enough for many practical applications. The project, developed by Andrey Mokhov and documented through academic papers, blog posts, and talks, has also been implemented in other languages including Agda, F#, Scala, and TypeScript.

Community & reference links

• semiring
• talk

Languages

Contributors (top 30 of 33)

• 
  Andrey Mokhov425 commits · 462 followers
• Alexandre Moine31 commits
• Adithya Kumar6 commits
• jitwit5 commits
• 
  Oleg Grenrus4 commits · 602 followers
• Vasily Alferov3 commits
• 
  Armando Santos3 commits · 135 followers
• 
  Dave Laing2 commits · 125 followers
• 
  Andrea Bedini2 commits · 121 followers
• 
  Felix Yan2 commits · 3,361 followers
• Piotr Gawryś2 commits
• Pi Delport2 commits
• Luc Tielen1 commits
• Ollie Charles1 commits
• 
  George Wilson1 commits · 179 followers
• 
  Anton Felix Lorenzen1 commits · 77 followers
• 
  Sridhar Ratnakumar1 commits · 1,014 followers
• Juan Lulkin1 commits
• Wismill1 commits
• 
  Jonathan Dowland1 commits · 103 followers
• Adelbert Chang1 commits
• Pyry Jahkola1 commits
• Roman Cheplyaka1 commits
• 
  Colin Woodbury1 commits · 582 followers
• 
  ˌbodʲɪˈɡrʲim1 commits · 227 followers
• Ian Treyball1 commits
• 
  Tim Pierson1 commits · 29 followers
• 
  Zizhao Chen1 commits · 21 followers
• Brian Wignall1 commits
• 
  Marco Z1 commits · 326 followers