Agda
The theory of algebraic graphs formalised in Agda
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Alga | 681 | 38 | 6 months ago | 15 | June 20, 2022 | 45 | mit | Haskell | ||
| Algebraic graphs | ||||||||||
| Pggraphblas | 275 | 4 years ago | 1 | apache-2.0 | C | |||||
| High Performance Graph Processing with Postgres and GraphBLAS | ||||||||||
| Pygraphblas | 269 | 3 years ago | 3 | October 08, 2021 | 9 | apache-2.0 | ||||
| GraphBLAS for Python | ||||||||||
| Alga Paper | 170 | 3 years ago | TeX | |||||||
| A minimalistic, elegant and powerful approach to working with graphs in a functional programming language | ||||||||||
| Graphblast | 136 | 3 years ago | 8 | apache-2.0 | C++ | |||||
| High-Performance Linear Algebra-based Graph Primitives on GPUs | ||||||||||
| Typescript | 123 |  | 2 | a year ago | 3 | August 26, 2020 | 5 | mit | TypeScript | |
| Algebraic graphs implementation in TypeScript | ||||||||||
| Agda | 52 | 6 years ago | mit | Agda | ||||||
| The theory of algebraic graphs formalised in Agda | ||||||||||
| Linnea | 43 | 3 years ago | 2 | January 14, 2019 | gpl-3.0 | Python | ||||
| Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems. | ||||||||||
| Scala | 22 | 3 years ago | 2 | mit | Scala | |||||
| Algebraic Graphs in Scala | ||||||||||
| Xcalc | 17 | 9 years ago | mit | JavaScript | ||||||
| A Javascript computer algebra system that graphs and differentiates | ||||||||||
Alternatives To AgdaSelect To Compare
Alternative Project Comparisons
Popular Graph Projects
Popular Algebra Projects
Popular Computer Science Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Graph
Algebra