Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Idris Koans

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.
Stars
165
License
bsd-3-clause
Open Issues
1
Most Recent Commit
6 years ago
Programming Language
Idris
Categories
Repo
Alternatives To Idris Koans
Select To Compare
Rxswift ⭐ 24,043
Reactive Programming in Swift
total releases 78most recent commit 3 months ago
Mostly Adequate Guide ⭐ 23,142
Mostly adequate guide to FP (in javascript)
dependent packages 2total releases 6most recent commit 5 months agonpm @mostly-adequate/support} Downloads
Bubbletea ⭐ 22,076
A powerful little TUI framework 🏗
dependent packages 1,027total releases 136most recent commit 3 months ago
Lo ⭐ 14,466
💥 A Lodash-style Go library based on Go 1.18+ Generics (map, filter, contains, find...)
dependent packages 1,196total releases 55most recent commit 3 months ago
Tachyons ⭐ 11,463
Functional css for humans
dependent packages 281total releases 90most recent commit 8 months agonpm tachyons} Downloads


Suggest An Alternative To idris-koans
Popular Software Development Categories
Continuous Integration
Functional Programming
Developer Tools
Generation
Jenkins
Continuous Deployment
Travis
Reverse Engineering
Changelog
Ci Cd

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Functional Programming
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.