A live Haskell notebook where agents compose commands, semantic judgments, and delegation into programs. Agents develop procedures against real evidence and install them as tools, hooks, or coordination policie
☆13Oct 27, 2026Updated last week
Alternatives and similar repositories for tidepool
Users that are interested in tidepool are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆33Sep 2, 2026Updated 2 months ago
- ☆14Updated this week
- An agent's own AT Protocol account, through MCP☆11Updated this week
- ☆16Oct 11, 2026Updated 3 weeks ago
- Stack-based, concatenative language with suggestive pattern-matching☆13Sep 6, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Ever been so pissed you rewrote a 4500 line Java project into 300 lines of Haskell?☆14Oct 4, 2020Updated 6 years ago
- ☆35Updated this week
- A digital circuit verification library for Lean4☆12Jul 29, 2026Updated 3 months ago
- Android attestation bypass toolkit (WIP, contains vibeslop)☆35Aug 23, 2026Updated 2 months ago
- Automatically discover mathematical expressions that best fit your data using genetic programming with e-graph optimization.☆14Apr 12, 2026Updated 6 months ago
- Auto-generator Vulkan-Docs manpages☆11Jun 1, 2020Updated 6 years ago
- ☆17Feb 14, 2026Updated 8 months ago
- Give any MCP-capable agent persistent memory: remember/recall over a tiered store with hybrid vector + keyword retrieval. Single Go binar…☆33Updated this week
- Web application for course on Formal Reasoning About Programs☆20Sep 17, 2025Updated last year
- 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.
- Rust crate for finding and manipulating differences between files (implementes patch / diff with fuzzy matching). Fork of `diffy` by Bran…☆14Oct 18, 2026Updated 2 weeks ago
- The last makefile you'll ever need.☆11Sep 16, 2015Updated 11 years ago
- Orth bootstrap compiler, Orth self-hosting compiler, and OS written in Orth☆10Dec 28, 2018Updated 7 years ago
- A Markdown to HTML compiler written in Haskell.☆18Apr 15, 2024Updated 2 years ago
- Fiberized task queue in Rust☆11Aug 4, 2015Updated 11 years ago
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆22Mar 24, 2022Updated 4 years ago
- Tokio / Hyper like IO for the Browser based on the stdweb, futures and http crates.☆22Feb 8, 2018Updated 8 years ago
- Shell Completion Script and Manpage generation☆15Feb 8, 2020Updated 6 years ago
- A self-modifying, TUI and Discord-facing, AI agent harness with parallel tool calling☆28Oct 10, 2026Updated 3 weeks ago
- 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.
- Ticketed lock synchronization primitive☆11Jan 25, 2021Updated 5 years ago
- ☆28Updated this week
- Vim syntax highlighting for Dyon language☆11Jun 18, 2018Updated 8 years ago
- Apply a base system configuration, quickly!☆17Jul 12, 2026Updated 3 months ago
- Work in progress on semi-simplicial types☆25Dec 15, 2022Updated 3 years ago
- A shim to define Ractor by using Thread, if not already defined☆14Mar 5, 2026Updated 8 months ago
- mcp tools for llm metacogntition☆96Sep 11, 2026Updated last month
- Synthetic Tait computability in intensional type theory☆18Jul 13, 2026Updated 3 months ago
- Modularized (hot-swapping) game engine in Rust☆18May 26, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A desktop app for safely exposing local services on the Internet via Iroh tunnels using QUIC. Built in rust.☆17Updated this week
- Open Source Agentic Coding Harness☆98Updated this week
- ☆13Feb 24, 2026Updated 8 months ago
- An Emacs Lisp AI coding agent with multi-agent architecture, permission-based tool access, and LLM integration via gptel.☆45Sep 22, 2026Updated last month
- A cargo subcommand for publishing Rust projects to github.☆17May 22, 2017Updated 9 years ago
- Doom for command-line☆19Dec 29, 2024Updated last year
- Quality-of-life for fiddly little JS apps that modify user-generated text☆21Jan 19, 2025Updated last year