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: almost 4 years ago
Linked from 1 awesome list
elixirerlangfunctional-programmingprogramming-languagestatically-typed
learn-anything/programming-languagesRelated 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 | 156 |
 flix/flix | A statically typed language with functional and imperative programming capabilities for building logic-driven applications. | 2,191 |
 wafelack/orion | A high-level, purely functional programming language with a LISP-based syntax. | 237 |
 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,031 |
 evincarofautumn/kitten | An experimental language designed for simplicity and safety in functional programming | 1,103 |
 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 |
 never-lang/never | A simple functional programming language with a compiler and virtual machine | 436 |
 ollef/sixten | An experimental functional programming language with minimal indirections and direct access to memory layout | 759 |
 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. | 1 |