nitrogl

Awesome-CV

Awesome CV is LaTeX template for your outstanding job application

nclbeamer

LaTeX Beamer styles for Newcastle University

eo-psi

Private Set Intersection Protocol, Blind data, Outsource both data and secure computation

strathbeamer

Strathclyde University LaTeX beamer template

HOL

Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.

simple-wepcrack

Simple WEP Crack - an Aircrack frontend which guide the user to crack a WEP (in)secured WiFi

speke-verification

Verification of the design of the SPEKE protocols in many variants including the original and the latest ISO standard

uoy-beamer

Unofficial beamer template for high-quality presentations

avatarify

Avatars for Zoom, Skype and other video-conferencing apps.

cinir

Cognitive-science-Project

The Value Creation-and Trading Project: VCaT Project ---Cognitive science

cool-white-paper

LaTeX class that facilitates creation of cool white papers

CoSimul_Platform

Code release of a co-simulation platform based on Mosaik

diff-match-patch

Diff Match Patch is a high-performance library in multiple languages that manipulates plain text.

easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

flag-icon-css

:flags: A collection of all country flags in SVG — plus the CSS for easier integration

fncs

Framework for Network Co-Simulation

Font-Awesome

The iconic font and CSS toolkit

GlobalProtect-openconnect

A GlobalProtect VPN client (GUI) for Linux, based on OpenConnect and built with Qt5, supports SAML auth mode.

gp-saml-gui

Interactively authenticate to GlobalProtect VPNs that require SAML

jasmin

Jasmin compiler

kde-proverif-highlight

Syntax Highlighting for ProVerif files for KDE editors

openwrt

This repository is a mirror of https://git.openwrt.org/openwrt/openwrt.git It is for reference only and is not active for check-ins. We will continue to accept Pull Requests here. They will be merged via staging trees then into openwrt.git.

pkic.org

Source of the pkic.org website

pprism

Parametrised PRISM

snippets

Any-purpose snippets that I feel they may be used in multiple projects, yet too easy to justify a single project/library.

UI

STIX 2.1 Data Modeling Tool

uobham-beamer

Unofficial beamer template for University of Birmingham

upsidedown

Write text upsidedown

webgl-globe

WebGL Globe is a platform for visualizing latitude longitude based information using WebGL.