EVOCrypt: EasyCrypt Verified OCaml Cryptographic Library

Automated Data Analysis leveraging llms

LLM101n: Let's build a Storyteller

Publications from Trail of Bits

Set of tools to assess and improve LLM security.

Adversarial Machine Learning (AML) Capture the Flag (CTF)

A capture-the-flag exercise based on data analysis challenges

CTF challenges designed and implemented in machine learning applications

Official repository for the paper "ALERT: A Comprehensive Benchmark for Assessing Large Language Models’ Safety through Red Teaming"

Ollama Python library

Password cracking research using the Have I Been Pwned (HIBP) dataset to evaluate the effectiveness of the PassGPT Large Language Model (LLM).

Open-source AI cookbook

Implementing a ChatGPT-like LLM in PyTorch from scratch, step by step

Provides automated reverse engineering assistance through the use of local large language models (LLMs) on consumer hardware.

Adding guardrails to large language models.

Approximation of the Claude 3 tokenizer by inspecting generation stream

Simulation framework for accelerating research in Private Federated Learning

Get up and running with Llama 3.1, Mistral, Gemma 2, and other large language models.

MLX: An array framework for Apple silicon

The latest incremental release of SysML v2. Start here.

Mathematical Foundations of Machine Learning

S-LoRA: Serving Thousands of Concurrent LoRA Adapters

Private chat with local GPT with document, images, video, etc. 100% private, Apache 2.0. Supports oLLaMa, Mixtral, llama.cpp, and more. Demo: https://gpt.h2o.ai/ https://gpt-docs.h2o.ai/

Python bindings for llama.cpp

LLM inference in C/C++