All

5 repositories

Idris2
Public
A purely functional programming language with first class types
dependent-types compiler hacktoberfest
dependent-types compiler hacktoberfest
Idris
•
Other
•400•2.9k•616•22•Updated Apr 15, 2026Apr 15, 2026
idris-lang.github.io
Public
The Idris website
website dependent-types idris
website dependent-types idris hacktoberfest idris2
CSS
•
BSD 3-Clause "New" or "Revised" License
•10•6•2•1•Updated Oct 31, 2025Oct 31, 2025
Idris-dev
Public archive
A Dependently Typed Functional Programming Language
Haskell
•
Other
•631•3.5k•690•18•Updated Feb 17, 2025Feb 17, 2025
idris-emptycg
Public
An empty code generator, to be used as a starting point for any new back ends.
Haskell
•
Other
•19•52•1•2•Updated Nov 2, 2017Nov 2, 2017
idris-tutorial
Public archive
A tutorial to the Idris Programming Language.
TeX
•25•96•1•1•Updated Dec 16, 2015Dec 16, 2015

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.