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

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

• haskell
• postgresql
• nix
• mvc

Functional Programming Course

A modern proof language

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

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

Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

What I Wish I Knew When Learning Haskell

• functional-programming-examples
• functional-programming
• examples
• article-series

The Eta Programming Language, a dialect of Haskell on the JVM

• eta
• jvm
• haskell
• functional-programming

lamdu - towards the next generation IDE

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

😎 The open-source, Haskell-built video editor for GIF makers.

• gtk
• animated-gifs
• haskell
• gui

Huge list of videos, talks, courses for Haskell programming language.

• haskell
• videos
• awesome

Functional Reactive Programming domain-specific language for efficient hybrid systems

• haskell
• frp
• yampa
• game

🔍 A step-by-step guide to parsing using Haskell parser combinators.

• haskell
• parser
• parser-combinators
• parsing

Automates certain common tasks that you do during programming competitions

• programming-competitions
• codeforces
• codechef
• command-line-tool

GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell

• haskell
• haskell-application
• cqrs-application
• frp

"Hack" like a programmer in movies and games! Inspired by hackertyper.net

• haskell
• joke
• hacking
• typing