Pinned Repositories
easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
HolBA-with-benchmarks
Binary analysis in HOL (with additional benchmark files)
Awesome-CV
Awesome CV is LaTeX template for your outstanding job application
eo-psi
Private Set Intersection Protocol, Blind data, Outsource both data and secure computation
HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
nclbeamer
LaTeX Beamer styles for Newcastle University
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
strathbeamer
Strathclyde University LaTeX beamer template
UI
STIX 2.1 Data Modeling Tool
nitrogl's Repositories
nitrogl/Awesome-CV
Awesome CV is LaTeX template for your outstanding job application
nitrogl/nclbeamer
LaTeX Beamer styles for Newcastle University
nitrogl/eo-psi
Private Set Intersection Protocol, Blind data, Outsource both data and secure computation
nitrogl/strathbeamer
Strathclyde University LaTeX beamer template
nitrogl/HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
nitrogl/simple-wepcrack
Simple WEP Crack - an Aircrack frontend which guide the user to crack a WEP (in)secured WiFi
nitrogl/speke-verification
Verification of the design of the SPEKE protocols in many variants including the original and the latest ISO standard
nitrogl/uoy-beamer
Unofficial beamer template for high-quality presentations
nitrogl/avatarify
Avatars for Zoom, Skype and other video-conferencing apps.
nitrogl/cinir
nitrogl/Cognitive-science-Project
The Value Creation-and Trading Project: VCaT Project ---Cognitive science
nitrogl/cool-white-paper
LaTeX class that facilitates creation of cool white papers
nitrogl/CoSimul_Platform
Code release of a co-simulation platform based on Mosaik
nitrogl/diff-match-patch
Diff Match Patch is a high-performance library in multiple languages that manipulates plain text.
nitrogl/easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
nitrogl/flag-icon-css
:flags: A collection of all country flags in SVG — plus the CSS for easier integration
nitrogl/fncs
Framework for Network Co-Simulation
nitrogl/Font-Awesome
The iconic font and CSS toolkit
nitrogl/GlobalProtect-openconnect
A GlobalProtect VPN client (GUI) for Linux, based on OpenConnect and built with Qt5, supports SAML auth mode.
nitrogl/gp-saml-gui
Interactively authenticate to GlobalProtect VPNs that require SAML
nitrogl/jasmin
Jasmin compiler
nitrogl/kde-proverif-highlight
Syntax Highlighting for ProVerif files for KDE editors
nitrogl/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.
nitrogl/pkic.org
Source of the pkic.org website
nitrogl/pprism
Parametrised PRISM
nitrogl/snippets
Any-purpose snippets that I feel they may be used in multiple projects, yet too easy to justify a single project/library.
nitrogl/UI
STIX 2.1 Data Modeling Tool
nitrogl/uobham-beamer
Unofficial beamer template for University of Birmingham
nitrogl/upsidedown
Write text upsidedown
nitrogl/webgl-globe
WebGL Globe is a platform for visualizing latitude longitude based information using WebGL.