Repositories list

• learntocode

  Public
  Individual session resources for each Learn to Code session

  Jupyter Notebook

  •

  GNU General Public License v3.0

  •33•56•0•0•Updated Nov 5, 2024Nov 5, 2024

• CS-Essentials

  Public
  Course for beginners in CS

  TeX

  •

  MIT License

  •0•0•0•0•Updated Nov 20, 2018Nov 20, 2018

• coq-intro

  Public
  An abridged tutorial for Coq

  HTML

  •0•0•0•0•Updated Feb 24, 2018Feb 24, 2018

• CompSoc-food-ballot

  Public
  The results from the 2017 CompSoc food ballot

  Python

  •

  The Unlicense

  •0•0•0•0•Updated Nov 11, 2017Nov 11, 2017

• wikigame

  Public
  Python utilities to play the Wikipedia Random Article Game

  Python

  •

  Apache License 2.0

  •0•0•0•0•Updated Oct 14, 2017Oct 14, 2017

• TSP

  Public
  Travelling salesperson problem for Oxford pub crawls

  Python

  •

  Apache License 2.0

  •0•0•0•0•Updated Apr 29, 2017Apr 29, 2017

• shaders

  Public
  OpenGL shaders challenge

  GLSL

  •

  MIT License

  •0•0•0•0•Updated Feb 5, 2017Feb 5, 2017

• emoji-translator

  Public
  Translate from English to Emoji

  Perl

  •

  MIT License

  •0•0•0•0•Updated Jan 28, 2017Jan 28, 2017

• oxmas

  Public
  Christmas related programming

  JavaScript

  •0•0•0•0•Updated Nov 26, 2016Nov 26, 2016

• codegolf

  Public
  Challenges for code golfing

  Perl

  •0•1•0•0•Updated Oct 22, 2016Oct 22, 2016

• compsoc-database

  Public
  Oxford University Computer Society Database System

  Java

  •0•0•0•0•Updated Aug 23, 2015Aug 23, 2015

• www-content

  Public
  The source content (in markdown + some extra stuff) for our website

  CSS

  •1•2•0•0•Updated Jan 24, 2014Jan 24, 2014