facet
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.
a functional programming language with algebraic effects and handlers
81 stars
8 watching
1 forks
Language: Haskell
last commit: over 2 years ago
Linked from 1 awesome list
algebraic-effectscompilerprogramming-language
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 agraef/pure-lang | A functional programming language with JIT compilation and symbolic rewriting capabilities. | 315 |
 aionescu/dynasty | A language and compiler that enables lazy functional programming in JavaScript | 6 |
 guida-lang/compiler | Translates an existing Haskell compiler to Elm, allowing developers to build reliable applications without leaving their language of choice. | 41 |
 evincarofautumn/kitten | An experimental language designed for simplicity and safety in functional programming | 1,102 |
 zesterer/tao | A statically-typed functional language with extensive type system features and optimization techniques, aimed at supporting totality, optimization, learning, and compiler development. | 1,092 |
 gabriella439/grace | An interpreted functional programming language with type inference and efficient parsing. | 388 |
 rsms/hue | A functional programming language built on top of LLVM with the goal of producing highly optimized machine code. | 173 |
 ollef/sixten | An experimental functional programming language with minimal indirections and direct access to memory layout | 761 |
| zesterer/atto | A minimalist programming language with an interpreter and core library for evaluating recursive expressions | 151 |
 finkel-lang/finkel | A statically typed, purely functional programming language implemented in Haskell using S-expression syntax | 171 |
 frege/frege | A Haskell implementation for the JVM with a strong focus on functional programming and type inference. | 3,642 |
 forest-lang/forest-compiler | A compiler for a multi-syntax functional programming language that compiles to WebAssembly | 620 |
 hamler-lang/hamler | A Haskell-style functional programming language designed to run on the Erlang Virtual Machine (BEAM), focusing on compile-time type checking and concurrency. | 1,028 |
 fusionlanguage/fut | Tools and infrastructure to implement reusable components in multiple programming languages from a single codebase. | 1,763 |
 svenschmidt75/functional | An exploration of Haskell's functional programming capabilities, with a focus on practical applications and software development concepts. | 0 |