☆31Aug 2, 2026Updated 2 months ago
Alternatives and similar repositories for CategoryTheoryDesign
Users that are interested in CategoryTheoryDesign 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 video extension of Pipecat's Smart Turn☆13Jan 14, 2026Updated 9 months ago
- Automatically prove mathematical statements about your jax code in lean☆52Aug 6, 2026Updated 2 months ago
- Convergence assistant for knowledge corpora☆17Oct 7, 2026Updated last week
- A Faster Hash Table at any Physical Load Factor up to and Including One☆32Oct 6, 2026Updated last week
- Independent mobile Linux research: Arch Linux ARM, Omarchy, Hyprland and native Rust phone services.☆26Updated 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.
- cleans build files☆18Jul 29, 2026Updated 2 months ago
- A white screen border that lights your face during video calls, for the Omarchy desktop.☆16Sep 24, 2026Updated 3 weeks ago
- Embodied Passive Aeroacoustic Perception Enables Relative Sensing and Pursuit Between Aerial Robots☆45Aug 18, 2026Updated 2 months ago
- Connectome agent host runtime — runs Connectome agents, MCPLs, and the context-manager stack☆120Updated this week
- Train text generation model with JavaScript.☆15Jul 14, 2024Updated 2 years ago
- The niivue mono repo☆29Updated this week
- ☆28Updated this week
- Open-source subatomic physics simulator using classical field theories and topology to study particle & force emergence☆42Updated this week
- ☆27Aug 27, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A Flipper Zero that stops guessing and starts reasoning: ML-guided RFID/NFC fuzzing & access-control auditing that turns raw card reads i…☆25Sep 19, 2026Updated last month
- Dance is an end-to-end framework that detects and classifies events in EEG signals. In a single forward pass, it extracts a set of events…☆44May 27, 2026Updated 4 months ago
- Self-hosted spotify downloader☆46Aug 10, 2025Updated last year
- DeepSpot2Cell: Predicting virtual single-cell spatial transcriptomics from H&E images using spot-level supervision☆23Oct 5, 2026Updated 2 weeks ago
- The Vulnerable Satellite Hacking Platform for Learning Through Research☆37Jul 16, 2026Updated 3 months ago
- Accelerando-8192 — an 8,192-token alien glyph alphabet, interactive encoder, and complete visual atlas.☆58Oct 11, 2026Updated last week
- Standardising Technical Output Writing: standard for producing clear user-facing output, reliable agent-to-agent meta-code, valid structu…☆33Sep 11, 2026Updated last month
- ☆67Updated this week
- Cross Atlas Remapping via Optimal Transport☆12Dec 14, 2023Updated 2 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.
- Reinforcement learning framework to find and analyze the likeliest failures of a system under test.☆16Apr 22, 2024Updated 2 years ago
- Talk to your starred github repositories☆12Aug 29, 2025Updated last year
- Optimisation on Diffeomorphisms☆12Feb 17, 2025Updated last year
- Cyberful is an open-source AI Red Team for discovering, exploiting, verifying, and remediating vulnerabilities.☆139Aug 24, 2026Updated last month
- Linux anonymity / OPSEC toolkit — Tor-by-default with a kill switch, leak verification, and pluggable upstreams. Authorized use only.☆23Sep 2, 2026Updated last month
- esp32 lidar mmwave-radar radar embedded-systems iot pygame sensor-fusion clockworkpi rd-03d fhl-ld19 maker☆50Jul 27, 2026Updated 2 months ago
- Choq: Cherry on QuickJS☆22Aug 11, 2026Updated 2 months ago
- A wrapper around Argo to abstract away custom operators.☆13Jun 12, 2015Updated 11 years ago
- AI Agent Skill to scan GitHub issues/PRs with JTBD + RICE scoring, find high-value market gaps, and generate fake-door validation probes…☆16May 24, 2026Updated 4 months ago
- 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.
- ☆13Sep 17, 2026Updated last month
- [ICLR 2025] On Evluating the Durability of Safegurads for Open-Weight LLMs☆13Jun 20, 2025Updated last year
- cli to fetch bibtex from URL, arxiv ID, Pubmed ID, DOI☆42Aug 6, 2026Updated 2 months ago
- Device-agnostic web bench for Feetech servo characterization and configuration☆16Aug 9, 2026Updated 2 months ago
- Calculate allowed interactions in QED☆10Nov 2, 2022Updated 3 years ago
- Useful resources for creating apps and working with flow.☆11Oct 28, 2024Updated last year
- Collaborative open-source Kernel Flow TD-fNIRS analysis development☆12Oct 11, 2022Updated 4 years ago