Lists (1)
Starred repositories
Your memories are in ChatGPT... But nowhere else. Universal Memory MCP makes your memories available to every single LLM. No logins or paywall. One command to set it up.
A GPT-empowered penetration testing tool
The Python Risk Identification Tool for generative AI (PyRIT) is an open source framework built to empower security professionals and engineers to proactively identify risks in generative AI systems.
Reference notes for Attacking and Defending Generative AI presentation
Dafny-VMC: a Library for Verified Monte Carlo Algorithms
Library for building agents and managing LLM interactions
The efficient SMT-based context-bounded model checker (ESBMC)
Python-RSA is a pure-Python RSA implementation.
Deep learning for dummies. All the practical details and useful utilities that go into working with real models.
I'm really gonna translate HumanEval this time. Y'all haven't seen nothing yet.
Dafny is a verification-aware programming language
A small example using powdr as a library to generate proofs.
An Open Source, Self-Hosted Platform For Applied Deep Learning Development
Source code for Algorithmic Trading with Python (2020) by Chris Conlan
🐢 Open-Source Evaluation & Testing for AI & LLM systems
[ICLR 2024] Efficient Streaming Language Models with Attention Sinks
🌟 The Multi-Agent Framework: First AI Software Company, Towards Natural Language Programming
Ethereum Attestation Service - TypeScript/JavaScript SDK
👾 notes and resources on blockchain's maximal extractable value: on the hope of non-predatory free markets in the metaweb
AI companions with memory: a lightweight stack to create and host your own AI companions
Interfaces for Relations and SNARKs for these relations
Notebooks that replicate original quantitative finance papers from Emanuel Derman