functional-language
There are 122 repositories under functional-language topic.
ocaml/ocaml
The core OCaml system: compilers, runtime system, base libraries
roc-lang/roc
A fast, friendly, functional language.
evhub/coconut
Simple, elegant, Pythonic functional programming.
janet-lang/janet
A dynamic language and bytecode vm
sdiehl/write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
curv3d/curv
a language for making art using mathematics
leostera/caramel
:candy: a functional language for building type-safe, scalable, and maintainable applications
hirrolot/metalang99
Full-blown preprocessor metaprogramming
SandroMaglione/fpdart
Functional programming in Dart and Flutter. All the main functional programming types and patterns fully documented, tested, and with examples.
never-lang/never
Never: statically typed, embeddable functional programming language.
amuletml/amulet
An ML-like functional programming language
yantrajs/yantra
JavaScript Engine for .NET
morloc-project/morloc
A typed, polyglot, functional language
lettier/lambda-lantern
🧙 A 3D game about functional programming patterns. Uses PureScript Native, C++, and Panda3D.
AnyDSL/impala
An imperative and functional programming language
paulofalcao/MaterialMakerRayMarching
Make complex Ray Marching SDF objects using nodes with the Material Maker editor and this library
moevis/lambda-lite-js
a tiny FUNCITONAL LANGUAGE implemented by javascript. 一个函数式语言,使用 js 实现。
rusini/manool
Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with scalability
cyrus-/typy
A fragmentary bidirectional type system as a Python library
louisrubet/rpn
RPN cli calculator
malgo-lang/malgo
A statically typed functional programming language.
andgate/type-theory-compiler
Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
mocabe/yave
Functional visual programming language with FRP for multimedia
Melchizedek6809/Nujel
A small, embeddable Lisp dialect
melody-notpond/curly-lang-legacy
Curly programming language
Genivia/Husky
🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax
notdroplt/Zenith
my language project (this time better name and it actually works™)
yesco/jml
jml - a useful web/cloud minimal unikernel distributed operating system
98devin/woden-lang
A stack-based, interpreted programming language implemented in livescript.
bynect/algorithm-w
Type inference implementation in OCaml using Algorithm W
trackoor/Pistolet
🔫 Toy ML-like Imperative Programming Language (WIP)
aradarbel10/Styff
A functional programming language based on system F (omega) ft. NbE and higher order unification
DavidGregory084/mina
A minimum viable functional programming language for the JVM
Merlin04/experimental-type-lang
Experimental programming language loosely based on the TypeScript type system
molarmanful/sclin
A concatenative cyborg chimera.
rphle/numfu
Functional programming language designed for readable & expressive code, extensibility, and mathematical computing with arbitrary precision arithmetic.