This is stars and forks stats for /koka-lang/koka repository. As of 25 Apr, 2024 this repository has 2760 stars and 135 forks.
Koka: a Functional Language with Effects Koka v2 is a research language that currently under heavy development with the new C backend Latest release: v2.4.2, 2023-07-03 (Install). Koka is a strongly typed functional-style language with effect types and handlers. The core of Koka consists of a small set of well-studied language features, like first-class functions, a polymorphic type- and effect system, algebraic data types, and effect handlers. Each of these is composable and avoid the addition...
Koka: a Functional Language with Effects Koka v2 is a research language that currently under heavy development with the new C backend Latest release: v2.4.2, 2023-07-03 (Install). Koka is a strongly typed functional-style language with effect types and handlers. The core of Koka consists of a small set of well-studied language features, like first-class functions, a polymorphic type- and effect system, algebraic data types, and effect handlers. Each of these is composable and avoid the addition...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
kadena-io/chainweb-node | HaskellPactC | 237 | 0 | 91 | 0 |
carp-lang/Carp | HaskellCShell | 5.3k | +4 | 172 | 0 |
xmonad/xmonad | HaskellNixShell | 3.1k | 0 | 285 | 0 |
input-output-hk/cardano-wallet | HaskellMarkdownRuby | 726 | 0 | 228 | 0 |
input-output-hk/plutus-pioneer-program | HaskellTypeScriptShell | 1.4k | 0 | 926 | 0 |
dapphub/dapptools | HaskellShellNix | 2k | 0 | 344 | 0 |
input-output-hk/plutus-apps | HaskellNixTypeScript | 304 | 0 | 213 | 0 |
brendanhay/amazonka | Haskell | 577 | 0 | 224 | 0 |
PostgREST/postgrest | HaskellPLpgSQLNix | 21.2k | +19 | 979 | +3 |
github/semantic | HaskellStarlarkOther | 8.8k | 0 | 505 | 0 |