Categories Alternatives Stacks Self-Hosted Explore

© 2026 Open-Awesome. Curated for the developer elite.

Terms Privacy About GitHub RSS

Introduction to Functional Programming | Open Awesome

Home
Functional Programming
Introduction to Functional Programming

Introduction to Functional Programming

Visit Website GitHub

0 stars0 forks0 contributors

Overview

Quick Stats

Stars0

Forks0

Contributors0

Open Issues0

Last commit

Related Projects

Community-curated · Updated weekly · 100% open source

Found a gem we're missing?

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

Submit a project Star on GitHub

Created

Links & Resources

Included in

Functional Programming998

Functional Programming in C#, Second Edition

Real world examples and practical techniques for functional programming in C#

Isabelle/HOL - A Proof Assistant for Higher-Order Logic

A Book on implementing logical formalisms in Isabelle/HOL

Haskell Bookcamp

In this book, you’ll get practical experience writing Haskell code and applying functional programming to actual development challenges

The Little Prover

Talks about a theorem prover called JBob for writing proofs in LISP