← Back to Coq Platform
Alternatives to Coq Platform
Formal proof management system
Developer Tools 14 installs/mo 6.5
12 alternatives
Postman
postman
7.0
Collaboration platform for API development
Developer Tools 10.9K installs/mo
Isabelle
isabelle
8.0
Generic proof assistant
Developer Tools 25 installs/mo
pgAdmin4
pgadmin4
8.0
Administration and development platform for PostgreSQL
Developer Tools 3.8K installs/mo
CMake
cmake-app
8.0
Family of tools to build, test and package software
Developer Tools 213 installs/mo
.NET SDK
dotnet-sdk
8.0
Developer platform
Developer Tools 10.1K installs/mo
CodeQL
codeql
8.0
Semantic code analysis engine
Developer Tools 583 installs/mo
DBeaver Community Edition
dbeaver-community
7.5
Universal database tool and SQL client
Developer Tools 11.1K installs/mo
MySQL Workbench
mysqlworkbench
8.0
Visual tool to design, develop and administer MySQL servers
Developer Tools 1.6K 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 86 installs/mo
pluginval
pluginval
7.0
Cross-platform plugin validator and tester application
Developer Tools 228 installs/mo
DbGate
dbgate
8.0
Database manager for MySQL, PostgreSQL, SQL Server, MongoDB, SQLite and others
Developer Tools 144 installs/mo