Data and analysis code for 'Offensive Cyber Task Horizons' (Payne, Miller, Peters, 2026)
☆17May 27, 2026Updated last month
Alternatives and similar repositories for cyber-task-horizons-data
Users that are interested in cyber-task-horizons-data are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A library for training crosscoders☆17May 28, 2025Updated last year
- Attribution-based Parameter Decomposition☆35Jun 11, 2025Updated last year
- Code repo for the model organisms and convergent directions of EM papers.☆72Sep 22, 2025Updated 9 months ago
- Erdős Problem #870: paper and sorry-free, axiom-clean Lean 4 formalization.☆20Jun 26, 2026Updated 2 weeks ago
- A playable 3D voxel game built in Lean 4.☆19Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- News Trader is a customizable expert advisor to trade high-volatility news releases based on the trader's inputs.☆51Aug 8, 2025Updated 11 months ago
- Animal Harm Assessment public repository☆12May 3, 2026Updated 2 months ago
- Pin files for contextual, codebase-level AI assistance.☆16Jul 11, 2024Updated 2 years ago
- Testground: SDK for developing test plans in Go☆12May 24, 2024Updated 2 years ago
- Open source replication of Anthropic's Crosscoders for Model Diffing☆68Oct 27, 2024Updated last year
- ☆11Aug 17, 2023Updated 2 years ago
- Bayesian scaling laws for in-context learning.☆16Mar 12, 2025Updated last year
- Agentic workflow for tackling all open Erdos problems at once.☆33May 10, 2026Updated 2 months ago
- Tools and models for estimating Filecoin energy use from on-chain proofs☆11Jun 14, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Templates for building Abstract modules.☆12Jan 8, 2025Updated last year
- ☆12Feb 11, 2026Updated 5 months ago
- ☆16Jun 9, 2024Updated 2 years ago
- ZK Theorem Proving☆10Aug 11, 2024Updated last year
- Repository for "Training Language Models To Explain Their Own Computations"☆23Jul 7, 2026Updated last week
- Prompts used in the Automated Auditing Blog Post☆164Jul 24, 2025Updated 11 months ago
- Hosting Dynamic Content on IPFS☆19Oct 23, 2023Updated 2 years ago
- ☆12Dec 25, 2023Updated 2 years ago
- ☆13Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Data structures from the book *Purely Functional Data Structures*, implemented in the Julia language.☆16Sep 9, 2023Updated 2 years ago
- ☆13Sep 4, 2023Updated 2 years ago
- My awesome dotfiles.☆25Sep 15, 2021Updated 4 years ago
- ☆10Sep 26, 2024Updated last year
- CLI tool for creating charts☆50Feb 15, 2026Updated 5 months ago
- Experiments in applying interpretability techniques to learned reward functions.☆10Dec 11, 2020Updated 5 years ago
- A Primer for Decentralized Identifiers☆10Nov 11, 2021Updated 4 years ago
- Learn to build an autotrader with Optiver's Ready Trader Go Simulator☆62May 8, 2022Updated 4 years ago
- LLM Divergent Thinking Creativity Benchmark. LLMs generate 25 unique words that start with a given letter with no connections to each oth…☆35Mar 20, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Work in progress! I don't recommend looking at the code right now.☆25Updated this week
- A pathogen friendly install of pyflakes☆18Jan 29, 2012Updated 14 years ago
- UCAN Invocation & Pipelining☆19Jul 8, 2026Updated last week
- LensVM specifications and ABI definition☆12Apr 10, 2021Updated 5 years ago
- A modded Prolly-tree implementation in Typescript☆15Oct 6, 2025Updated 9 months ago
- Finite Fields and Curves in Lean☆14Apr 6, 2023Updated 3 years ago
- INDICT: Code Generation with Internal Dialogues of Critiques for Both Security and Helpfulness☆15Jun 2, 2026Updated last month