|
Rust |
2 |
a generic multi-paradigm programming language |
Jun 27, 2018 |
|
Haskell |
5 |
Experimental multi-paradigm programming language with full type inference. |
Oct 07, 2022 |
|
Kotlin |
2 |
A simple multi-paradigm, Haskell/Java-inspired programming language |
Jan 28, 2023 |
|
JavaScript |
2 |
A small multi-paradigm transpiled (soon compiled) programming language. 💫 |
Sep 14, 2023 |
|
Haskell |
19 |
A language with dependent types |
Jun 23, 2020 |
|
Haskell |
7 |
A language with dependent types |
Aug 02, 2017 |
|
Kotlin |
4 |
A concise and powerful multi-paradigm programming language for the JVM. |
Apr 21, 2022 |
|
Idris |
5 |
TicTacToe using dependent types |
Feb 24, 2020 |
|
Python |
25 |
Asteroid is a modern, multi-paradigm programming language supporting first-class patterns. |
Jun 07, 2022 |
|
C |
180 |
Dictu is a high-level dynamically typed, multi-paradigm, interpreted programming language. |
Aug 23, 2022 |
|
Idris |
3 |
Dependent Types research in the Idris language |
Feb 01, 2021 |
|
Haskell |
10 |
Haskell routes using dependent types |
Dec 12, 2020 |
|
Idris |
9 |
Verified networking using dependent types |
Sep 02, 2021 |
|
Swift |
40 |
An experimental functional programming language with dependent types, inspired by Swift and Idris. |
Apr 13, 2022 |
|
Elm |
12 |
A multi paradigm scripting language for elm |
Sep 13, 2022 |
|
Coq |
3 |
messing around with "Certified Programming with Dependent Types" |
Mar 02, 2023 |
|
Haskell |
13 |
Label dependent dependent session types |
Jul 19, 2022 |
|
C++ |
3 |
Embeddable AST (tree-walking) interpreter for Methan0l, a dynamically-typed multi-paradigm interpreted programming language |
Apr 29, 2023 |
|
Python |
3 |
An interpreted statically typed multi paradigm general purpose programming language designed for cross platform applications. |
May 02, 2023 |
|
C++ |
13 |
Multi-Paradigm Programming with Modern C++, published by Packt |
May 26, 2022 |
|
Java |
6 |
Concurrency Patterns deal with the multi-threaded programming paradigm. |
Jul 24, 2022 |
|
Haskell |
263 |
Fake dependent types in Haskell using singletons |
Jul 17, 2022 |
|
Go |
4 |
Teko is a structurally typed, multi-paradigm scripting language. |
Jul 08, 2022 |
|
Idris |
13 |
A translation of Certified Programming with Dependent Types to Idris. |
Aug 24, 2017 |
|
C |
3 |
Binding to Berry language |
Nov 25, 2022 |
|
Haskell |
3 |
implementation of an escher drawing using the functional programming paradigm in Haskell language |
Feb 18, 2022 |
|
JavaScript |
64 |
A minimal pure functional language based on self dependent types. |
Mar 24, 2023 |
|
HTML |
2 |
Programming paradigm notes |
Dec 16, 2021 |
|
Lean |
10 |
Lean implementations of things found in Certified Programming with Dependent Types |
Jan 04, 2023 |
|
C |
6 |
The Berry language for STM32F103. |
Mar 21, 2022 |
|
C++ |
242 |
HeteroCL: A Multi-Paradigm Programming Infrastructure for Software-Defined Heterogeneous Computing |
Aug 16, 2022 |
|
C++ |
3 |
HeteroCL: A Multi-Paradigm Programming Infrastructure for Software-Defined Heterogeneous Computing |
Feb 07, 2021 |
|
None |
2 |
Utility functions for Go using functional programming paradigm |
Mar 04, 2023 |
|
C++ |
5 |
Code to handle certain Windows types using the RAII paradigm |
Aug 02, 2022 |
|
None |
2 |
Code to handle certain Windows types using the RAII paradigm |
Jul 04, 2022 |
|
JavaScript |
2 |
Multi programming language StateSmith tutorial |
Sep 23, 2023 |
|
Haskell |
4 |
trying to grok dependent types |
May 26, 2021 |
|
Idris |
7 |
Experiments with dependent modal types |
Sep 13, 2019 |
|
Haskell |
19 |
Educational implementation of dependent types |
Oct 21, 2021 |
|
TeX |
110 |
Staged compilation with dependent types |
Mar 07, 2023 |
|
TeX |
3 |
A LUG Talk about Idris, a general purpose language with dependent types. |
Jul 30, 2022 |
|
Lean |
36 |
A verifiable computing language |
Oct 11, 2022 |
|
Agda |
3 |
Dependent Stringly-Typed Programming |
Sep 08, 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 |
|
Python |
3 |
paradigm of programming with sml |
Sep 19, 2022 |
|
JavaScript |
16 |
A Tool for Multi-Paradigm Modeling |
Jan 05, 2022 |
|
Go |
3 |
OpenRTB v2.3.1 types for Go programming language (golang) |
Aug 20, 2020 |