Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Agda Unimath

Stars
196
License
mit
Open Issues
65
Most Recent Commit
3 months ago
Programming Language
Agda
Categories
Site
Repo
Suggest An Alternative To agda-unimath
Popular Graph Theory Projects
Networkx ⭐ 13,816
Network Analysis in Python
dependent packages 4,531total releases 92latest release October 28, 2023most recent commit 3 months agopypi networkx} Downloads
Cytoscape.js ⭐ 9,541
Graph theory (network) library for visualisation and analysis
dependent packages 267total releases 241latest release October 30, 2023most recent commit 3 months agonpm cytoscape} Downloads
Mgmt ⭐ 3,308
Next generation distributed, event-driven, parallel config management!
total releases 20latest release March 10, 2021most recent commit 3 months ago
Popular Category Theory Projects
Popular Computer Science Categories
Algorithms
Search
Graph
Stack
Hash
Vector
Data Structure
Matrix
Struct
Sort
Related Searches
Agda Type Theory
Type Theory Univalent Foundations
Agda Homotopy Type Theory
Homotopy Type Theory Univalent Foundations
Makefile Type Theory
Makefile Agda
Agda Univalent Foundations

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Graph Theory
Category Theory
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.