Sign in

Repository Index

60,121 visible repositories in the index

Tags: Lists and learning
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

3,889–3,912 of 5,192 · Most stars

Student submissions for the WWDC 2021 - Swift Student Challenge

  • swift
  • ios
  • apple
  • swift-playgrounds

A curated list of all the WWDC Submissions in one place

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.