A statically typed lisp, without a GC, for real-time applications.
-
Updated
Sep 16, 2025 - Haskell
#
Functional programming
In computer science, functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative programming paradigm in which function definitions are trees of expressions that map values to other values, rather than a sequence of imperative statements which update the running state of the program.
Here are 890 public repositories matching this topic...
A modern proof language
dependent-types functional-programming lambda-calculus type-theory theorem-prover formality moonad proof-language proof-languages
-
Updated
Jan 22, 2025 - Haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
compiler functional-programming book lambda-calculus evaluation type-theory type pdf-book type-checking haskel type-system functional-language hindley-milner type-inference intermediate-representation
-
Updated
Jan 11, 2021 - Haskell
The Eta Programming Language, a dialect of Haskell on the JVM
-
Updated
Jul 31, 2022 - Haskell
What I Wish I Knew When Learning Haskell
-
Updated
Sep 13, 2025 - Haskell
📜 Haskell course info, plan, video lectures, slides
learning haskell course functional-programming mentorship beginner-friendly hacktoberfest hacktoberfest2022
-
Updated
Jul 9, 2023 - Haskell
😎 The open-source, Haskell-built video editor for GIF makers.
linux gifs gif-library imagemagick gtk gui haskell video gstreamer ubuntu functional-programming fedora arch-linux gif animated-gifs appimage video-editing gif-maker gifmaker
-
Updated
Aug 13, 2021 - Haskell
Educational computer programming environment using Haskell
-
Updated
Apr 7, 2025 - Haskell
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
-
Updated
Jun 13, 2025 - Haskell
The Egison Programming Language
programming-language functional-programming pattern-matching differential-geometry tensor hacktoberfest computer-algebra-system egison
-
Updated
Dec 22, 2022 - Haskell
A visual Haskell
graphviz gtk haskell visual-programming-language functional-programming visual cairo gdk gtk3 diagrams visual-programming graph-layout glance
-
Updated
Mar 20, 2022 - Haskell
A little course to learn about some of the more obscure GHC extensions.
-
Updated
Nov 7, 2023 - Haskell
A language for intent-centric and declarative decentralised applications
programming-language functional-programming anoma arithmetic-circuits privacy-preserving-technologies
-
Updated
Jun 10, 2025 - Haskell
Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial
-
Updated
Jan 10, 2021 - Haskell
In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does not require any previous knowledge of the language.
monads haskell functional-programming mapping pattern-matching anonymous-functions algebraic-data-types functor higher-order-functions polymorphic-types lazy-evaluation folding function-composition foldable list-comprehension type-classes declarative-programming partial-application first-class-functions explicit-side-effects
-
Updated
Dec 15, 2023 - Haskell
An interpreter for learning and exploring pure λ-calculus
language programming-language lambda interpreter functional-programming lambda-calculus church church-encoding logic-programming numeral-systems computability-theory computability
-
Updated
Apr 11, 2021 - Haskell
A Programming Language for Deep Learning
-
Updated
May 10, 2018 - Haskell
Domain-Specific Languages of Mathematics
-
Updated
Aug 28, 2025 - Haskell
A prompt engineering functional programming language
-
Updated
Sep 20, 2025 - Haskell
-
Updated
Jan 25, 2024 - Haskell
- Followers
- 243 followers
- Website
- github.com/topics/functional-programming
- Wikipedia
- Wikipedia