Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

25–37 of 37 · Most stars

Student submissions for the WWDC 2023 - Swift Student Challenge

  • apple
  • swift-playgrounds
  • swift-student-challenge
  • wwdc

Student Submissions for the WWDC 2016 Scholarship

Student submissions for the WWDC 2025 - Swift Student Challenge

  • apple
  • swift-playgrounds
  • swift-student-challenge
  • wwdc

The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.

Open-source AI study companion — Google Classroom sync, Gemini AI plans, SRS flashcards, GPA predictor, AI quiz, MCP server for Claude Code. Try demo at shiori-v1.vercel.app

Student submissions for the WWDC 2026 - Swift Student Challenge

In this course your students will learn the fundamentals of Swift 3 programming, using Geometry as their context for learning. The style of this course mimic "Logo", which is an educational programming language designed in 1967 by Daniel Borrow, Wally Feurzeig, Seymour Papert and Cynthia Soloman.

Rhythm Trainer based on the idea of users snapping their fingers while listening to music. Won Apple's Global WWDC23 Swift Student Challenge.

Teaches students Robot programming in python by having them create code that passes the unit tests

  • robotpy
  • python
  • frc-robot

Student submissions for the WWDC 2024 - Swift Student Challenge

  • apple
  • swift-playgrounds
  • swift-student-challenge
  • wwdc