|
Haskell |
10 |
Simple Dependent Type Checker |
Apr 26, 2023 |
|
OCaml |
7 |
Minimal core language based on dependent function type, dependent pair type, recursive type, sum type … |
Feb 19, 2023 |
|
CoffeeScript |
2 |
very simple dependent device gateway example |
Dec 17, 2018 |
|
Haskell |
2 |
A simple elaborator for dependent type theory |
Dec 28, 2021 |
|
C |
4 |
lisp based very fast functional language |
Aug 23, 2017 |
|
JavaScript |
64 |
A minimal pure functional language based on self dependent types. |
Mar 24, 2023 |
|
Rust |
93 |
Functional language with a powerful type system. |
Apr 13, 2023 |
|
Coq |
20 |
Graded Dependent Type systems |
Sep 27, 2022 |
|
Rust |
2 |
Simple functional programming language |
Dec 30, 2020 |
|
Python |
2 |
Simple functional programming language |
Mar 18, 2014 |
|
OCaml |
14 |
A type-safe, stack-based functional programming language |
Jul 01, 2022 |
|
Scala |
21 |
IO Type for Android + modern, functional UI language |
May 30, 2019 |
|
Swift |
40 |
An experimental functional programming language with dependent types, inspired by Swift and Idris. |
Apr 13, 2022 |
|
Haskell |
6 |
A type checker for a dependent type theory. |
May 25, 2020 |
|
Rust |
5 |
A functional programming language with Hindley-Milner type inference |
Jan 30, 2022 |
|
HTML |
56 |
A pure functional type-inferred language based on JavaScript |
May 27, 2022 |
|
Shell |
2 |
A very simple markup language |
May 04, 2023 |
|
C |
4 |
A very simple programming language |
May 16, 2022 |
|
JavaScript |
28 |
Functional Enum type / Sum type for javascript with simple pattern matching |
Apr 10, 2021 |
|
C++ |
3 |
Very very simple example DNA based programming language |
Feb 06, 2023 |
|
None |
2 |
An experimental type checker for a dependent type theory. |
Oct 11, 2021 |
|
Objective-C++ |
5 |
Metamath database for dependent type theory |
May 12, 2022 |
|
Haskell |
73 |
Tiny type-checker with dependent types |
Mar 16, 2023 |
|
Java |
2 |
A simple but very functional Entity-Component system |
Aug 17, 2020 |
|
JavaScript |
4 |
A simple functional web client language |
Oct 21, 2013 |
|
JavaScript |
286 |
A ready-to-fork interpreted functional language with type inference |
Sep 09, 2022 |
|
Rust |
296 |
A pure functional language for type-level programming in Rust |
Apr 26, 2023 |
|
OCaml |
106 |
An experimental type checker for a modal dependent type theory. |
Jan 29, 2023 |
|
Haskell |
19 |
A language with dependent types |
Jun 23, 2020 |
|
Haskell |
7 |
A language with dependent types |
Aug 02, 2017 |
|
JavaScript |
2 |
simply - A very simple scripting language |
Jan 27, 2023 |
|
Haskell |
13 |
A concurrent, object-oriented, functional programming language with a very strong type system. NOTE: Not to … |
Aug 13, 2019 |
|
Agda |
41 |
Minimalistic dependent type theory with syntactic metaprogramming |
Mar 20, 2023 |
|
JavaScript |
2 |
A simple functional programming language for fun. |
Jul 15, 2019 |
|
JavaScript |
170 |
A simple functional language target to JavaScript |
Apr 12, 2023 |
|
Scala |
2 |
Simple pure functional language with static typing. |
May 25, 2014 |
|
C++ |
3 |
Simple Type-Annotated Programming Language (WIP) |
Feb 17, 2023 |
|
C++ |
5 |
Very simple language translator written in C++. |
Jul 29, 2021 |
|
C++ |
2 |
Phg is a very simple programming language. |
Feb 01, 2023 |
|
Haskell |
4 |
A purely-functional programming language with Hindley-Milner type inference and `callcc`. |
May 18, 2022 |
|
OCaml |
12 |
Grimheart is a purely functional programming language with a rich type system. |
Jan 21, 2022 |
|
OCaml |
959 |
:candy: a functional language for building type-safe, scalable, and maintainable applications |
Aug 10, 2022 |
|
Rust |
2 |
a functional programming language with a rich type system and concise syntax |
Jul 14, 2022 |
|
Haskell |
449 |
Minimal implementations for dependent type checking and elaboration |
Apr 24, 2023 |
|
Haskell |
3 |
Simple purely functional language based on lambda-calculus. |
Feb 11, 2022 |
|
Rust |
141 |
An insanely simple self-hosted functional programming language |
Apr 29, 2023 |
|
Haskell |
10 |
Compiler from a simple functional language to GRIN. |
May 31, 2022 |
|
JavaScript |
3 |
Very functional general purpose bot. |
Jul 02, 2022 |
|
JavaScript |
73 |
Type-safe, functional lens library |
Sep 27, 2022 |
|
None |
91 |
Functional programming and type systems |
May 28, 2023 |