Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Roosterize

Tool for suggesting lemma names in Coq verification projects
Suggest An Alternative To roosterize
Popular Coq Projects
Popular Names Projects
Typeresolver ⭐ 9,088
A PSR-5 based resolver of Class names, Types and Structural Element Names
dependent packages 83total releases 37latest release August 12, 2023most recent commit 3 months agopackagist phpdocumentor/type-resolver} Downloads
Graphql Dotnet ⭐ 5,686
GraphQL for .NET
dependent packages 200total releases 151latest release August 11, 2023most recent commit 3 months agonuget GraphQL} Downloads
Gemoji ⭐ 4,319
Emoji images and names.
dependent packages 66total releases 25latest release March 29, 2023most recent commit 3 months agorubygems gemoji} Downloads
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Related Searches
Python Machine Learning
Python Pytorch
Python Neural Network
Machine Learning Neural Network
Machine Learning Pytorch
Pytorch Neural Network
Python Names
Ocaml Coq
Python Ocaml
Machine Learning Ocaml

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Python
Deep Learning
Machine Learning
Pytorch
Neural Network
Ocaml
Names
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.