|
|
Haskell |
13 |
Label dependent dependent session types |
Jul 19, 2022 |
|
|
Idris |
5 |
TicTacToe using dependent types |
Feb 24, 2020 |
|
|
Haskell |
4 |
trying to grok dependent types |
May 26, 2021 |
|
|
Idris |
7 |
Experiments with dependent modal types |
Sep 13, 2019 |
|
|
Haskell |
10 |
Haskell routes using dependent types |
Dec 12, 2020 |
|
|
Haskell |
19 |
A language with dependent types |
Jun 23, 2020 |
|
|
TeX |
110 |
Staged compilation with dependent types |
Mar 07, 2023 |
|
|
Idris |
9 |
Verified networking using dependent types |
Sep 02, 2021 |
|
|
Haskell |
7 |
A language with dependent types |
Aug 02, 2017 |
|
|
Coq |
5 |
Dependent Object Types (DOT), bottom up |
Jan 10, 2019 |
|
|
Idris |
40 |
Accelerated machine learning with dependent types |
May 10, 2023 |
|
|
Coq |
74 |
Dependent Object Types (DOT), bottom up |
Mar 20, 2023 |
|
|
Haskell |
73 |
Tiny type-checker with dependent types |
Mar 16, 2023 |
|
|
Haskell |
263 |
Fake dependent types in Haskell using singletons |
Jul 17, 2022 |
|
|
Idris |
3 |
Dependent Types research in the Idris language |
Feb 01, 2021 |
|
|
OCaml |
30 |
Linear Dependent Types for Differential Privacy TypeChecker |
Apr 19, 2023 |
|
|
Coq |
3 |
messing around with "Certified Programming with Dependent Types" |
Mar 02, 2023 |
|
|
Coq |
64 |
A Specification for Dependent Types in Haskell (Core) |
Mar 02, 2023 |
|
|
None |
147 |
formalization of the Dependent Object Types (DOT) calculus |
May 05, 2023 |
|
|
Haskell |
2 |
Modeling state machine with dependent types - code for post |
Nov 13, 2022 |
|
|
Haskell |
10 |
bollu learns implementation of dependent typing |
Jul 20, 2022 |
|
|
JavaScript |
64 |
A minimal pure functional language based on self dependent types. |
Mar 24, 2023 |
|
|
Idris |
13 |
A translation of Certified Programming with Dependent Types to Idris. |
Aug 24, 2017 |
|
|
OCaml |
7 |
A termination checker for higher-order rewriting with dependent types |
Jan 12, 2022 |
|
|
TeX |
8 |
LaTeX source for Sized Dependent Types via Extensional Type Theory |
Apr 30, 2023 |
|
|
Rust |
4 |
Schnorr bip educational implementation |
May 27, 2021 |
|
|
JavaScript |
10 |
Plain (educational) promise implementation |
Jun 30, 2021 |
|
|
C# |
3 |
C# implementation of the dependent random algorithm |
Nov 23, 2022 |
|
|
Haskell |
3 |
A reference copy of PiSigma: dependent types with without the sugar |
Jul 31, 2022 |
|
|
C++ |
3 |
Berry is a verifiable, multi-paradigm programming language using dependent types. |
Feb 22, 2022 |
|
|
Lean |
10 |
Lean implementations of things found in Certified Programming with Dependent Types |
Jan 04, 2023 |
|
|
C++ |
5 |
Rewrite of Impala using dependent types and a PTS. Builds upon Thorin2. |
Feb 09, 2022 |
|
|
TeX |
3 |
A LUG Talk about Idris, a general purpose language with dependent types. |
Jul 30, 2022 |
|
|
None |
2 |
An educational implementation Gaussian processes. |
Jul 04, 2022 |
|
|
Swift |
2 |
Educational app to learn about different types of eye diseases. |
Oct 28, 2019 |
|
|
Swift |
40 |
An experimental functional programming language with dependent types, inspired by Swift and Idris. |
Apr 13, 2022 |
|
|
Agda |
12 |
College assignment writing in which I ramble about type classes and dependent types. |
Oct 25, 2022 |
|
|
Ruby |
4 |
Ruby MIME::Types implementation |
Jan 03, 2022 |
|
|
Ruby |
2 |
Ruby MIME::Types implementation |
Aug 13, 2019 |
|
|
Ruby |
2 |
Ruby MIME::Types implementation |
May 17, 2021 |
|
|
C |
8 |
Educational persistent vector implementation in C |
Jun 07, 2021 |
|
|
Fortran |
4 |
A modern Fortran GWMFE implementation for time dependent PDE systems |
Apr 25, 2023 |
|
|
Python |
36 |
Verilog implementation of the educational "Simplez" processor |
Oct 28, 2022 |
|
|
PHP |
2 |
A PHP blockchain implementation for educational purposes. |
Mar 17, 2022 |
|
|
Java |
3 |
Vulnerable Android WebView implementation for educational purposes. |
Oct 10, 2021 |
|
|
C |
55 |
A simplified educational Dalvik virtual machine implementation |
Jul 01, 2022 |
|
|
Python |
53 |
Educational implementation of BWT and FM-index |
Mar 21, 2023 |
|
|
Kotlin |
3 |
Educational implementation of the original Thorin paper |
Oct 21, 2020 |
|
|
Haskell |
6 |
Experimental educational implementation of CrossCat in Haskell |
Jun 14, 2018 |
|
|
Objective-C |
11 |
Implementation of ObjC refcounting, for educational purposes |
Nov 16, 2021 |