:crab: Small exercises to get you used to reading and writing Rust code!
- rust
- rustlings
- beginner-friendly
- exercises
47,133 repositories indexed
1–8 of 8 · Most stars
:crab: Small exercises to get you used to reading and writing Rust code!
Collection of TypeScript type challenges with online judge
🧩 Kotlin coding puzzle and solutions
learn docker in your terminal, with bite sized exercises
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.
Starting code and proposed solution for Functional Structures Refactoring Kata
A coding exercise: let's convert dirty machine learning code into clean code using a Pipeline - which is the Pipe and Filter Design Pattern applied to Machine Learning.
Bioinformatics-themed kata for practicing string manipulation in a data transformation pipeline. Contains replit files to work quickly in an online dojo setting.