fika
Web language
A statically typed functional programming language for the web built on top of Elixir
A statically typed functional programming language for the web.
226 stars
4 watching
13 forks
Language: Elixir
last commit: over 3 years ago
Linked from 1 awesome list
elixirerlangfunctional-programmingprogramming-languagestatically-typed
Related projects:
Repository | Description | Stars |
---|---|---|
kblake/functional-programming | Teaching functional programming concepts using Elixir language and providing accessible code examples | 363 |
finkel-lang/finkel | A statically typed, purely functional programming language implemented in Haskell using S-expression syntax | 171 |
vekatze/neut | A statically managed functional programming language with a focus on predictability and type safety. | 841 |
natefaubion/purescript-spork | An alternative implementation of a functional programming language | 157 |
flix/flix | A statically typed language with functional and imperative programming capabilities for building logic-driven applications. | 2,173 |
wafelack/orion | A high-level, purely functional programming language with a LISP-based syntax. | 238 |
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 |
evincarofautumn/kitten | An experimental language designed for simplicity and safety in functional programming | 1,102 |
vorov2/ela | A modern functional programming language with support for dynamic typing and lazy evaluation. | 23 |
japiirainen/fp | A small, experimental programming language with unique features and a Haskell implementation. | 102 |
tadeuzagallo/verve-lang | A functional programming language designed to ease the transition from object-oriented paradigms | 345 |
zjhmale/ntha | An experimental statically typed functional programming language with features from Lisp and Haskell. | 93 |
never-lang/never | A simple functional programming language with a compiler and virtual machine | 435 |
ollef/sixten | An experimental functional programming language with minimal indirections and direct access to memory layout | 761 |
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 |