C
CompCert
@AbsInt
The CompCert formally-verified C compiler
Maintainer in de EU Commit 4 dagen geleden ★ 2.230
Pijlers en weging
Waarom deze score
- EU-gevestigde maintainer (zelf opgegeven: Germany)
- Laatste commit 3 dagen geleden
- Uitgebracht in de afgelopen 12 maanden
- OpenSSF Scorecard 3.9/10
- Top 48% naar sterren in Developer Tools › Developer Utilities
Feiten
- Licentie
- NOASSERTION (Licentie onbekend)
- Taal
- Rocq Prover
- GitHub-sterren
- 2.230
- Laatste commit
- 2026-09-24 (4 dagen geleden)
- Laatste release
- 2026-08-30T08:53:14Z
- OpenSSF Scorecard
- 3.9/10
- Zelf hosten
- Niet vastgesteld
- Maintainer-locatie
- EU
- Bron
- github-crawl,github-search
Alternatieven in Developer Utilities
01 87 02 85 03 78 04 78
C
Coder
Remote development machines on your own infrastructure.
E
Eclipse Che
Open source workspace server and cloud IDE.
O
open-connector
Open-source auth gateway connecting 1500+ SaaS providers to AI agents through SDK, CLI, MCP, HTTP, and OpenAPI.
A
avante.nvim
Use your Neovim like using Cursor AI IDE!