s1db

advice

A repository of links with advice related to grad school applications, research, phd etc

caes005-introduction-to-functional-programming

CAES005 - Introdução à Programação Funcional

neutron

OpenStack Networking (Neutron). Mirror of code maintained at opendev.org.

rrt

Fundamental path finding using Rapidly Exploring Random Trees

guiml

A component driven GUI framework for python.

cmake_template

CMake for C++ Best Practices

WasmCert-Isabelle

A mechanisation of Wasm in Isabelle.

Approximate_Graph_Compression

Graph Compression for Approximately Preserving Shortest Path Distances. Bsc (Hons) dissertation project at University of Glasgow.

mininet

Emulator for rapid prototyping of Software Defined Networks

pseudo.sty

Straightforward pseudocode.

glasgow-constraint-solver

A constraint programming solver with support for proof logging

learning-tsp

Code for the paper 'Learning TSP Requires Rethinking Generalization' (CP 2021)

cryptominisat

An advanced SAT solver

networkx

Network Analysis in Python

YewPar

A Collection of High Performance Parallel Skeletons for Tree Search Problems

otp

Erlang/OTP

OPB-to-LaTeX

Convert a pseudo-Boolean formula to a LaTeX string.

cp

Turing-Machine-Language

4th year individual project supervised by Dr Ornela Dardha on "Turing Machine Language"- a new approach to learning about Turing Machines

cnfgen

CNF generator in DIMACS format. It produces common families of CNFs.

SPLV-sat-smt-intro

Introduction to using SAT and SMT

capabilitiesforcoders

Open-source textbook about CHERI capabilities, for a developer audience

open-game-engine

Haskell implementation of open games

sat-verifier

Verifies SAT solver output. Uses drat-trim proof checker for UNSAT instances.

P

The P programming language.

AutonomousWheelchair

Navigation and localisation for an autonomous wheelchair

awesome-cold-showers

For when people get too hyped up about things

VeriPB

Verifier for pseudo-Boolean proofs

alpha-beta-CROWN

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, and 2023)

spa-s-enumerateSMs

An implementation that finds all the stable matchings in a given instance of the Student-Project Allocation problem with student preferences over projects and lecturer preferences over students.