Stars
GDPR compliant, self-hosted CAPTCHA alternative with PoW mechanism and advanced anti-spam filter.
A web-based collaborative LaTeX editor
Python function to construct a ZIP archive on the fly
Command line tool for model checking using LTL, CTL and CTL* formulas
The Web framework for perfectionists with deadlines.
This repo includes ChatGPT prompt curation to use ChatGPT better.
The Most Complete React UI Component Library
HardeningKitty and Windows Hardening Settings
Store files as YouTube videos == infinite disk space
Java DSL for easy testing of REST services
[DEPRECATED] OneUI design and functionality library for android apps.
Gaining advanced insights from Git repository history.
DOWNLOAD HERE: https://github.com/RobertKrajewski/Sync-my-L2P/releases/latest
This repository used to be the user-facing mirror of the Sage source tree. As Sage development migrated on 2023-02-01 from https://trac.sagemath.org/ to our new repository on GitHub, https://github…
A customizable hardware prefetching framework using online reinforcement learning as described in the MICRO 2021 paper by Bera et al. (https://arxiv.org/pdf/2109.12021.pdf).
D(HE)ater is a proof of concept implementation of the D(HE)at attack (CVE-2002-20001) through which denial-of-service can be performed by enforcing the Diffie-Hellman key exchange. (read-only clone…