|
|
None |
11 |
A list of resources for functional programming (Functors, Monads, etc.) |
May 27, 2023 |
|
|
None |
1839 |
A collection of resources for learning type theory and type theory adjacent fields. |
May 01, 2023 |
|
|
Agda |
6 |
Category theory applied to functional programming |
Jun 02, 2020 |
|
|
None |
91 |
Functional programming and type systems |
May 28, 2023 |
|
|
JavaScript |
194 |
Functional programming and category theory for everyday JavaScript development |
Mar 23, 2023 |
|
|
Haskell |
4 |
Type inference algorithms for functional programming languages |
May 12, 2023 |
|
|
Haskell |
124 |
Deep learning via category theory and functional programming |
Nov 18, 2022 |
|
|
TeX |
28 |
Category theory applied to functional programming (undergraduate project) |
May 13, 2022 |
|
|
Rust |
2 |
Type-safe Graphics Programming with Functional Shaders |
Apr 27, 2023 |
|
|
Agda |
3 |
An untyped programming language based on polarized type theory. |
Dec 11, 2021 |
|
|
TeX |
14 |
Directed type theory for formal category theory |
Nov 25, 2021 |
|
|
OCaml |
14 |
A type-safe, stack-based functional programming language |
Jul 01, 2022 |
|
|
PureScript |
40 |
Higher order functional programming in PureScript's type system |
Apr 13, 2023 |
|
|
OCaml |
19 |
Type-and-example-driven program synthesis for functional programming languages |
Jul 23, 2022 |
|
|
JavaScript |
48 |
A Nodeschool type workshop for Functional Reactive Programming and Bacon.js |
May 12, 2021 |
|
|
Rust |
296 |
A pure functional language for type-level programming in Rust |
Apr 26, 2023 |
|
|
Coq |
4 |
Homotopy type theory |
Apr 18, 2021 |
|
|
OCaml |
235 |
Spartan type theory |
Apr 21, 2023 |
|
|
Coq |
2 |
Homotopy type theory |
Feb 05, 2021 |
|
|
OCaml |
3 |
Layout Type Theory |
Jan 28, 2023 |
|
|
Coq |
59 |
Hoare Type Theory |
Apr 17, 2023 |
|
|
TeX |
17 |
Cohesive type theory |
Dec 06, 2021 |
|
|
Coq |
12 |
Homotopy type theory |
Mar 15, 2023 |
|
|
Verilog |
2 |
Homotopy type theory |
Apr 22, 2020 |
|
|
C++ |
29 |
classical density-functional theory |
May 22, 2022 |
|
|
None |
3 |
A Collection of precious resources about functional programming |
Mar 04, 2023 |
|
|
Fortran |
2 |
Density Functional Theory for Extreme Conditions |
Aug 19, 2023 |
|
|
Rust |
5 |
A functional programming language with Hindley-Milner type inference |
Jan 30, 2022 |
|
|
Haskell |
87 |
Haskell Functional Reactive Programming framework with type-level clocks |
Apr 18, 2023 |
|
|
Haskell |
6 |
A type checker for a dependent type theory. |
May 25, 2020 |
|
|
None |
2 |
Yet another resource for collecting articles, videos etc. regarding functional programming |
Mar 05, 2023 |
|
|
None |
3293 |
Yet another resource for collecting articles, videos etc. regarding functional programming |
Apr 28, 2023 |
|
|
None |
3 |
Yet another resource for collecting articles, videos etc. regarding functional programming |
Jun 07, 2017 |
|
|
None |
14 |
Yet another resource for collecting articles, videos etc. regarding functional programming |
Nov 15, 2022 |
|
|
None |
2 |
some resources that have helped me learn functional programming |
Nov 02, 2020 |
|
|
Haskell |
50 |
Quantitative Type Theory implementation |
Mar 16, 2023 |
|
|
Haskell |
37 |
Setoid type theory implementation |
Mar 31, 2023 |
|
|
TeX |
2 |
Notes on type theory. |
Aug 05, 2021 |
|
|
Haskell |
25 |
A Teeny Type Theory |
Sep 12, 2022 |
|
|
TeX |
12 |
Type theory (IFMO, 2014) |
May 18, 2020 |
|
|
HTML |
8 |
Internalizing intensional type theory |
Mar 07, 2023 |
|
|
TeX |
2 |
Report for "A Basis for Event-Driven Programming" based on Linear Temporal Type Theory |
Apr 14, 2022 |
|
|
None |
136 |
A collection of resources to introduce functional programming for PHP programmers. |
Mar 13, 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 |
|
|
Java |
47 |
Educational Proof Assistant for Type Theory |
Apr 21, 2023 |
|
|
JavaScript |
2 |
A functional music theory library for Javascript |
Jun 03, 2022 |
|
|
C++ |
75 |
JDFTx: software for joint density functional theory |
Apr 07, 2023 |
|
|
TypeScript |
2514 |
A functional music theory library for Javascript |
May 09, 2023 |
|
|
JavaScript |
2 |
A functional music theory library for Javascript |
Mar 26, 2022 |