compiler
Compiler translator
Translates an existing Haskell compiler to Elm, allowing developers to build reliable applications without leaving their language of choice.
Guida is a functional programming language that builds upon the solid foundation of Elm, offering backward compatibility with all existing Elm 0.19.1 projects
41 stars
3 watching
2 forks
Language: Elm
last commit: 7 days ago compilerguida
Related projects:
| Repository | Description | Stars |
|---|---|---|
 forest-lang/forest-compiler | A compiler for a multi-syntax functional programming language that compiles to WebAssembly | 620 |
 gabriella439/grace | An interpreted functional programming language with type inference and efficient parsing. | 388 |
 aionescu/dynasty | A language and compiler that enables lazy functional programming in JavaScript | 6 |
 agraef/pure-lang | A functional programming language with JIT compilation and symbolic rewriting capabilities. | 315 |
 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 |
 tadeuzagallo/verve-lang | A functional programming language designed to ease the transition from object-oriented paradigms | 345 |
 hfoffani/hypolambda | A compact functional programming language for .NET with a syntax based on Python. | 0 |
 xixixao/shem | A compiler for a statically typed, pure-by-default functional programming language with an S-expressions-based syntax and support for a full-featured collections library. | 391 |
 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 |
 rhysd/gocaml | An implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch. | 748 |
 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 |
 barbuz/husk | A functional programming language that combines golfing and simplification of code through type inference. | 75 |
 rsms/hue | A functional programming language built on top of LLVM with the goal of producing highly optimized machine code. | 173 |
 vorov2/ela | A modern functional programming language with support for dynamic typing and lazy evaluation. | 23 |
 grin-compiler/grin | A compiler back-end for optimizing and generating code for functional languages with whole program optimization support | 1,030 |