hamler
Functional language
A Haskell-style functional programming language designed to run on the Erlang Virtual Machine (BEAM), focusing on compile-time type checking and concurrency.
Haskell-style functional programming language running on Erlang VM.
1k stars
31 watching
39 forks
Language: Erlang
last commit: over 4 years agocompilerhamlerprogramming-language
Related projects:
| Repository | Description | Stars |
|---|---|---|
 finkel-lang/finkel | A statically typed, purely functional programming language implemented in Haskell using S-expression syntax | 171 |
 barbuz/husk | A functional programming language that combines golfing and simplification of code through type inference. | 77 |
 tadeuzagallo/verve-lang | A functional programming language designed to ease the transition from object-oriented paradigms | 345 |
 evincarofautumn/kitten | An experimental language designed for simplicity and safety in functional programming | 1,103 |
 ollef/sixten | An experimental functional programming language with minimal indirections and direct access to memory layout | 759 |
 zilch-lang/zilch | A language designed to provide a fully-fledged functional programming language with focus on performance and ease of use despite its low-level aspect. | 25 |
 svenschmidt75/functional | An exploration of Haskell's functional programming capabilities, with a focus on practical applications and software development concepts. | 0 |
 agraef/pure-lang | A language and compiler for building fast, dynamic, and functional programs with built-in support for symbolic rewriting and lazy evaluation. | 317 |
 granule-project/granule | A statically-typed functional programming language with fine-grained program reasoning capabilities | 593 |
 st3v3nmw/morph | A functional programming language with strong type system and lazy evaluation, aiming to provide a powerful and expressive platform for building concurrent and parallel applications. | 1 |
 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,098 |
 gabriella439/haskell-morte-library | An intermediate language for optimizing functional programs in Haskell | 374 |
 vekatze/neut | A statically managed functional programming language with a focus on predictability and type safety. | 841 |
| zesterer/atto | A minimalist programming language with an interpreter and core library for evaluating recursive expressions | 152 |