plato
Functional language
A statically typed functional language designed to reduce boilerplate code and improve performance by leveraging immutable data structures and abstract concepts.
A simple and efficient cross-platform programming language.
79 stars
8 watching
4 forks
Language: C#
last commit: 7 days ago functional-programminglearn-to-codeprogramming-languageteaching
Related projects:
| Repository | Description | Stars |
|---|---|---|
 sviperll/argo | Developing a pragmatic functional programming language with a focus on tooling, simplicity, and incremental changes to enable stable growth and maintenance. | 10 |
 liam-ilan/crumb | An interpreted language designed to support functional programming with features like dynamic typing and garbage collection. | 417 |
 barbuz/husk | A functional programming language that combines golfing and simplification of code through type inference. | 75 |
| cdiggins/heron-language | A language designed to express libraries of algorithms in a safe and efficient way, blending functional programming with a JavaScript-like syntax | 59 |
 hfoffani/hypolambda | A compact functional programming language for .NET with a syntax based on Python. | 0 |
 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 |
 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 |
 disco-lang/disco | A language designed to teach basic functional programming principles in the context of discrete mathematics. | 163 |
 vekatze/neut | A statically managed functional programming language with a focus on predictability and type safety. | 841 |
 tadeuzagallo/verve-lang | A functional programming language designed to ease the transition from object-oriented paradigms | 345 |
 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 |
 cloe-lang/cloe | A Go-based functional programming language designed to simplify concurrent and reactive programming. | 410 |
 zatonovo/lambda.r | A programming language and syntax for functional programs in R with type checking and pattern matching | 215 |
 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 |