idris-lang/Idris-dev
Idris is a dependently typed functional programming language that can be used for building robust, verified software.
Haskell
Backend & APIs
API Frameworks
NOASSERTION
3.5K
Stars
631
Forks
Sep 14, 2011
Created
Feb 17, 2025
Last Updated
Project Analytics
Stars Growth (1 Month)
-1
-0.0% change
Avg Daily Growth (1 Month)
-0.0
stars per day
Fork/Star Ratio (All Time)
18.2%
Good engagement
Lifetime Growth
0.7
stars/day over 5.3K days
Stars Over Time
Forks Over Time
Open Issues Over Time
Pull Requests Over Time
Commits Over Time
AI-Generated Tags
functional-programming
dependently-typed
api-development
cli-tool
haskell
Similar Projects
nocodb/nocodb
NocoDB is a free, self-hostable no-code database platform and Airtable alternative with REST API capabilities.
62.3K
TypeScript
pocketbase/pocketbase
Realtime backend with SQLite, files/users management, and REST API
56.6K
Go
dani-garcia/vaultwarden
Self-hosted Bitwarden-compatible password manager server in Rust
56.3K
Rust
jellyfin/jellyfin
Media server for streaming and managing media
49.1K
C#
Comments (0)
Sign in to leave a comment or vote
Sign InNo comments yet. Be the first to comment!
Stay in the loop
Get weekly updates on trending AI coding tools and projects.