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–45 of 45 · Most stars

Exercism exercises in Elixir.

  • exercism-track
  • community-contributions-accepted
  • maintained

INGInious is a secure and automated exercises assessment platform using your own tests, also providing a pluggable interface with your existing LMS.

Exercism exercises in OCaml.

  • exercism-track
  • community-contributions-accepted
  • maintained-solitary

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

  • coq
  • hydra-battles
  • ordinal-notations
  • formal-proofs

Exercism exercises in Crystal.

  • exercism-track
  • community-contributions-accepted
  • maintained-solitary

mongodb-aggregate-adventure will run through a series of MongoDB aggregation workshops. Starting at a basic aggregation tasks and moving on to more advanced exercises about dealing with aggregation using MongoDB.