koka
by koka-lang
Koka language compiler and interpreter
AI summary
Effective language
A research language with effect types and handlers for building concurrent, efficient programs
- stars
- 3.3K
- forks
- 166
- watching
- 60
- awesome lists
- 3
Similar projects
Found by comparing what the projects do, not just their names.
Recursive language compiler
A compiler for a language that supports recursion and concatenative data structures with features like dependent types and partial evaluation
Language compiler
An interpreted functional programming language with type inference and efficient parsing.
diku-dk/futhark2.4K
Functional programming language
A data-parallel functional programming language with high-performance parallel code generation for CPUs and GPUs.
c3lang/c3c3.1K
C compiler
A compiler for an evolution of the C language
Functional compiler
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.
Compiler formalism
Formalizations of compiler design and virtual machine calculations in Coq
Prototype language
A language designed to help developers create prototype code quickly and then refactor it into production-ready code
Terminal automator
Automates terminal operations with customizable actions and settings.
anoma/juvix458
Compiler
A compiler for a programming language designed for decentralized applications with a focus on intent-centric and declarative programming.
Web language
A statically typed functional programming language for the web built on top of Elixir
Haskell explanation
Explaining why Haskell's unique features make it an important language for software development
λ-calculus compiler
Implementing a graph-reduction machine for a small functional language based on λ-calculus and combinatory logic
Type compiler
A programming language compiler and interpreter built on top of Haskell's type system.
Meta-programming language
An implementation of a meta-programming language with features like type checking and code generation
Featured in 3 awesome lists
Each link jumps to the spot where the list mentions koka.
