← Back to Coq Platform
Alternatives to Coq Platform
Formal proof management system
Developer Tools 10 installs/mo 6.5
12 alternatives
Postman
postman
7.0
Collaboration platform for API development
Developer Tools 12.8K installs/mo
Isabelle
isabelle
8.0
Generic proof assistant
Developer Tools 29 installs/mo
pgAdmin4
pgadmin4
8.0
Administration and development platform for PostgreSQL
Developer Tools 4.4K installs/mo
CMake
cmake-app
8.0
Family of tools to build, test and package software
Developer Tools 284 installs/mo
.NET SDK
dotnet-sdk
8.0
Developer platform
Developer Tools 9.7K installs/mo
CodeQL
codeql
8.0
Semantic code analysis engine
Developer Tools 531 installs/mo
DBeaver Community Edition
dbeaver-community
7.5
Universal database tool and SQL client
Developer Tools 11.5K installs/mo
MySQL Workbench
mysqlworkbench
8.0
Visual tool to design, develop and administer MySQL servers
Developer Tools 1.4K installs/mo
TLA+ Toolbox
tla+-toolbox
8.0
IDE for TLA+
Developer Tools 44 installs/mo
Apidog
apidog
7.5
API development platform
Developer Tools 91 installs/mo
pluginval
pluginval
7.0
Cross-platform plugin validator and tester application
Developer Tools 210 installs/mo
DbGate
dbgate
8.0
Database manager for MySQL, PostgreSQL, SQL Server, MongoDB, SQLite and others
Developer Tools 118 installs/mo