Automatically extract executable programs from pruned mechanistic circuits, extending OpenAI's Sparse Circuits
☆70Nov 23, 2025Updated 5 months ago
Alternatives and similar repositories for symbolic-circuit-distillation
Users that are interested in symbolic-circuit-distillation are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Analyze AI agent trajectories: extract actions, summarize, embed, and visualize.☆111Apr 14, 2026Updated last month
- Configurable deep research assistant☆24Apr 14, 2026Updated last month
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- System-wide Lean input method☆12Feb 16, 2022Updated 4 years ago
- [ACL 2025] Analyzing LLMs' Multilingual Knowledge Boundary Cognition Across Languages Through the Lens of Internal Representations☆19Oct 18, 2025Updated 7 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An open-source, self-hosted, and non-custodial solution for receiving cryptocurrency donations.☆36Jul 1, 2025Updated 10 months ago
- ☆22Jan 14, 2026Updated 4 months ago
- ☆26Nov 1, 2021Updated 4 years ago
- ☆25Aug 19, 2025Updated 9 months ago
- Command-line utility to return Zotero record field values given a Zotero select link, an item key, or even just a file attachment☆10Dec 23, 2023Updated 2 years ago
- Download videos & images from Onlyfans profiles to backup media or enjoy offline☆91Apr 25, 2026Updated 3 weeks ago
- ☆43Oct 2, 2025Updated 7 months ago
- DONUT: Database of Original and Non-Theoretical Applications of Topology☆18May 11, 2026Updated last week
- Masonry.js Extension for Quarto.☆14Apr 1, 2026Updated last month
- 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.
- ☆17Aug 7, 2024Updated last year
- A CLI for managing AI skill packages☆27Jan 18, 2026Updated 4 months ago
- created based on universal_tool_template.py, together with module_photoshop.py, it allow you to run a cross-platform, cross-application Q…☆11Feb 8, 2017Updated 9 years ago
- Basic start of TensorFlow with TensorBoard☆11Apr 9, 2016Updated 10 years ago
- ☆18Apr 28, 2025Updated last year
- the open-source code of QAgent☆58Oct 14, 2025Updated 7 months ago
- Analyze and list statistics about your Blender project to determine scene complexity and performance☆12Aug 8, 2024Updated last year
- Kanban board that helps you build software people love.☆78Sep 27, 2025Updated 7 months ago
- Generate citations for a list of URLs☆28Aug 12, 2013Updated 12 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- AI-powered game engine for dynamic, personalized experiences in evolving worlds. Ethical, accessible, inclusive.☆48Oct 20, 2025Updated 7 months ago
- ☆12Jul 11, 2023Updated 2 years ago
- agent skills, starting w/ context engineering☆43May 12, 2026Updated last week
- Documentation for citeproc-js☆15Dec 7, 2020Updated 5 years ago
- ☆12Aug 27, 2024Updated last year
- A demo site for the JSON Canvas to Mermaid Library☆18Jul 4, 2024Updated last year
- HTML API for Citation.js☆15Jul 19, 2023Updated 2 years ago
- A free and opensource yolov8, yolo11 and yolo26 all in one training tool that automates file structure and yaml files, auto labeling with…☆36Feb 26, 2026Updated 2 months ago
- Leo code snippets☆13Apr 27, 2020Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆11Jan 14, 2023Updated 3 years ago
- Rust FTL + WebRTC live streaming software.☆13Mar 12, 2022Updated 4 years ago
- A collection of tools to quickly setup a scene for 2d animation in Blender☆10Jul 22, 2020Updated 5 years ago
- My OpenCode and Oh-My-OpenCode configuration files with API proxy setup documentation☆36Jan 5, 2026Updated 4 months ago
- a short, integratable reusable Qt5 image widget based on QGraphicsView and QGraphicsScene with pan and zooming capabilities☆10May 4, 2015Updated 11 years ago
- Convert Adobe InDesign Markup Language Files (IDML) into JSON and JSON into IDML.☆19Mar 6, 2026Updated 2 months ago
- Reverse engineered Twitter's API☆12Nov 28, 2023Updated 2 years ago