tao
by zesterer
A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.
AI summary
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.
- stars
- 1.1K
- forks
- 23
- watching
- 13
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Functional lang
A minimalist programming language with an interpreter and core library for evaluating recursive expressions
Functional language
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.
Functional programming language
A language designed to provide a fully-fledged functional programming language with focus on performance and ease of use despite its low-level aspect.
Functional language
An experimental language designed for simplicity and safety in functional programming
Functional language
A functional programming language that combines golfing and simplification of code through type inference.
Functional programming language
A programming language and syntax for functional programs in R with type checking and pattern matching
Functional Compiler
A language and compiler for building fast, dynamic, and functional programs with built-in support for symbolic rewriting and lazy evaluation.
Functional compiler
A language and compiler that enables lazy functional programming in JavaScript
Functional lang
A functional programming language designed to ease the transition from object-oriented paradigms
Functional language
A statically typed functional language designed to reduce boilerplate code and improve performance by leveraging immutable data structures and abstract concepts.
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.
Functional language
An interpreted language designed to support functional programming with features like dynamic typing and garbage collection.
Development framework
A functional programming language designed to support scalable development
rsms/hue173
Functional compiler
A functional programming language built on top of LLVM with the goal of producing highly optimized machine code.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions tao.
