idris
Here are 249 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
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 theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
-
Updated
Sep 12, 2018 - Idris
Collaborative documentation for and from Jean Zay users. Official Jean Zay documentation: http://www.idris.fr/eng/jean-zay/
-
Updated
Jul 21, 2023
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
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."