-
Updated
Feb 6, 2020 - Idris
#
dependent-types
Here are 40 public repositories matching this topic...
Unusable Resource-dependent algebraic effects library in Idris 2.
-
Updated
May 29, 2021 - Idris
dependently typed Statebox (heavy WIP)
-
Updated
Nov 2, 2016 - Idris
-
Updated
Aug 4, 2017 - Idris
Notes and exercises from "Type-Driven Development with Idris"
-
Updated
Aug 11, 2018 - Idris
Experiments with dependently-typed programming in Idris2
-
Updated
Nov 17, 2021 - Idris
Dependently typed N-dimensional array type signatures for Idris (2).
-
Updated
May 5, 2022 - Idris
Exam project for "Programming with dependent types using Idris" course
-
Updated
Apr 8, 2017 - Idris
Guess success probability slider, for plotting the evolution of password guessing attacks.
-
Updated
Dec 30, 2023 - Idris
insertion sort and bubble sort implementations carrying proofs of correctness
-
Updated
Jun 9, 2022 - Idris
Palpatine is an STV Vote Counter implemented in Idris.
-
Updated
Apr 17, 2018 - Idris
A programming language based on extensional Martin Lof Type Theory
programming-language dependent-types functional-programming logic type-theory idris dependent-type-theory idris2
-
Updated
Aug 10, 2024 - Idris
Dependently typed core calculus with erasure
-
Updated
Aug 31, 2021 - Idris
Parser combinators for the number part of the game Countdown in Idris
-
Updated
Aug 28, 2017 - Idris
Schema-safe http api using Idris+Rust
-
Updated
Jan 12, 2019 - Idris
Improve this page
Add a description, image, and links to the dependent-types topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the dependent-types topic, visit your repo's landing page and select "manage topics."