Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Agda Routing

An Agda library for reasoning about asynchronous iterative algorithms and network routing problems
Stars
24
License
No license specified
Open Issues
1
Most Recent Commit
4 months ago
Programming Language
Agda
Categories
Repo
Suggest An Alternative To agda-routing
Popular Routing Projects
Ice ⭐ 17,738
🚀 ice.js: The Progressive App Framework Based On React（基于 React 的渐进式应用框架）
dependent packages 609total releases 24latest release April 21, 2022most recent commit 4 months agonpm @ice/screenshot} Downloads
Httprouter ⭐ 15,983
A high performance HTTP request router that scales well
dependent packages 2,554total releases 12latest release August 14, 2020most recent commit 5 months ago
Umi ⭐ 14,698
A framework in react community ✨
dependent packages 1,966total releases 494latest release December 04, 2023most recent commit 4 months agonpm @umijs/test} Downloads
Ui Router ⭐ 13,640
The de-facto solution to flexible routing with nested views in AngularJS
dependent packages 673total releases 56latest release December 01, 2021most recent commit a year agonpm angular-ui-router} Downloads
Popular Algebra Projects
Nalgebra ⭐ 3,692
Linear algebra library for Rust.
dependent packages 765total releases 113latest release July 09, 2023most recent commit a month agocargo nalgebra} Downloads
Mathnet Numerics ⭐ 3,322
Math.NET Numerics
dependent packages 444total releases 114latest release April 03, 2022most recent commit 4 months agonuget MathNet.Numerics} Downloads
Popular Networking Categories
Server
Network
Http
Proxy
Port
Email
Websocket
Hosts
Router
Upload

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Routing
Algebra
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.