|
|
Haskell |
464 |
A demo implementation of a simple dependently-typed language |
Apr 24, 2023 |
|
|
Kotlin |
3 |
A dependently-typed programming language for Minecraft |
Apr 15, 2023 |
|
|
None |
7 |
A Dependently Typed Functional Programming Language |
Jul 12, 2022 |
|
|
Haskell |
7 |
A Dependently Typed Functional Programming Language |
Jul 17, 2019 |
|
|
Haskell |
3363 |
A Dependently Typed Functional Programming Language |
Aug 22, 2022 |
|
|
Haskell |
2 |
A Dependently Typed Functional Programming Language |
Aug 04, 2014 |
|
|
Scheme |
17 |
Cur dependently-typed language in miniKanren. |
Feb 11, 2023 |
|
|
Haskell |
5 |
Dependently typed purely functional programming language |
Sep 08, 2020 |
|
|
Kotlin |
2 |
An experimental implementation of a dependently typed language in Kotlin |
May 23, 2023 |
|
|
Haskell |
22 |
Dependently typed programming language written in Haskell |
Feb 28, 2022 |
|
|
OCaml |
4 |
An implementation of dependently typed lambda calculus |
Jul 18, 2022 |
|
|
Idris |
68 |
A core language and API for dependently typed languages |
Aug 26, 2022 |
|
|
TypeScript |
4 |
dependently-typed language (baking little pie) in javascript |
Apr 18, 2020 |
|
|
Agda |
35 |
Basics of the dependently-typed functional language Agda ^_^ |
Mar 07, 2023 |
|
|
Haskell |
3 |
Dependently typed programming language implemented in Literate Haskell. |
Aug 08, 2021 |
|
|
Haskell |
29 |
Work-in-progress functional dependently typed programming language |
May 16, 2023 |
|
|
Idris |
918 |
A dependently typed programming language, a successor to Idris |
Aug 20, 2022 |
|
|
C |
5 |
Dependently typed resource DSL |
Sep 18, 2021 |
|
|
OCaml |
9 |
Dependently typed lambda calculus - A Simple Proof Assistant |
Jun 04, 2022 |
|
|
TeX |
2 |
A totality checker for a dependently typed language implemented in Haskell. |
May 05, 2021 |
|
|
C |
3 |
Dependently typed DSLs for network protocols |
Nov 07, 2021 |
|
|
Idris |
4 |
Facilities for generating dependently-typed data |
Feb 10, 2023 |
|
|
Haskell |
12 |
Combinators for manipulating dependently-typed predicates. |
Dec 30, 2022 |
|
|
C |
2 |
Dependently typed DSLs for network protocols |
Oct 05, 2013 |
|
|
Haskell |
1913 |
Agda is a dependently typed programming language / interactive theorem prover. |
Aug 30, 2022 |
|
|
Haskell |
2 |
Agda is a dependently typed programming language / interactive theorem prover. |
Dec 02, 2022 |
|
|
PureScript |
5 |
Dependently-typed vectors in purescript |
Dec 17, 2021 |
|
|
Haskell |
33 |
Dependently typed convolutional neural networks |
Jan 12, 2023 |
|
|
Haskell |
9 |
Dependently typed lambda calculus interpreter |
May 05, 2021 |
|
|
TypeScript |
35 |
Collection of Dependently-typed stuff |
Mar 25, 2023 |
|
|
Haskell |
813 |
A dependently-typed programming language with compile-time malloc/free determination |
Nov 30, 2022 |
|
|
Idris |
3 |
A dependently typed server framework for Idris |
Sep 20, 2021 |
|
|
Haskell |
12 |
A dependently typed actor framework for haskell. |
Mar 27, 2023 |
|
|
Haskell |
26 |
Dependently typed elimination functions using singletons |
Mar 23, 2022 |
|
|
Agda |
24 |
Dependently typed Algorithm M and friends |
Mar 03, 2023 |
|
|
Haskell |
289 |
Examples of Dependently-typed programs in Haskell |
Apr 09, 2023 |
|
|
Haskell |
57 |
Dependently-typed finite maps (partial dependent products) |
Mar 20, 2022 |
|
|
Swift |
3 |
A library for pretending that Swift is dependently typed |
Mar 18, 2023 |
|
|
Scheme |
2 |
Playing around with Chez Scheme for a statically (dependently)-typed language I've been thinking about |
Jul 10, 2020 |
|
|
Agda |
12 |
A Dependently Typed Linear π-Calculus in Agda |
Nov 10, 2022 |
|
|
Idris |
2 |
Dependently typed N-dimensional array type signatures for Idris (2). |
May 05, 2022 |
|
|
Agda |
19 |
A dependently typed type checker for a TT with intervals |
Apr 11, 2022 |
|
|
Scala |
2 |
Simple, object-oriented, statically typed programming language and VM implementation. |
Aug 15, 2022 |
|
|
Rust |
4 |
A dependently-typed lisp and proof assistant [IN DEVELOPMENT] |
Jun 08, 2022 |
|
|
Haskell |
5 |
A dependently-typed interactive theorem prover with waldmeister integration |
Mar 21, 2017 |
|
|
Agda |
2 |
Type-preserving CPS translation for simply- and dependently-typed lambda calculi |
Sep 16, 2017 |
|
|
Coq |
650 |
A dependently-typed proof language intended to make provably correct bare metal code possible for working … |
Jun 12, 2022 |
|
|
Haskell |
98 |
A prototypical dependently typed languages with sized types and variances |
Apr 13, 2023 |
|
|
C# |
2 |
Typed, Embedded Logic Language: A simple query language for C# |
Apr 15, 2023 |
|
|
Crystal |
29 |
Simple, interpreted, dynamically-typed programming language |
Mar 18, 2023 |