I
Idris2
@idris-lang
A purely functional programming language with first class types
Commit 10 dagen geleden ★ 3.075
Pijlers en weging
Waarom deze score
- Laatste commit 9 dagen geleden
- Uitgebracht in de afgelopen 12 maanden
- OpenSSF Scorecard 5.1/10
- Top 38% naar sterren in Developer Tools › Developer Utilities
Feiten
- Licentie
- NOASSERTION (Licentie onbekend)
- Taal
- Idris
- GitHub-sterren
- 3.075
- Laatste commit
- 2026-09-18 (10 dagen geleden)
- Laatste release
- 2025-10-31T17:22:26Z
- OpenSSF Scorecard
- 5.1/10
- Zelf hosten
- Niet vastgesteld
- Maintainer-locatie
- Onbekend
- Bron
- github-crawl
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!