snowleopard alga issues

snowleopard / alga

Algebraic graphs

MIT License

717 stars 68 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Acyclic.Ord module created

#215 adithyaov closed 5 years ago
2
Acyclic monad draft implementation

#214 adithyaov closed 5 years ago
3
Added myself to the AUTHORS.md :-)

#213 adithyaov closed 5 years ago
1
Added myself to the authors list. (PR #174)

#212 bolt12 closed 5 years ago
1
Revise documentation and tests for induceJust

#211 snowleopard closed 5 years ago
10
Disallow inspection-testing 0.4.2

#210 snowleopard closed 5 years ago
0
Add induceJust

#209 Avasil closed 5 years ago
9
Drop Internal modules

#208 snowleopard closed 5 years ago
1
Add bipartite adjacency maps

#207 vasalf closed 5 years ago
4
Add AdjacencyMap.box

#206 snowleopard closed 5 years ago
0
Drop Fold, simplify ToGraph, refactor testsuite

#205 snowleopard closed 5 years ago
0
Derive Generic and NFData for Algebra.Graph and Algebra.Graph.Labelled

#204 wismill closed 5 years ago
1
Partial order based Acyclic Graph

#203 adithyaov closed 5 years ago
17
Add induceJust

#202 michaelpj closed 5 years ago
9
Functor instance for AdjacencyMap

#201 michaelpj closed 5 years ago
7
Acyclic monad

#200 adithyaov closed 5 years ago
4
Basic Acyclic AdjacencyIntMap

#199 adithyaov closed 5 years ago
10
Stop supporting GHC 7.8.4

#198 snowleopard closed 5 years ago
0
Simplify adjacency map conversions using Coercible

#197 snowleopard closed 5 years ago
4
Graph functional interface

#196 bolt12 opened 5 years ago
5
Acceptable Time complexity for `toAdjacecyMap`

#195 adithyaov closed 5 years ago
2
Made the new version of Dijkstra Algorithm.

#194 adithyaov closed 5 years ago
12
Add support for executing a subset of testsuites

#193 snowleopard closed 5 years ago
0
Fix the benchmarking suite

#192 nobrakal closed 5 years ago
7
Symmetric relation fixes

#191 snowleopard closed 5 years ago
6
Update CI to test with GHC 8.6.4

#190 snowleopard closed 5 years ago
1
Bump LTS and allow newer QuickCheck

#189 snowleopard closed 5 years ago
0
Single Source Shortest Path

#188 adithyaov closed 5 years ago
9
Minimum Spanning Tree for labelled graphs

#187 TheChouzanOne opened 5 years ago
6
Propose an abstraction for the Dijkstra algorithm

#186 adithyaov closed 5 years ago
3
Adding BFS support to AdjacencyMaps.

#185 TheChouzanOne opened 5 years ago
12
Algorithms on graphs with edge weights, module structure and guarantee of specific properties on the edge labels.

#184 adithyaov closed 5 years ago
8
Vertex-labelled adjacency maps

#183 srid closed 4 years ago
16
`induce` for filtering out edges

#182 srid closed 5 years ago
4
Adding BFS to Algebra.Graph.AdjacencyMap*.Algorithm

#181 TheChouzanOne opened 5 years ago
6
Question: Transitive closure and path following as in kleene algebras

#180 boggle opened 5 years ago
1
Failing to install alga on ubuntu.

#179 cz2h closed 5 years ago
3
Derive Generic for AdjacencyMap

#178 srid closed 5 years ago
5
Allow project to be developed using Nix

#177 srid closed 5 years ago
5
Serializing graphs using acid-state

#176 srid closed 5 years ago
3
Improve documentation for edge-labelled graphs (maybe write a paper?)

#175 Kesanov opened 5 years ago
6
Added functionality to the 'SymmetricRelation' module.

#174 bolt12 closed 5 years ago
46
Drop duplicated edges in sparsifyKL

#173 snowleopard closed 5 years ago
0
Stop supporting GHC 7.8?

#172 snowleopard closed 5 years ago
1
Implement sparsification into King-Launchbury graph representation

#171 snowleopard closed 5 years ago
2
Improve support for undirected graphs

#170 bolt12 closed 5 years ago
15
Should Graph / AdjacencyMap have StarSemiring instances

#169 dalaing opened 5 years ago
4
Give Graph Bifunctor on GHC 7.8 too

#168 gwils closed 5 years ago
6
Adds instance up to Dioid for Minimum.

#167 dalaing closed 5 years ago
1
Adds a `Show` instance for `PowerSet`.

#166 dalaing closed 5 years ago
1

Previous Next