← Back to Coq Platform
Alternatives to Coq Platform
Formal proof management system
Developer Tools 16 installs/mo 6.5
12 alternatives
Postman
postman
7.0
Collaboration platform for API development
Developer Tools 8.6K installs/mo
pgAdmin4
pgadmin4
8.0
Administration and development platform for PostgreSQL
Developer Tools 3.4K installs/mo
CMake
cmake-app
8.0
Family of tools to build, test and package software
Developer Tools 216 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 532 installs/mo
DBeaver Community Edition
dbeaver-community
7.5
Universal database tool and SQL client
Developer Tools 9.3K installs/mo
TLA+ Toolbox
tla+-toolbox
8.0
IDE for TLA+
Developer Tools 62 installs/mo
MySQL Workbench
mysqlworkbench
8.0
Visual tool to design, develop and administer MySQL servers
Developer Tools 1.6K installs/mo
pluginval
pluginval
7.0
Cross-platform plugin validator and tester application
Developer Tools 243 installs/mo
Apidog
apidog
7.5
API development platform
Developer Tools 62 installs/mo
DbGate
dbgate
8.0
Database manager for MySQL, PostgreSQL, SQL Server, MongoDB, SQLite and others
Developer Tools 128 installs/mo
Hoppscotch
hoppscotch
8.0
Open source API development ecosystem
Developer Tools 155 installs/mo