Search credible GitHub repositories.

Compare adoption and maintenance signals without opening every result.

Current data onlyNo fabricated star growth or “trending” claims.
TryGoogle Maps scrapersLocal LLMBrowser automationRust databases
Ranked results

Best repositories for “language:Koka”

Popular ranks GitHub matches by stars. Switch sort to inspect forks or recent maintenance.

GitHub · 7 matches
02
cladam/hica

hica is a high-performance, expression-oriented programming language that transpiles to Koka

Kokaadtcladam-hicaApache-2.0
Stars
24
Forks
0
Pushed
Today
03
koka-community/std

Extensions to Koka's std libraries (definitely unofficial, likely to be split into other packages)

KokaNOASSERTION
Stars
12
Forks
9
Pushed
Yesterday
04
koka-community/html

A library for working with html with no dependency on the browser

KokaMIT
Stars
7
Forks
3
Pushed
5mo ago