|
Scala |
2 |
riff for dotty |
Mar 04, 2021 |
|
Haskell |
4 |
Dotty prelude |
Nov 02, 2021 |
|
Scala |
7 |
jaskell make for dotty |
Jul 03, 2022 |
|
PureScript |
6 |
Distributive typeclass |
Mar 14, 2022 |
|
Haskell |
16 |
Typeclass for array types |
Aug 02, 2022 |
|
None |
440 |
typeclass diagram for cats |
Sep 11, 2022 |
|
Scala |
13 |
Read Typeclass For Scala |
Jun 01, 2021 |
|
None |
2 |
typeclass diagram for cats |
Oct 21, 2023 |
|
None |
7 |
Dotty Community Build |
Mar 26, 2019 |
|
Scala |
24 |
XML String Interpolator for Dotty |
Jul 02, 2022 |
|
Scala |
109 |
experimental CPS transformer for dotty |
Aug 02, 2022 |
|
Haskell |
6 |
Typeclass for map-like structures |
Dec 05, 2019 |
|
JavaScript |
2 |
A typeclass implementation for JavaScript |
Dec 08, 2020 |
|
Shell |
4 |
A WIP error index for Dotty |
Aug 01, 2022 |
|
Scala |
14 |
benchmark compilation of Dotty |
Jul 02, 2022 |
|
Scala |
3 |
benchmark compilation of Dotty |
Oct 09, 2020 |
|
Scala |
2 |
Hello, World! in Dotty |
Jun 23, 2016 |
|
None |
27 |
This repo holds feature requests for Dotty, bugs reports are at https://github.com/lampepfl/dotty |
Jul 07, 2022 |
|
Haskell |
44 |
A Typeclass for user-facing output |
Jun 03, 2022 |
|
Scala |
32 |
Typeclass-based HashSet/HashMap for Scala |
May 20, 2023 |
|
None |
108 |
A typeclass-based Prelude. |
Aug 30, 2022 |
|
Scala |
52 |
Principled, fast, typeclass derivation. |
May 05, 2023 |
|
Scala |
2 |
A receptor for Dotty LSP remote tracing |
Feb 25, 2023 |
|
Coq |
7 |
General-purpose monad typeclass hierarchy for Coq |
Jan 28, 2023 |
|
TeX |
2 |
Münster Curry compiler + TypeClass (mirror) |
Nov 14, 2021 |
|
Scala |
7 |
An implementation of ScalaLab for Scala 3 (Dotty) |
Feb 14, 2022 |
|
JavaScript |
3 |
Expand dotty object keys to objects |
Feb 07, 2023 |
|
Scala |
2 |
a sisp parser made of dotty |
Jul 03, 2022 |
|
Haskell |
139 |
The MonadUnliftIO typeclass for unlifting monads to IO |
Aug 02, 2022 |
|
Haskell |
38 |
A single typeclass for Functor, Bifunctor, Trifunctor, etc. |
Jan 03, 2023 |
|
Scala |
2 |
shim which allows to compile scala program which use scala-async on dotty with dotty-cps-async |
Jan 11, 2023 |
|
Scala |
5 |
A simple parser combinator library for dotty (Scala 3) |
Feb 06, 2022 |
|
Shell |
6 |
dotty (Scala 3) plugin for the asdf version manager |
Jan 18, 2022 |
|
Scala |
11 |
[deprecated]dotty version of paradise for interfacing with scala.meta |
Oct 02, 2019 |
|
Haskell |
6 |
Pure logger typeclass and monad transformer |
Aug 13, 2019 |
|
PureScript |
11 |
Const data type and typeclass instances |
Mar 14, 2022 |
|
Scala |
11 |
Typeclass to map from/to DynamoDB |
Jan 24, 2023 |
|
Haskell |
56 |
Hedgehog will eat your typeclass bugs |
Jan 31, 2023 |
|
Haskell |
3 |
Isomorphism typeclass solving the conversion problem |
May 12, 2022 |
|
Scala |
8 |
Procedures to manage projects ported to Dotty |
Jul 09, 2021 |
|
Scala |
80 |
Various tasks solved via metaprogramming in Dotty |
Aug 17, 2022 |
|
None |
11 |
Study dotty source code using org-mode |
Oct 17, 2020 |
|
Scala |
12 |
Fork of the Scala repository used for the Dotty backend |
Dec 18, 2021 |
|
Scala |
48 |
:atom: Scala & Dotty support for Atom IDE (🧟♂️ zombie repo) |
Oct 09, 2022 |
|
HTML |
14 |
Proposal for Intl.MessageFormat |
Jul 17, 2022 |
|
HTML |
27 |
Proposal for Intl.LocaleMatcher |
Aug 02, 2022 |
|
JavaScript |
75 |
Proposal for Promise.prototype.inspect |
Jun 25, 2022 |
|
Scala |
5 |
auto deriving scalaz typeclass instances with magnolia |
Apr 28, 2021 |
|
Haskell |
120 |
A magic typeclass that just does it |
Aug 01, 2022 |
|
Haskell |
3 |
An alternate definition of Haskell's Functor typeclass |
Aug 15, 2021 |