Mirror opencode sessions to HumanLayer
☆13Oct 6, 2026Updated 3 weeks ago
Alternatives and similar repositories for humanlayer-opencode
Users that are interested in humanlayer-opencode are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- pi extension that mirrors pi sessions to HumanLayer (preview)☆39Oct 6, 2026Updated 3 weeks ago
- Jev vs Gemini 3.8 Flash: labelling 1,000 app reviews, 4.1× faster and 7× cheaper☆23Sep 17, 2026Updated last month
- Code and data for analyzing investment biases of large language models in finance.☆19Sep 28, 2026Updated last month
- CodeWiki-Plus is a repository knowledge engine driven entirely by the AI IDE's own model via MCP (Model Context Protocol): zero LLM confi…☆21Updated this week
- Master's Thesis: Test-Driven AI Development - Minimizing code regressions in AI agents using TDD and GraphRAG☆17Mar 18, 2026Updated 7 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Cloud Haskell Supervision Trees☆11Sep 3, 2024Updated 2 years ago
- Bindings to Instagram's API☆11Feb 19, 2018Updated 8 years ago
- Smuggle arbitrary values in ()☆12Apr 18, 2023Updated 3 years ago
- A filter to enable correct handling of CORS headers in undertow-based servers (Wildfly, JBOSS EAP)☆12Jul 16, 2018Updated 8 years ago
- ☆13Sep 28, 2026Updated last month
- Pong in Haskell / Clash, running as software using SDL and as hardware targeting FPGAs☆10Apr 20, 2024Updated 2 years ago
- An implementation of the Update Monad and a 'Free' version from https://danelahman.github.io/papers/types13postproc.pdf☆13Oct 11, 2018Updated 8 years ago
- Discovery Foundation Models (DFMs)☆32Oct 19, 2026Updated 2 weeks ago
- Curses bindings package for Idris☆12Jan 4, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Cloud Haskell - gen_server implementation☆13Sep 3, 2024Updated 2 years ago
- Safe, checked exceptions☆13Sep 30, 2018Updated 8 years ago
- ChatGPT for Mac, living in your menubar.☆1,323Jun 26, 2026Updated 4 months ago
- Pi package for structured ideation — transforms brain dumps into implementation specs through confidence-gated workflows, codebase explor…☆15Mar 19, 2026Updated 7 months ago
- Explore the behavior SystemC kernel event-driven simulator (aka "the engine")☆12Jan 17, 2024Updated 2 years ago
- Examples using dependent types for mathematical proofs at the type level☆14Feb 27, 2020Updated 6 years ago
- Android app which counts screen looks and unlocks.☆12Jul 24, 2018Updated 8 years ago
- Honors Thesis Summer/Fall 2015☆11Nov 18, 2018Updated 7 years ago
- A package re-exporting the verified subset of containers☆20Jun 18, 2018Updated 8 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.
- Reusable infrastructure modules for running TICK stack on GCP☆20Nov 19, 2025Updated 11 months ago
- A generalization of distributed-process functions to a MonadProcess typeclass and standard transformer instances using monad-control and …☆12Feb 25, 2018Updated 8 years ago
- Financial datetimes and holiday recurrence rules☆18Jul 2, 2020Updated 6 years ago
- Pi extension for SpaceXAI Grok/X.com Subscriptions☆14Aug 13, 2026Updated 2 months ago
- Simple tweets when good new movies hit the theaters with their rating.☆12Feb 12, 2016Updated 10 years ago
- A servant client written for GHCJS☆12Dec 6, 2016Updated 9 years ago
- Agentic memory for Pi — verbatim session capture + grep retrieval☆16Sep 29, 2026Updated last month
- A pi extension for dynamic parallel agent execution. Run multiple agents with different models in parallel, with or without pre-defined a…☆12Feb 6, 2026Updated 8 months ago
- TLA+ model checking and Lean proofs for coding agents, with explicit tool setup.☆35Updated 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.
- Extensible records and variants indexed by a type-level Red-Black tree.☆19Apr 27, 2024Updated 2 years ago
- A simple web server for serving directories.☆16Dec 27, 2024Updated last year
- YNAB Go Client, including a detailed age of money calculator☆10Oct 22, 2026Updated last week
- ⚡ pi extension for dynamic shell interpolation in skills — !\ syntax, gated on allowed-tools☆37Jul 22, 2026Updated 3 months ago
- Chef cookbook for installing orientdb☆10Feb 20, 2016Updated 10 years ago
- Self-hostable cloud coding agent based on Pi☆14Updated this week
- Austin's supercompiler work☆21Nov 17, 2019Updated 6 years ago