|
|
Haskell |
19 |
A language with dependent types |
Jun 23, 2020 |
|
|
Haskell |
7 |
A language with dependent types |
Aug 02, 2017 |
|
|
Swift |
40 |
An experimental functional programming language with dependent types, inspired by Swift and Idris. |
Apr 13, 2022 |
|
|
None |
4 |
functional type-dependent (very simple) language |
Feb 03, 2023 |
|
|
C# |
41 |
A pure functional programming language based on C#. |
Apr 24, 2023 |
|
|
Haskell |
11 |
Pure functional programming language |
Aug 27, 2022 |
|
|
Idris |
3 |
Dependent Types research in the Idris language |
Feb 01, 2021 |
|
|
HTML |
56 |
A pure functional type-inferred language based on JavaScript |
May 27, 2022 |
|
|
Haskell |
2 |
Pure Functional Joke Programming Language |
Aug 27, 2022 |
|
|
Haskell |
24 |
Auto-parallelizing Pure Functional Language |
Mar 19, 2020 |
|
|
JavaScript |
6 |
spinoza pure functional programming language |
Dec 16, 2022 |
|
|
Haskell |
13 |
Label dependent dependent session types |
Jul 19, 2022 |
|
|
Rust |
2 |
A mostly pure functional programming language |
Jun 13, 2022 |
|
|
Rust |
23 |
A (nearly) pure functional programming language. |
Mar 03, 2023 |
|
|
OCaml |
7 |
Minimal core language based on dependent function type, dependent pair type, recursive type, sum type … |
Feb 19, 2023 |
|
|
Scala |
2 |
Simple pure functional language with static typing. |
May 25, 2014 |
|
|
Idris |
5 |
TicTacToe using dependent types |
Feb 24, 2020 |
|
|
Rust |
3 |
Minimal, interpreted, statically typed functional programming language. |
Aug 01, 2022 |
|
|
C++ |
3 |
Berry is a verifiable, multi-paradigm programming language using dependent types. |
Feb 22, 2022 |
|
|
Java |
8 |
Fault-Tolerant Pure Functional Programming Language For JVM |
May 29, 2022 |
|
|
Haskell |
5 |
A pure functional language that compiles to PHP |
Jul 09, 2020 |
|
|
Rust |
141 |
An insanely simple self-hosted functional programming language |
Apr 29, 2023 |
|
|
JavaScript |
3 |
Minimal interpreter of functional language, writen in JavaScript |
May 11, 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 |
Educational implementation of dependent types |
Oct 21, 2021 |
|
|
TeX |
110 |
Staged compilation with dependent types |
Mar 07, 2023 |
|
|
Idris |
9 |
Verified networking using dependent types |
Sep 02, 2021 |
|
|
Scala |
2 |
functional types |
Nov 18, 2017 |
|
|
TeX |
3 |
A LUG Talk about Idris, a general purpose language with dependent types. |
Jul 30, 2022 |
|
|
Idris |
1807 |
A purely functional programming language with first class types |
Sep 02, 2022 |
|
|
Idris |
53 |
A purely functional programming language with first class types |
Jun 04, 2022 |
|
|
Scala |
211 |
A python-ish pure and total functional programming language |
Oct 08, 2022 |
|
|
Rust |
14 |
The uncurried minimal functional programming language for CPS transformation |
Aug 10, 2022 |
|
|
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 |
|
|
Racket |
2 |
Feature-rich sudoku application coded entirely in a Lisp-based, pure-functional language (Racket ISL). |
Feb 24, 2022 |
|
|
Scala |
7 |
Prototype functional programming language with refinement types, powered by Inox |
Jul 17, 2020 |
|
|
Haskell |
4 |
A purely functional programming language with support for substructural types. |
Apr 16, 2023 |
|
|
Zig |
2 |
Experimental, pure-functional expression language in a single zig file |
Jun 02, 2022 |
|
|
Rust |
296 |
A pure functional language for type-level programming in Rust |
Apr 26, 2023 |
|
|
C |
4 |
lisp based very fast functional language |
Aug 23, 2017 |
|
|
JavaScript |
3 |
Functional programming based on JavaScript language |
Nov 08, 2020 |
|
|
JavaScript |
14 |
A minimal, functional language focused on data analysis and visualization |
Dec 16, 2020 |
|
|
Haskell |
263 |
Fake dependent types in Haskell using singletons |
Jul 17, 2022 |
|
|
OCaml |
30 |
Linear Dependent Types for Differential Privacy TypeChecker |
Apr 19, 2023 |
|
|
Logos |
2 |
A subset of RFUN, a reversible functional language with algebraic types |
Jan 02, 2018 |