koka
Effective language
A research language with effect types and handlers for building concurrent, efficient programs
Koka language compiler and interpreter
3k stars
60 watching
166 forks
Language: Haskell
last commit: 4 months ago
Linked from 3 awesome lists
algebraic-effectseffect-handlershandlerhaskellkoka
xgrommx/awesome-functional-programming
uhub/awesome-haskell
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 hackerfoo/poprc | A compiler for a language that supports recursion and concatenative data structures with features like dependent types and partial evaluation | 244 |
 gabriella439/grace | An interpreted functional programming language with type inference and efficient parsing. | 389 |
 diku-dk/futhark | A data-parallel functional programming language with high-performance parallel code generation for CPUs and GPUs. | 2,428 |
 c3lang/c3c | A compiler for an evolution of the C language | 3,085 |
 facet-lang/facet | A research project aiming to build a functional programming language with algebraic effects and handlers, focusing on call-by-value evaluation order and type theory for control over staging and erasure. | 81 |
 pa-ba/calc-comp | Formalizations of compiler design and virtual machine calculations in Coq | 30 |
 rusini/manool | A language designed to help developers create prototype code quickly and then refactor it into production-ready code | 63 |
 koki-develop/clive | Automates terminal operations with customizable actions and settings. | 342 |
 anoma/juvix | A compiler for a programming language designed for decentralized applications with a focus on intent-centric and declarative programming. | 458 |
 fika-lang/fika | A statically typed functional programming language for the web built on top of Elixir | 226 |
 thma/whyhaskellmatters | Explaining why Haskell's unique features make it an important language for software development | 470 |
| thma/lambda-ski | Implementing a graph-reduction machine for a small functional language based on λ-calculus and combinatory logic | 28 |
 seliopou/typo | A programming language compiler and interpreter built on top of Haskell's type system. | 249 |
 usethesource/rascal | An implementation of a meta-programming language with features like type checking and code generation | 411 |