tao
Functional language project
A statically-typed functional language with extensive type system features and optimization techniques, aimed at supporting totality, optimization, learning, and compiler development.
A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.
1k stars
13 watching
23 forks
Language: Rust
last commit: about 1 year ago
Linked from 1 awesome list
compilerfunctionalprogramming-language
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
| zesterer/atto | A minimalist programming language with an interpreter and core library for evaluating recursive expressions | 151 |
 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 |
 evincarofautumn/kitten | An experimental language designed for simplicity and safety in functional programming | 1,102 |
 barbuz/husk | A functional programming language that combines golfing and simplification of code through type inference. | 75 |
 zjhmale/ntha | An experimental statically typed functional programming language with features from Lisp and Haskell. | 93 |
 zatonovo/lambda.r | A programming language and syntax for functional programs in R with type checking and pattern matching | 215 |
 agraef/pure-lang | A functional programming language with JIT compilation and symbolic rewriting capabilities. | 315 |
 aionescu/dynasty | A language and compiler that enables lazy functional programming in JavaScript | 6 |
 tadeuzagallo/verve-lang | A functional programming language designed to ease the transition from object-oriented paradigms | 345 |
 cdiggins/plato | A statically typed functional language designed to reduce boilerplate code and improve performance by leveraging immutable data structures and abstract concepts. | 79 |
 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 |
 liam-ilan/crumb | An interpreted language designed to support functional programming with features like dynamic typing and garbage collection. | 417 |
 ein-lang/ein | A functional programming language designed to support scalable development | 34 |
 rsms/hue | A functional programming language built on top of LLVM with the goal of producing highly optimized machine code. | 173 |