idris-koans by idris-hackers

Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.

updated at Nov. 16, 2023, 9:02 p.m.

Idris

17 +0

173 +0

27 +0

GitHub
parsing-with-haskell-parser-combinators by lettier

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

updated at Dec. 9, 2023, 11:46 a.m.

Haskell

6 +0

87 +0

3 +0

GitHub
functional-programming-javascript by busypeoples

None

updated at Jan. 17, 2024, 3:59 p.m.

Unknown languages

11 +0

305 +0

32 +0

GitHub
functional-javascript-workshop by timoxley

A functional javascript workshop. No libraries required (i.e. no underscore), just ES5.

updated at March 1, 2024, 4:52 a.m.

JavaScript

96 +0

2,049 +0

442 +0

GitHub
j-bob by the-little-prover

None

updated at March 11, 2024, 8:58 a.m.

Scheme

31 +0

413 +0

63 +0

GitHub
bow by bow-swift

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

updated at March 17, 2024, 10:28 p.m.

Swift

20 +0

640 -1

32 +0

GitHub
haskell-must-watch by hzlmn

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

updated at March 20, 2024, 6:36 p.m.

Haskell

82 +0

1,117 +0

63 +0

GitHub
functional-programming-jargon by hemanth

Jargon from the functional programming world in simple terms!

updated at March 23, 2024, 7:20 p.m.

Unknown languages

357 -1

18,503 -2

1,019 +0

GitHub