|
Haskell |
71 |
Haskell 98 contravariant functors |
Oct 21, 2021 |
|
PureScript |
8 |
Contravariant functors |
Mar 14, 2022 |
|
Haskell |
4 |
Simple tracing by way of contravariant functors |
Nov 21, 2021 |
|
Haskell |
2 |
Haskell bidirectional arrows, bijective functions, and invariant functors |
Dec 07, 2021 |
|
Idris |
2 |
Functors |
Oct 07, 2021 |
|
Haskell |
3 |
Extras for the "contravariant" package |
Nov 02, 2021 |
|
Haskell |
19 |
:beetle: Implementing jq in Haskell |
Mar 10, 2023 |
|
PHP |
344 |
Functors, Applicative Functors and Monads in PHP |
Feb 26, 2023 |
|
Haskell |
42 |
A really small example of the Backpack module system for Haskell |
Mar 29, 2023 |
|
PureScript |
6 |
Invariant functors |
Mar 14, 2022 |
|
Haskell |
9 |
representable functors |
Apr 06, 2020 |
|
PureScript |
14 |
Unfoldable functors |
Mar 14, 2022 |
|
Haskell |
22 |
keyed functors |
Nov 10, 2021 |
|
Haskell |
6 |
Implementing Quake 3 in Haskell & Vulkan |
Jun 29, 2022 |
|
Haskell |
2 |
Implementing the Collatz Conjecture in Haskell |
Apr 19, 2023 |
|
Haskell |
4 |
Small Haskell DBus implementation |
Dec 05, 2019 |
|
Haskell |
7 |
Small tutorials with haskell |
Oct 11, 2019 |
|
Haskell |
5 |
👨💻 Implementing System T in Haskell 👨💻 |
Jul 18, 2022 |
|
Haskell |
2 |
A haskell library implementing the Kademlia DHT |
Mar 11, 2020 |
|
Haskell |
83 |
A Haskell library implementing the Noise protocol. |
Apr 30, 2022 |
|
Haskell |
22 |
Haskell library implementing the OANDA REST API |
Jan 28, 2023 |
|
Haskell |
10 |
Haskell library implementing parametric compositional data types. |
Oct 01, 2020 |
|
Haskell |
4 |
Free applicative functors |
Jul 14, 2017 |
|
Haskell |
5 |
Higher-order Functors |
Oct 23, 2020 |
|
Python |
9 |
Python Module implementing SRP |
Jul 28, 2022 |
|
Haskell |
2 |
A small haskell battleship game |
Apr 06, 2023 |
|
Haskell |
26 |
A small 2D game framework in Haskell, for Haskell |
Oct 02, 2022 |
|
Haskell |
23 |
A Haskell library implementing several Paxos-related algorithms |
Jan 18, 2022 |
|
Haskell |
87 |
Haskell library implementing "Data Types a la Carte" |
May 07, 2023 |
|
Idris |
4 |
Selective functors in Idris |
Sep 25, 2020 |
|
TeX |
22 |
Selective Functors & Probabilistic Programming |
Jan 03, 2022 |
|
Julia |
8 |
Polynomial functors and applications |
Aug 05, 2022 |
|
TypeScript |
3 |
Functors implemented in TypeScript |
Mar 07, 2023 |
|
Haskell |
38 |
Combine and enhance Functors |
Dec 08, 2022 |
|
Haskell |
2 |
Presentation on Applicative Functors |
Oct 22, 2013 |
|
Haskell |
27 |
Provides free functors that are adjoint to functors that forget class constraints. |
Dec 20, 2021 |
|
Haskell |
13 |
Small C Compiler written in Haskell |
Jan 28, 2023 |
|
Haskell |
2 |
A small Manufactoria interpreter in Haskell |
Jul 27, 2020 |
|
Haskell |
6 |
Small Lisp REPL written in Haskell |
May 08, 2020 |
|
Haskell |
5 |
Haskell Conduit implementing the official LZ4 frame streaming format |
Dec 22, 2021 |
|
Haskell |
40 |
An experiment in re-implementing big integers in Haskell. |
Aug 21, 2022 |
|
Haskell |
13 |
Examples of relevant technologies for implementing DSLs in Haskell. |
Jan 18, 2023 |
|
Haskell |
30 |
mastodon client module for Haskell |
Mar 21, 2023 |
|
Go |
3 |
Small experiment implementing a bot for discord |
Mar 28, 2020 |
|
Haskell |
2 |
Recursion schemes over indexed Functors |
Nov 27, 2021 |
|
Haskell |
18 |
Indexed Functors for GHC 7.6 |
Dec 05, 2019 |
|
Haskell |
5 |
Extra instances for Applicative Functors |
Aug 13, 2019 |
|
Emacs Lisp |
46 |
Functors, Monads, Categories for Emacs |
Apr 26, 2023 |
|
None |
3 |
Java Collection IoC Functions (Functors) |
Aug 13, 2019 |
|
Perl |
2 |
Small fail2ban module |
Dec 16, 2017 |