580 skills found · Page 1 of 20
idris-lang / Idris DevA Dependently Typed Functional Programming Language
grame-cncm / FaustFunctional programming language for signal processing and sound synthesis
idris-lang / Idris2A purely functional programming language with first class types
diku-dk / Futhark:boom::computer::boom: A data-parallel functional programming language
go-ldap / LdapBasic LDAP v3 functionality for the GO programming language.
gkz / LiveScriptLiveScript is a language which compiles to JavaScript. It has a straightforward mapping to JavaScript and allows you to write expressive code devoid of repetitive boilerplate. While LiveScript adds many features to assist in functional style programming, it also has many improvements for object oriented and imperative programming.
dwyl / Learn Elixir:droplet: Learn the Elixir programming language to build functional, fast, scalable and maintainable web applications!
coalton-lang / CoaltonCoalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
albrow / FoAn experimental language which adds functional programming features to Go.
grin-compiler / GrinGRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
hamler-lang / HamlerHaskell-style functional programming language running on Erlang VM.
clio-lang / ClioClio is a functional, parallel, distributed programming language.
i2y / MochiDynamically typed functional programming language
matijapretnar / EffA functional programming language based on algebraic effect handlers
SodiumFRP / SodiumSodium - Functional Reactive Programming (FRP) Library for multiple languages
tarcieri / ReiaRuby-like hybrid OOP/functional programming language for BEAM, the Erlang VM
rhysd / Gocaml:camel: Statically typed functional programming language implementation with Go and LLVM
granule-project / GranuleA statically-typed linear functional language with graded modal types for fine-grained program reasoning
swlaschin / Railway Oriented Programming ExampleThis repository contains code that demonstrates the "Railway Oriented Programming" concept for error handling in functional programming languages.
forest-lang / Forest CompilerA multi-syntax functional programming language that compiles to WebAssembly.
