-
kde-proverif-highlight Public
Syntax Highlighting for ProVerif files for KDE editors
MIT License UpdatedNov 7, 2024 -
simple-wepcrack Public
Simple WEP Crack - an Aircrack frontend which guide the user to crack a WEP (in)secured WiFi
-
-
-
-
pkic.org Public
Forked from pkic/pkic.orgSource of the pkic.org website
HTML MIT License UpdatedJan 23, 2024 -
GlobalProtect-openconnect Public
Forked from yuezk/GlobalProtect-openconnectA GlobalProtect VPN client (GUI) for Linux, based on OpenConnect and built with Qt5, supports SAML auth mode.
C++ GNU General Public License v3.0 UpdatedOct 14, 2023 -
gp-saml-gui Public
Forked from dlenski/gp-saml-guiInteractively authenticate to GlobalProtect VPNs that require SAML
Python GNU General Public License v3.0 UpdatedOct 13, 2023 -
avatarify Public
Forked from alievk/avatarify-pythonAvatars for Zoom, Skype and other video-conferencing apps.
Python Other UpdatedAug 14, 2023 -
openwrt Public
Forked from openwrt/openwrtThis 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 merg…
C Other UpdatedJul 18, 2023 -
uobham-beamer Public
Unofficial beamer template for University of Birmingham
TeX MIT License UpdatedFeb 2, 2023 -
uoy-beamer Public
Unofficial beamer template for high-quality presentations
TeX MIT License UpdatedOct 19, 2022 -
nclbeamer Public
LaTeX Beamer styles for Newcastle University
-
UI Public
Forked from STIX-Modeler/UISTIX 2.1 Data Modeling Tool
JavaScript MIT License UpdatedNov 22, 2021 -
easycrypt Public
Forked from EasyCrypt/easycryptEasyCrypt: Computer-Aided Cryptographic Proofs
OCaml Other UpdatedSep 28, 2021 -
speke-verification Public
Verification of the design of the SPEKE protocols in many variants including the original and the latest ISO standard
MIT License UpdatedAug 12, 2021 -
-
Cognitive-science-Project Public
Forked from AydinAbadi/Cognitive-science-ProjectThe Value Creation-and Trading Project: VCaT Project ---Cognitive science
Solidity MIT License UpdatedJun 21, 2021 -
snippets Public
Any-purpose snippets that I feel they may be used in multiple projects, yet too easy to justify a single project/library.
C++ UpdatedMay 19, 2021 -
cool-white-paper Public
LaTeX class that facilitates creation of cool white papers
TeX MIT License UpdatedMay 17, 2021 -
eo-psi Public
Private Set Intersection Protocol, Blind data, Outsource both data and secure computation
-
webgl-globe Public
Forked from gavJackson/webgl-globeWebGL Globe is a platform for visualizing latitude longitude based information using WebGL.
JavaScript Other UpdatedAug 12, 2020 -
CoSimul_Platform Public
Forked from sustainable-computing/co_sim_platformCode release of a co-simulation platform based on Mosaik
Python MIT License UpdatedJun 23, 2020 -
flag-icon-css Public
Forked from lipis/flag-icons🎏 A collection of all country flags in SVG — plus the CSS for easier integration
HTML MIT License UpdatedJun 10, 2020 -
-
diff-match-patch Public
Forked from google/diff-match-patchDiff Match Patch is a high-performance library in multiple languages that manipulates plain text.
Python Apache License 2.0 UpdatedOct 3, 2018 -
Font-Awesome Public
Forked from FortAwesome/Font-AwesomeThe iconic font and CSS toolkit
HTML UpdatedNov 14, 2017 -
Awesome-CV Public
Forked from posquit0/Awesome-CVAwesome CV is LaTeX template for your outstanding job application
-
strathbeamer Public
Strathclyde University LaTeX beamer template
-
HOL Public
Forked from HOL-Theorem-Prover/HOLCanonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
{{ message }}