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.

GitHub

226 stars
4 watching
13 forks
Language: Elixir
last commit: over 3 years ago
Linked from 1 awesome list

elixirerlangfunctional-programmingprogramming-languagestatically-typed

Backlinks from these awesome lists:

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