nitrogl Goto Github PK

avatarify

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

awesome-cv

Awesome CV is LaTeX template for your outstanding job application

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

eo-psi

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

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

hol

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

iw_parse

Parse the output of iwlist scan to get the name, address, quality, channel, and encryption type of all networks broadcasting within your Wireless NIC's reach.

jasmin

Jasmin compiler

kde-proverif-highlight

Syntax Highlighting for ProVerif files for KDE editors

nclbeamer

LaTeX Beamer styles for Newcastle University

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

simple-wepcrack

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

snippets

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

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

uobham-beamer

Unofficial beamer template for University of Birmingham

uoy-beamer

Unofficial beamer template for high-quality presentations

upsidedown

Write text upsidedown

webgl-globe

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