Slack as ACP Client
☆21Mar 21, 2026Updated 5 months ago
Alternatives and similar repositories for juan
Users that are interested in juan are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lithic minimizes risk with typed AI services, cost caps, per-user budgets, and cryptographic provenance on-chain.☆27Apr 7, 2026Updated 5 months ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 years ago
- A short app that I made that helps users create hidden accounts with the usage of iCloud Hide My Email☆18May 22, 2026Updated 3 months ago
- A realworld implementation using purescript-deku☆10Apr 28, 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.
- Notify Honeybadger about Haskell exceptions.☆12Aug 10, 2026Updated last month
- Production-grade Go backend using Gin, GORM, Redis, and Swagger with clean architecture and fintech-ready infrastructure.☆18Jan 14, 2026Updated 8 months ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 9 years ago
- being the materials from my YOW LambdaJam 2016 talk☆11Jun 11, 2016Updated 10 years ago
- Declarative CLI to create and configure WSL instances from a single YAML config☆17Apr 1, 2026Updated 5 months ago
- an optimizing curry compiler☆15Nov 27, 2022Updated 3 years ago
- Faktory Worker for Haskell☆17Updated this week
- A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.☆19Mar 4, 2026Updated 6 months ago
- A minimalist implementation of type theory, suitable for experimentation☆16Jun 13, 2026Updated 3 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.
- A wizard demo powered by Stent state machine, Redux, and React☆14Feb 12, 2019Updated 7 years ago
- Graphviz code generation with Haskell☆18Jan 26, 2023Updated 3 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Apr 22, 2025Updated last year
- Open telemetry auto instrumentation using GHC plugin☆15Jun 8, 2026Updated 3 months ago
- ☆16Nov 21, 2023Updated 2 years ago
- Polyglot execution engine and CLI for vulnerability detection using real code☆21Updated this week
- Simple indentation sensitive parser-combinators for parsec☆20Oct 2, 2023Updated 2 years ago
- Terminal UI dashboard for BullMQ☆18Aug 30, 2026Updated 2 weeks ago
- A Galilean revolution for computing: Unboundedly scalable reliability and efficiency☆17Aug 6, 2023Updated 3 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.
- Minimal tmux popup/tabs radar for Codex, Amp, Claude Code, OpenCode, Pi, Antigravity, Kiro, Copilot, Auggie and Grok.☆17Aug 8, 2026Updated last month
- Pure Rust Node.js Single Executable Application (SEA) builder☆17Mar 14, 2026Updated 6 months ago
- Testing Infrastructure for Temporal AbstractioNs☆24Aug 24, 2020Updated 6 years ago
- Some stuff from Robert Harper's lectures at OPLSS, formalized in Agda.☆16Aug 4, 2011Updated 15 years ago
- generate contextually sensible fuzz tests for servant apps☆26Oct 7, 2025Updated 11 months ago
- Protect against backwards-incompatible serializations☆23May 21, 2021Updated 5 years ago
- OSC Agent - An open-source contributor CLI agent☆20Feb 10, 2026Updated 7 months ago
- This hands-on technical evaluation is designed to assess your expertise in building high-performance, scalable applications using modern …☆16Feb 5, 2026Updated 7 months ago
- 让零基础小白也能一键安装运行 OpenClaw AI 编程助手，无需配置环境、无需命令行 | Tauri + React + Rust☆19Apr 10, 2026Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆18Mar 30, 2026Updated 5 months ago
- AI-powered video understanding — extract key frames from YouTube, Bilibili & any video page, get structured summaries via vision AI. Supp…☆20Mar 23, 2026Updated 5 months ago
- ⚡ AI Automation Engine☆18Jun 30, 2026Updated 2 months ago
- A modern TUI client for Memcached with tree-structured key navigation, smart JSON/binary formatting, and Vim keybindings☆20Jan 12, 2026Updated 8 months ago
- ☆14Dec 5, 2025Updated 9 months ago
- A blog system dedicated to enhancing content presentation experience. Write freely and let AI generate interactive web pages. 一个致力于提升内容演示…☆14Jan 23, 2026Updated 7 months ago
- Modern Compiler Implementation in ML, in Haskell☆22May 29, 2021Updated 5 years ago