idris-lang/Idris2
Purely functional language with dependent types and integrated compiler for type-safe systems programming
Idris
Developer Tools
Build Tools
NOASSERTION
2.9K
Stars
398
Forks
May 17, 2020
Created
Feb 24, 2026
Last Updated
Project Analytics
Stars Growth (1 Month)
+13
+0.5% change
Avg Daily Growth (1 Month)
+0.7
stars per day
Fork/Star Ratio (All Time)
13.8%
Good engagement
Lifetime Growth
1.4
stars/day over 2.1K days
Stars Over Time
Forks Over Time
Open Issues Over Time
AI-Generated Tags
dependent-types
purely-functional
compiler
type-safe
systems-programming
functional-language
Similar Projects
ohmyzsh/ohmyzsh
Enhances shell experience with plugins/themes for zsh
185.1K
Shell
microsoft/vscode
Visual Studio Code - Open Source code editor
182.3K
TypeScript
github/gitignore
Official .gitignore templates for GitHub repositories
172.8K
jlevy/the-art-of-command-line
Comprehensive command line guide for developers
160.1K
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.