θ A strongly typed, functional, compiled programming language
-
Updated
Jun 11, 2024 - C++
In computer science, functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative programming paradigm in which function definitions are trees of expressions that map values to other values, rather than a sequence of imperative statements which update the running state of the program.
θ A strongly typed, functional, compiled programming language
minimalistic functional programming language
Simple and flexible programming language for applications development
Athena is a modern, practical language for proof engineering & natural deduction.
Plume is a lightweight programming language that aims to be portable, powerful and easy to learn.
Nix, the purely functional package manager
A fast, friendly, functional language.
Monadic directed acyclic graph datastructures for Scala
Kickstarter for iOS. Bring new ideas to life, anywhere.
A Compiler in 85K Instructions (5K SLOC)
Kickstarter for Android. Bring new ideas to life, anywhere.
⛱ Broadly scoped ecosystem & mono-repository of 192 TypeScript projects (and 160+ examples) for general purpose, functional, data driven development
♞ lichess.org: the forever free, adless and open source chess server ♞
A functional interpreted programming language with a minimalistic design.
An interpreter for a concurrent lisp-like language with message-passing and pattern-matching implemented in C.
🐈 Felis Catus – functional bits for Python
Comprehensive collection of coursework and study notes from the Complete JavaScript Course, instructed by Jonas Schmedtmann. It contains detailed notes, code snippets, exercises, and additional resources to aid in learning and understanding JavaScript concepts covered in the course.
Cross-platform runtime environment for the Elm programming language.
Darklang main repo, including language, backend, and infra
Banking POC in Akka.NET