Parsing With Haskell Parser Combinators

Functional Programming Jargon

Jargon from the functional programming world in simple terms!

Haskell Must Watch

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

Bow

🏹 Bow is a cross-platform library for Typed Functional Programming in Swift

J-Bob

J-Bob is a minimal proof assistant designed to accompany the educational book *The Little Prover*, providing a hands-on tool for learning formal verification and theorem proving. It implements a small functional language to help users understand how to reason about programs mathematically. ## Key Features - **Educational Tool** — Designed specifically to work through the examples and exercises in *The Little Prover* book - **Multi-language Support** — Available in ACL2, Scheme, and Racket (via Dracula package) implementations - **Complete Proof Transcripts** — Includes all proofs from the book, allowing users to verify and replay them - **Minimalist Design** — Focuses on core proof concepts without overwhelming complexity ## Philosophy J-Bob emphasizes simplicity and pedagogy over industrial-strength verification, making formal methods accessible through a carefully crafted, minimal implementation.