Husk
Functional language
A functional programming language that combines golfing and simplification of code through type inference.
Functional golfing language inspired by Haskell.
75 stars
5 watching
6 forks
Language: Haskell
last commit: over 3 years ago Related projects:
Repository | Description | Stars |
---|---|---|
hfoffani/hypolambda | A compact functional programming language for .NET with a syntax based on Python. | 0 |
evincarofautumn/kitten | An experimental language designed for simplicity and safety in functional programming | 1,102 |
zjhmale/ntha | An experimental statically typed functional programming language with features from Lisp and Haskell. | 93 |
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 |
cdiggins/plato | A statically typed functional language designed to reduce boilerplate code and improve performance by leveraging immutable data structures and abstract concepts. | 79 |
vekatze/neut | A statically managed functional programming language with a focus on predictability and type safety. | 841 |
zatonovo/lambda.r | A programming language and syntax for functional programs in R with type checking and pattern matching | 215 |
finkel-lang/finkel | A statically typed, purely functional programming language implemented in Haskell using S-expression syntax | 171 |
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. | 2 |
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 |
tadeuzagallo/verve-lang | A functional programming language designed to ease the transition from object-oriented paradigms | 345 |
liam-ilan/crumb | An interpreted language designed to support functional programming with features like dynamic typing and garbage collection. | 417 |
svenschmidt75/functional | An exploration of Haskell's functional programming capabilities, with a focus on practical applications and software development concepts. | 0 |
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 |
sviperll/argo | Developing a pragmatic functional programming language with a focus on tooling, simplicity, and incremental changes to enable stable growth and maintenance. | 10 |