idris
Here are 259 public repositories matching this topic...
Software Foundations in Idris
-
Updated
May 15, 2019 - Idris
𝛌 Awesome Idris resources
-
Updated
Feb 20, 2020 - Idris
A curated set of links to formal methods involving provable code.
-
Updated
Dec 12, 2021
Idris version of Domain Modeling Made Functional Book.
-
Updated
Oct 25, 2021 - Idris
Project templates in rust
-
Updated
Sep 11, 2023 - Rust
A Common Intermediate Language backend for Idris 1
-
Updated
Oct 29, 2018 - Haskell
Collaborative documentation for and from Jean Zay users. Official Jean Zay documentation: http://www.idris.fr/en/docs/jean-zay/nouvel-utilisateur
-
Updated
Jul 28, 2026
A SuperCompiler for Martin-Löf's Type Theory
-
Updated
Jan 29, 2022 - Scala
a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
-
Updated
Sep 12, 2018 - Idris
WebAssembly Code Generation Backend for Idris Compiler
-
Updated
Jun 26, 2018 - Haskell
Book: Introduction to Dependent Types with Idris
-
Updated
Feb 27, 2023
Recursion schemes for Idris
-
Updated
Aug 23, 2018 - Idris
A code-generator for Idris that targets Elixir
-
Updated
Jan 11, 2018 - Haskell
A test framework for Idris
-
Updated
Mar 21, 2019 - Idris
-
Updated
Dec 21, 2017
Add this topic to your repo
To associate your repository with the idris topic, visit your repo's landing page and select "manage topics."