|
|
Idris |
13 |
Experiments with modal types |
Oct 20, 2020 |
|
|
Haskell |
19 |
A language with dependent types |
Jun 23, 2020 |
|
|
TeX |
110 |
Staged compilation with dependent types |
Mar 07, 2023 |
|
|
Haskell |
7 |
A language with dependent types |
Aug 02, 2017 |
|
|
Haskell |
13 |
Label dependent dependent session types |
Jul 19, 2022 |
|
|
Idris |
40 |
Accelerated machine learning with dependent types |
May 10, 2023 |
|
|
Haskell |
73 |
Tiny type-checker with dependent types |
Mar 16, 2023 |
|
|
Idris |
12 |
Experiments with linear types |
Jul 09, 2019 |
|
|
Coq |
3 |
messing around with "Certified Programming with Dependent Types" |
Mar 02, 2023 |
|
|
Idris |
5 |
TicTacToe using dependent types |
Feb 24, 2020 |
|
|
Idris |
4 |
Selective functors in Idris |
Sep 25, 2020 |
|
|
Idris |
4 |
Refutation and paraconsistent calculi |
Dec 12, 2020 |
|
|
Idris |
4 |
Think Bayes in Idris |
Feb 24, 2020 |
|
|
Idris |
4 |
Removes trailing whitespace from .idr files and makes sure they end with exactly one newline. |
Dec 17, 2021 |
|
|
Idris |
4 |
None |
Dec 17, 2021 |
|
|
Idris |
4 |
Efficient, stack-safe implementation of freer monads. |
Dec 17, 2021 |
|
|
Idris |
4 |
Sparse, simple graphs in Idris2 |
Jun 26, 2022 |
|
|
Idris |
4 |
None |
Jan 04, 2020 |
|
|
Idris |
4 |
SDL2 binding for Idris |
Jan 07, 2021 |
|
|
Idris |
4 |
Idris bindings for libsodium |
Dec 13, 2019 |
|
|
Idris |
5 |
Trees in Idris |
Jan 06, 2021 |
|
|
Idris |
5 |
Logical relations and normalisation |
Feb 17, 2021 |
|
|
Idris |
5 |
Extensible,stack safe effects for Idris2 |
Jun 14, 2022 |
|
|
Idris |
5 |
None |
May 01, 2022 |
|
|
Idris |
5 |
An IO streaming library for Idris2 |
May 01, 2022 |
|
|
Idris |
5 |
Hash-array map tries in Idris2 |
May 07, 2022 |
|
|
Idris |
5 |
Interfaces for heyting algebras and verified bounded join and meet semilattices |
Feb 27, 2021 |
|
|
Idris |
6 |
Explicit substitution calculi |
Mar 29, 2021 |
|
|
Idris |
6 |
Axioms and Propositions for Primitives in Idris2 |
Jul 14, 2022 |
|
|
Idris |
6 |
An implementation of the Lambda Cube in Idris. |
Sep 17, 2019 |
|
|
Idris |
6 |
Idris wrapper for jgm's Markdown parser |
Sep 30, 2019 |
|
|
Idris |
7 |
Experimental TodoMVC implementation in Idris2 using rhone-js |
Apr 23, 2022 |
|
|
Idris |
7 |
Small async library for idris2, inspired by purescript-aff |
Nov 24, 2021 |
|
|
Idris |
7 |
Following along with the paper "The Practical Guide to Levitation" by Ahmad Salim Al-Sibahi |
Jun 08, 2020 |
|
|
Idris |
7 |
Evaluating & benchmarking ZKP compilation strategies. |
Sep 08, 2022 |
|
|
Idris |
8 |
Specifications for the Anoma protocols. |
Jun 28, 2022 |
|
|
Idris |
9 |
Interface for types that can be hashed. |
Apr 28, 2022 |
|
|
Idris |
9 |
Idris parser and serializer/deserealizer for TL language |
Nov 15, 2019 |
|
|
Idris |
9 |
Idris 2 static web blog generator. More like proof of concept, everything could change, not … |
May 25, 2022 |
|
|
Idris |
9 |
Concurrent IO language with Uniqueness Types |
Feb 24, 2020 |
|
|
Idris |
10 |
Idris2 Rust backend |
Feb 04, 2022 |
|
|
Idris |
10 |
Automatically derivable JSON marshallers in the spirit of Haskell's aeson |
Apr 28, 2022 |
|
|
Idris |
11 |
None |
Aug 05, 2022 |
|
|
Idris |
12 |
Golden tests for command-line interfaces. |
Feb 25, 2022 |
|
|
Idris |
12 |
Provably total, tail-call optimized monadic recursion in Idris2 |
May 19, 2022 |
|
|
Idris |
12 |
Experimental normalisation via scheme |
Oct 06, 2021 |
|
|
Idris |
13 |
New version of Effects library with dependent states |
Jun 13, 2018 |
|
|
Idris |
14 |
Codes related to Idris |
Mar 07, 2021 |
|
|
Idris |
546 |
A prototype successor to Idris |
Aug 20, 2022 |
|
|
Idris |
918 |
A dependently typed programming language, a successor to Idris |
Aug 20, 2022 |