koka Open-Source Projects

koka

31 3,069 9.8 Haskell

Koka language compiler and interpreter

Project mention: Koka v3 Released | news.ycombinator.com | 2024-01-14

advent-of-code-2022

2 1 10.0

My Advent of Code 2022 solutions, in Koka 🎄🎁 (by neysofu)

Project mention: Ask HN: Who is developing a programming language that compiles to C? | news.ycombinator.com | 2023-10-09

I have a toy language I play around with that's just in specifications stage. Not mine but an interesting compile-to-c language: https://github.com/koka-lang/koka. Functional, effects, no-GC.

InfluxDB

www.influxdata.com featured

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

koka related posts

Koka v3 Released

1 project | news.ycombinator.com | 14 Jan 2024
Koka: A fast functional programming language with algebraic effects

1 project | news.ycombinator.com | 26 Nov 2023
Ask HN: Who is developing a programming language that compiles to C?

5 projects | news.ycombinator.com | 9 Oct 2023
Not Use Path Based Imports

1 project | news.ycombinator.com | 23 Mar 2023
What are you doing about async programming models? Best? Worst? Strengths? Weaknesses?

3 projects | /r/ProgrammingLanguages | 7 Dec 2022
Letlang, a programming language targetting Rust - Road to v0.1

3 projects | /r/rust | 24 Nov 2022
[Offer] Tutoring for Computer Science / Programming / Software Engineering topics

2 projects | /r/tutor | 3 Sep 2022
A note from our sponsor - SaaSHub
www.saashub.com | 4 May 2024

SaaSHub helps you find the best software and product alternatives Learn more →