Beluga

discus-lang/iron142

Functional language formalization

Formalizations of functional languages with a focus on proof and verification

cdiggins/plato80

Functional language

A statically typed functional language designed to reduce boilerplate code and improve performance by leveraging immutable data structures and abstract concepts.

barbuz/husk77

Functional language

A functional programming language that combines golfing and simplification of code through type inference.

sviperll/argo10

Functional language

Developing a pragmatic functional programming language with a focus on tooling, simplicity, and incremental changes to enable stable growth and maintenance.

hfoffani/hypolambda0

Functional language

A compact functional programming language for .NET with a syntax based on Python.

bradford-hamilton/monkey-lang45

Programming language

An implementation of a custom programming language with features such as compilation and execution capabilities.

branchtaken/hemlock31

Parallel language

A systems programming language focused on reliable high performance parallel computation

cloe-lang/cloe410

Language

A Go-based functional programming language designed to simplify concurrent and reactive programming.

rhysd/gocaml749

Compiler

An implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch.

vorov2/ela23

Functional language

A modern functional programming language with support for dynamic typing and lazy evaluation.

starkware-libs/cairo-lang1.4K

Programming language

A language and package for writing provable programs in Python.

teaentitylab/fpgo349

FP library

A Golang library providing functional programming features and Rx-style coding capabilities.

vexu/bog549

Language framework

A small, embeddable language with strong typing and support for async/await, loops, error handling, and destructuring.

reedoei/enki8

Logic language

A beginner-focused logic programming language built on top of Haskell.