sixten 
 Functional lang
 An experimental functional programming language with minimal indirections and direct access to memory layout
Functional programming with fewer indirections
759 stars
 49 watching
 26 forks
 
Language: Haskell 
last commit: about 5 years ago 
Linked from   1 awesome list  
 Related projects:
| Repository | Description | Stars | 
|---|---|---|
|    |  A functional programming language designed to ease the transition from object-oriented paradigms | 345 | 
|    |  An experimental language designed for simplicity and safety in functional programming | 1,103 | 
|    |  A statically typed, purely functional programming language implemented in Haskell using S-expression syntax | 171 | 
|    |  An exploration of Haskell's functional programming capabilities, with a focus on practical applications and software development concepts. | 0 | 
|    |  A Haskell-style functional programming language designed to run on the Erlang Virtual Machine (BEAM), focusing on compile-time type checking and concurrency. | 1,031 | 
|    |  A minimalist programming language with an interpreter and core library for evaluating recursive expressions | 152 | 
|    |  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 | 
|    |  An interpreted language designed to support functional programming with features like dynamic typing and garbage collection. | 418 | 
|    |  A language and compiler for building fast, dynamic, and functional programs with built-in support for symbolic rewriting and lazy evaluation. | 317 | 
|    |  A functional programming language that combines golfing and simplification of code through type inference. | 77 | 
|    |  A modern functional programming language with support for dynamic typing and lazy evaluation. | 23 | 
|    |  A minimalistic pure functional programming language implemented in F# | 2 | 
|    |  A minimalist programming language with functional style, designed for readability and expressiveness. | 564 | 
|    |  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 |