Browse all repositories

docgenerator

This repository aims to show an example how to automatically prove Ada/SPARK software with Travis CI. The current process consists of downloading and installing the GPL versions of GNAT and SPARK and then build and prove the project.

Modern concurrency tools for Crystal

A tmux plugin to run internet speed tests and display results in your status bar

Command-line menu system for embedded Rust platforms.

Ultra lightweight, ultra fast calculation of geo distances

Ultra-lightweight Java DI framework with JSR-330 support, fast classpath scanning, and zero boilerplate. Minimal alternative to Spring/Guice.

An Angular 2+ datepicker component that animate, can have multiple calendars next to each other, has no dependencies

SVGraph bringing graphing and charting to AutoHotkey

⚡️📌 Update a pinned gist to show your latest GitHub activity

The most mature web client for NIP-34 git collaboration over Nostr — issues, pull requests, code review, and a bandwidth-efficient git explorer, all without a central platform.

This is the PyTorch implementation of our paper:

This repository provides tools and datasets for investigating adversarial suffix attacks using embedding techniques. Our project focuses on generating adversarial embeddings and creating harmful datasets for Llama2 and Llama3 models, demonstrating potential vulnerabilities in these language models.

Zsh plugin that intercepts pasted commands and requires typed confirmation before execution. Mitigates MITRE ATT&CK T1204.004.

AWS Mobile SDK for Xamarin (Beta)

Always use SSL/TLS for a destination url in YOURLS if available

Nushell integration for OPAM OCaml Package Manager.