Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Agda Calf

A cost-aware logical framework, embedded in Agda.
Stars
46
License
apache-2.0
Open Issues
6
Most Recent Commit
5 months ago
Programming Language
Agda
Categories
Site
Repo
Alternatives To Agda Calf
Select To Compare
Ristretto ⭐ 5,164
A high performance memory-bound Go cache
dependent packages 3,829total releases 55most recent commit 3 months ago
Opencost ⭐ 4,681
Cost monitoring for Kubernetes workloads and cloud costs
dependent packages 2total releases 174most recent commit 11 days ago
Kcp Go ⭐ 3,862
A Crypto-Secure, Production-Grade Reliable-UDP Library for golang with FEC
dependent packages 239total releases 140most recent commit 3 months ago
Flaml ⭐ 3,500
A fast library for AutoML and tuning. Join our Discord: https://discord.gg/Cppx2vSPVP.
dependent packages 11total releases 92most recent commit 3 months agopypi FLAML} Downloads
Webgrind ⭐ 3,217
Xdebug Profiling Web Frontend in PHP
total releases 22most recent commit 3 months ago


Suggest An Alternative To agda-calf
Popular Economics Categories
Payment
Finance
Trading
Stock
Currency
Bank
Cost
Stripe
Woocommerce
Pay

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