Software Foundations in Idris
-
Updated
May 15, 2019 - Idris
#
idris
Here are 251 public repositories matching this topic...
Collaborative documentation for and from Jean Zay users. Official Jean Zay documentation: http://www.idris.fr/eng/jean-zay/
-
Updated
Jul 26, 2024
𝛌 Awesome Idris resources
-
Updated
Feb 20, 2020 - Idris
Project templates in rust
-
Updated
Sep 11, 2023 - Rust
Idris version of Domain Modeling Made Functional Book.
-
Updated
Oct 25, 2021 - Idris
A Common Intermediate Language backend for Idris 1
-
Updated
Oct 29, 2018 - Haskell
A SuperCompiler for Martin-Löf's Type Theory
-
Updated
Jan 29, 2022 - Scala
A test framework for Idris
-
Updated
Mar 21, 2019 - Idris
A curated set of links to formal methods involving provable code.
-
Updated
Dec 12, 2021
dependent types meets deep learning
-
Updated
Jan 7, 2019 - Idris
Recursion schemes for Idris
-
Updated
Aug 23, 2018 - Idris
Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
-
Updated
Mar 13, 2022 - Haskell
build tool and package manager for idris,in idris,with free monads
-
Updated
Feb 20, 2019 - Idris
Improve this page
Add a description, image, and links to the idris topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the idris topic, visit your repo's landing page and select "manage topics."