Repositories list

• constitution

  Public
  The constitution of the Oxford CompSoc

  00 forks in oxcompsoc/constitution•00 stars in oxcompsoc/constitution•00 issues in oxcompsoc/constitution•00 pull requests in oxcompsoc/constitution•Updated Jun 16, 2026Jun 16, 2026

• kanidm

  Public
  Kanidm: A simple, secure, and fast identity management platform. Note: This is a mirror of https://git.ox.compsoc.net/compsoc/kanidm

  Rust

  •

  Mozilla Public License 2.0

  •371371 forks in oxcompsoc/kanidm•00 stars in oxcompsoc/kanidm•00 issues in oxcompsoc/kanidm•00 pull requests in oxcompsoc/kanidm•Updated Feb 25, 2026Feb 25, 2026

• learntocode

  Public
  Individual session resources for each Learn to Code session

  Jupyter Notebook

  •

  GNU General Public License v3.0

  •3535 forks in oxcompsoc/learntocode•6060 stars in oxcompsoc/learntocode•00 issues in oxcompsoc/learntocode•33 pull requests in oxcompsoc/learntocode•Updated Nov 22, 2025Nov 22, 2025

• compbot

  Public
  Discord bot for the CompSoc server

  Rust

  •11 fork in oxcompsoc/compbot•00 stars in oxcompsoc/compbot•00 issues in oxcompsoc/compbot•00 pull requests in oxcompsoc/compbot•Updated Mar 2, 2025Mar 2, 2025

• CS-Essentials

  Public
  Course for beginners in CS

  TeX

  •

  MIT License

  •00 forks in oxcompsoc/CS-Essentials•11 star in oxcompsoc/CS-Essentials•00 issues in oxcompsoc/CS-Essentials•00 pull requests in oxcompsoc/CS-Essentials•Updated Nov 20, 2018Nov 20, 2018

• coq-intro

  Public
  An abridged tutorial for Coq

  HTML

  •00 forks in oxcompsoc/coq-intro•00 stars in oxcompsoc/coq-intro•00 issues in oxcompsoc/coq-intro•00 pull requests in oxcompsoc/coq-intro•Updated Feb 24, 2018Feb 24, 2018

• CompSoc-food-ballot

  Public
  The results from the 2017 CompSoc food ballot

  Python

  •

  The Unlicense

  •00 forks in oxcompsoc/CompSoc-food-ballot•00 stars in oxcompsoc/CompSoc-food-ballot•00 issues in oxcompsoc/CompSoc-food-ballot•00 pull requests in oxcompsoc/CompSoc-food-ballot•Updated Nov 11, 2017Nov 11, 2017

• wikigame

  Public
  Python utilities to play the Wikipedia Random Article Game

  Python

  •

  Apache License 2.0

  •00 forks in oxcompsoc/wikigame•00 stars in oxcompsoc/wikigame•00 issues in oxcompsoc/wikigame•00 pull requests in oxcompsoc/wikigame•Updated Oct 14, 2017Oct 14, 2017

• TSP

  Public
  Travelling salesperson problem for Oxford pub crawls

  Python

  •

  Apache License 2.0

  •00 forks in oxcompsoc/TSP•00 stars in oxcompsoc/TSP•00 issues in oxcompsoc/TSP•00 pull requests in oxcompsoc/TSP•Updated Apr 29, 2017Apr 29, 2017

• shaders

  Public
  OpenGL shaders challenge

  GLSL

  •

  MIT License

  •00 forks in oxcompsoc/shaders•00 stars in oxcompsoc/shaders•00 issues in oxcompsoc/shaders•00 pull requests in oxcompsoc/shaders•Updated Feb 5, 2017Feb 5, 2017

• emoji-translator

  Public
  Translate from English to Emoji

  Perl

  •

  MIT License

  •00 forks in oxcompsoc/emoji-translator•00 stars in oxcompsoc/emoji-translator•00 issues in oxcompsoc/emoji-translator•00 pull requests in oxcompsoc/emoji-translator•Updated Jan 28, 2017Jan 28, 2017

• oxmas

  Public
  Christmas related programming

  JavaScript

  •00 forks in oxcompsoc/oxmas•00 stars in oxcompsoc/oxmas•00 issues in oxcompsoc/oxmas•00 pull requests in oxcompsoc/oxmas•Updated Nov 26, 2016Nov 26, 2016

• codegolf

  Public
  Challenges for code golfing

  Perl

  •00 forks in oxcompsoc/codegolf•22 stars in oxcompsoc/codegolf•00 issues in oxcompsoc/codegolf•00 pull requests in oxcompsoc/codegolf•Updated Oct 22, 2016Oct 22, 2016

• compsoc-database

  Public
  Oxford University Computer Society Database System

  Java

  •00 forks in oxcompsoc/compsoc-database•00 stars in oxcompsoc/compsoc-database•00 issues in oxcompsoc/compsoc-database•00 pull requests in oxcompsoc/compsoc-database•Updated Aug 23, 2015Aug 23, 2015

• www-content

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

  CSS

  •11 fork in oxcompsoc/www-content•22 stars in oxcompsoc/www-content•00 issues in oxcompsoc/www-content•00 pull requests in oxcompsoc/www-content•Updated Jan 24, 2014Jan 24, 2014