granule

hamler-lang/hamler1K

Functional language

A Haskell-style functional programming language designed to run on the Erlang Virtual Machine (BEAM), focusing on compile-time type checking and concurrency.

graninas/hierarchical-free-monads-the-most-developed-approach-in-haskell155

Haskell programming approach

An in-depth exploration of a Haskell approach to building real-world software, focusing on its benefits and applications.

pikatchu/linearml432

Parallel language

A programming language designed to write efficient parallel programs using functional principles.

reedoei/enki8

Logic language

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

finkel-lang/finkel171

Functional language

A statically typed, purely functional programming language implemented in Haskell using S-expression syntax

eholk/harlan1.2K

GPU language

A Scheme-based language for programming GPUs.

mzero/haskell-amuse-bouche114

Haskell tutorial

A collection of Haskell code examples and resources illustrating the language's features and programming techniques.

axellang/axel206

Language compiler

A Haskell + Lisp compiler and runtime environment for executing multi-language code.

commercialhaskell/rio846

Haskell library

A standard library for Haskell to provide a common foundation for production software development

japiirainen/fp102

Programming language

A small, experimental programming language with unique features and a Haskell implementation.

graalvm/simplelanguage614

Language compiler

A demonstration of building a Truffle language for execution on the GraalVM runtime environment.

fjvallarino/monomer598

Haskell GUI library

A cross-platform GUI library for writing native Haskell applications

zesterer/tao1.1K

Functional language project

A statically-typed functional language with extensive type system features and optimization techniques, aimed at supporting totality, optimization, learning, and compiler development.

superstar64/aith64

Systems programming language

A language project that aims to create a systems programming language with a strong emphasis on type systems and advanced features like levity polymorphism, first-class inline functions, linear types, and effectful regions.