Repository Index

A friendly programming language from the future

• haskell
• programming-language
• unison
• unison-language

A statically typed lisp, without a GC, for real-time applications.

• lisp
• language
• game-development
• games

A modern proof language

• formality
• lambda-calculus
• type-theory
• proof-language

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

Agda is a dependently typed programming language / interactive theorem prover.

• dependent-types
• programming-language
• proof-assistant
• agda

:boom::computer::boom: A data-parallel functional programming language

• language
• boom
• gpu
• hpc

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

lamdu - towards the next generation IDE

• integrated-development-environment
• programming-language
• programmer-tool
• projectional-editor

The Plutus language implementation and tools

• blockchain
• smart-contracts
• programming-language

Functional Reactive Programming domain-specific language for efficient hybrid systems

• haskell
• frp
• yampa
• game

Generalized bananas, lenses and barbed wire

Generate Erlang VM byte code from Haskell

• beam
• erlang
• elixir
• compiler

Idris LLVM codegen factored out

Experimental Malfunction backend for Idris

Generate Elm types, encoders, and decoders from Haskell types

Experiment to compile something Elm-ish to Wasm