Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Cockerel

An Online Logic Assistant Based on Coq
Stars
26
License
other
Open Issues
4
Most Recent Commit
12 years ago
Programming Language
Python
Latest Release
August 16, 2010
Categories
Site
Repo
Suggest An Alternative To Cockerel
Popular Coq Projects
Popular Virtualenv Projects
Pipenv ⭐ 24,404
Python Development Workflow for Humans.
dependent packages 121total releases 383latest release November 15, 2023most recent commit 3 months agopypi pipenv} Downloads
Pyenv Virtualenv ⭐ 5,869
a pyenv plugin to manage virtualenv (a.k.a. python-virtualenv)
total releases 1latest release February 27, 2018most recent commit 3 months ago
Hatch ⭐ 5,216
Modern, extensible Python project management
dependent packages 193total releases 69latest release April 03, 2023most recent commit a month agopypi hatch} Downloads
Ntfy ⭐ 4,715
🖥️📱🔔 A utility for sending notifications, on demand and when commands finish.
dependent packages 1total releases 45latest release November 23, 2018most recent commit 4 months agopypi ntfy} Downloads
Virtualenv ⭐ 4,620
Virtual Python Environment builder
dependent packages 819total releases 214latest release December 01, 2023most recent commit 4 months agopypi virtualenv} Downloads
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano

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