#
koan
Here are 7 public repositories matching this topic...
Testing Koans to understand how to write unit tests with different frameworks.
-
Updated
Jan 11, 2022 - Java
Advent of code 2021 (unofficial) in Kotlin for Educational Plugin on Jetbrains IntelliJ IDE.
kotlin advent-of-code kata tdd educational tdd-kata aoc adventofcode intellij-ide koan advent-of-code-2021 tdd-kotlin aoc2021 aoc-2021-in-kotlin advent-of-code-2021-kotlin no-spoiler
-
Updated
Apr 8, 2023 - Kotlin
Lean4 Zen Koans. Each file implements an algorithm. Several files may come together to form a programming language.
-
Updated
Sep 8, 2024 - Lean
-
Updated
Aug 8, 2017 - Ruby
Improve this page
Add a description, image, and links to the koan topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the koan topic, visit your repo's landing page and select "manage topics."