Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Alea

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
Stars
19
License
lgpl-2.1
Open Issues
2
Most Recent Commit
2 years ago
Programming Language
Coq
Categories
Repo
Suggest An Alternative To alea
Popular Coq Projects
Popular Less Projects
Prettier ⭐ 48,252
Prettier is an opinionated code formatter.
dependent packages 259,630total releases 147latest release December 01, 2023most recent commit 6 days agonpm prettier} Downloads
500lines ⭐ 28,512
500 Lines or Less
total releases 1latest release December 15, 2013most recent commit 8 months ago
Weui Wxss ⭐ 14,905
A UI library by WeChat official design team, includes the most useful widgets/modules.
dependent packages 8total releases 24latest release November 01, 2023most recent commit 3 months agonpm weui-wxss} Downloads
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Related Searches
Types Monad
Types Coq
Types Less
Monad Coq
Types Probability
Probability Monad
Probability Coq
Coq Paper Artifacts
Less Probability

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