-
06:00
- same time - @s1db_
Highlights
- Pro
Lists (2)
Sort Name ascending (A-Z)
- All languages
- Agda
- Assembly
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- CoffeeScript
- Coq
- Elixir
- Erlang
- F#
- Go
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lua
- Makefile
- Markdown
- OCaml
- Objective-C
- Oz
- PHP
- Polar
- Promela
- Pug
- Python
- R
- Ruby
- Rust
- SCSS
- SWIG
- Scala
- Shell
- Starlark
- Svelte
- TeX
- TypeScript
- Vue
- XSLT
Starred repositories
Awesome machine learning for combinatorial optimization papers.
Easily run Python at the shell! Magical, but never mysterious.
Creating iCal for bin collection events in Glasgow.
A repository of links with advice related to grad school applications, research, phd etc
CAES005 - Introdução à Programação Funcional
OpenStack Networking (Neutron). Mirror of code maintained at opendev.org.
Fundamental path finding using Rapidly Exploring Random Trees
CMake for C++ Best Practices
A mechanisation of Wasm in Isabelle.
Graph Compression for Approximately Preserving Shortest Path Distances. Bsc (Hons) dissertation project at University of Glasgow.
Emulator for rapid prototyping of Software Defined Networks
A constraint programming solver with support for proof logging
Code for the paper 'Learning TSP Requires Rethinking Generalization' (CP 2021)
A Collection of High Performance Parallel Skeletons for Tree Search Problems
Convert a pseudo-Boolean formula to a LaTeX string.
4th year individual project supervised by Dr Ornela Dardha on "Turing Machine Language"- a new approach to learning about Turing Machines
CNF generator in DIMACS format. It produces common families of CNFs.
Open-source textbook about CHERI capabilities, for a developer audience
Haskell implementation of open games
Verifies SAT solver output. Uses drat-trim proof checker for UNSAT instances.