Skip to content
Change the repository type filter

All

    Repositories list

    • Individual session resources for each Learn to Code session
      Jupyter Notebook
      GNU General Public License v3.0
      335600Updated Nov 30, 2024Nov 30, 2024
    • Course for beginners in CS
      TeX
      MIT License
      0000Updated Nov 20, 2018Nov 20, 2018
    • coq-intro

      Public
      An abridged tutorial for Coq
      HTML
      0000Updated Feb 24, 2018Feb 24, 2018
    • The results from the 2017 CompSoc food ballot
      Python
      The Unlicense
      0000Updated Nov 11, 2017Nov 11, 2017
    • wikigame

      Public
      Python utilities to play the Wikipedia Random Article Game
      Python
      Apache License 2.0
      0000Updated Oct 14, 2017Oct 14, 2017
    • TSP

      Public
      Travelling salesperson problem for Oxford pub crawls
      Python
      Apache License 2.0
      0000Updated Apr 29, 2017Apr 29, 2017
    • shaders

      Public
      OpenGL shaders challenge
      GLSL
      MIT License
      0000Updated Feb 5, 2017Feb 5, 2017
    • Translate from English to Emoji
      Perl
      MIT License
      0000Updated Jan 28, 2017Jan 28, 2017
    • oxmas

      Public
      Christmas related programming
      JavaScript
      0000Updated Nov 26, 2016Nov 26, 2016
    • codegolf

      Public
      Challenges for code golfing
      Perl
      0100Updated Oct 22, 2016Oct 22, 2016
    • Oxford University Computer Society Database System
      Java
      0000Updated Aug 23, 2015Aug 23, 2015
    • The source content (in markdown + some extra stuff) for our website
      CSS
      1200Updated Jan 24, 2014Jan 24, 2014