idris topic
List
idris repositories
cube.idr
6
Stars
0
Forks
Watchers
An implementation of the Lambda Cube in Idris.
gidti
75
Stars
4
Forks
Watchers
Book: Introduction to Dependent Types with Idris
idris-insertion-sort
28
Stars
4
Forks
Watchers
Provably correct implementation of insertion sort in Idris.
awesome-idris
381
Stars
19
Forks
Watchers
𝛌 Awesome Idris resources
differentiable-idris
42
Stars
7
Forks
Watchers
dependent types meets deep learning
project-init
138
Stars
14
Forks
Watchers
Project templates in rust
awesome-provable
188
Stars
8
Forks
Watchers
A curated set of links to formal methods involving provable code.
software-foundations
452
Stars
34
Forks
Watchers
Software Foundations in Idris