A Safe Agent With Tracked Capabilities
☆36Oct 17, 2026Updated this week
Alternatives and similar repositories for atc
Users that are interested in atc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Oct 3, 2026Updated 2 weeks ago
- Modern Scala 3 client for Redis and Valkey, native and multi-backend☆61Updated this week
- High-velocity, opinionated functional ORM inspired by Active Record patterns, laser-focused on productivity☆28Mar 27, 2026Updated 6 months ago
- Lightweight, immutable database☆29Oct 13, 2026Updated last week
- A GitHub action to submit your dependency graph from your Mill build to GitHub.☆11May 4, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A high-performance, zero-dependency, system/stack-agnostic Proof of Work microservice that turns any proxy or server into a defense gate …☆32Updated this week
- UUID V1, V6, V7 & TypeID generation with ZIO☆14Oct 14, 2026Updated last week
- Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization☆37May 18, 2026Updated 5 months ago
- Semantic Type Soundness in Lean 4☆19Sep 28, 2026Updated 3 weeks ago
- A collection of libraries maintained by LAMP.☆15Sep 6, 2026Updated last month
- Agent Skill Management TUI☆15Jul 2, 2026Updated 3 months ago
- ☆12Mar 27, 2026Updated 6 months ago
- a Racket formatter that only fixes whitespaces☆12Jun 6, 2026Updated 4 months ago
- An AI Agent using MoonBit☆14Nov 29, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Lean4: Total parser combinator library with do notation☆23Sep 9, 2026Updated last month
- The simplest implementation of Dependent Pattern Matching and Indexed Inductive Types.☆14Apr 11, 2026Updated 6 months ago
- RightScale Amazon Web Services Ruby Gems☆11Aug 17, 2010Updated 16 years ago
- A Scala 3 compiler plugin that enforces layered/onion architecture at compile time by validating package dependencies via @dependsOn anno…☆16Oct 13, 2026Updated last week
- Powerful client / server technology for Scala☆36Oct 14, 2026Updated last week
- Effect monads with specifications (DIjkstra Monads) in Lean 4☆12Feb 18, 2024Updated 2 years ago
- A template for cross-platform, cross-versions Scala Library☆19Nov 24, 2025Updated 10 months ago
- A thin scala wrapper for Java NIO.2, built on cats-effect 🐱☆12Jun 19, 2023Updated 3 years ago
- My Rust-based keymap for QMK☆11Dec 1, 2025Updated 10 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Type-safe Queries☆54Sep 11, 2023Updated 3 years ago
- ☆19Sep 10, 2026Updated last month
- Giter8 template for a Mill project with a Scala Hello App☆17Feb 18, 2026Updated 8 months ago
- An LSP implementaion for LR(1) parser generator LALRPOP, written in Rust.☆14Sep 2, 2026Updated last month
- ☆11Apr 10, 2024Updated 2 years ago
- Abstract machines for functional programming languages☆16Feb 22, 2019Updated 7 years ago
- Verified graph rewriting (for dataflow circuits).☆29Oct 4, 2026Updated 2 weeks ago
- Mirage-SQL Scala - the SQL Centric Database Access Library for Scala!☆13Nov 11, 2017Updated 8 years ago
- ZIO Scala coding rules, anti-patterns, and decision guides — installable as a Claude Code skill plugin☆20Sep 20, 2026Updated last month
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- 📧 E-Voting platform based on the Dela blockchain☆23Feb 10, 2026Updated 8 months ago
- CLI tool for coding agents and developers to query the public API of any Maven JVM dependency — get symbol signatures, list packages, sea…☆100Updated this week
- The Truffle Language Implementation Framework☆12Feb 15, 2025Updated last year
- Quantum circuits compiler with staging and continuations☆18Nov 19, 2024Updated last year
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 9 years ago
- Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]☆77Sep 4, 2026Updated last month
- Apache Pekko Management is a suite of tools for operating Pekko Clusters.☆33Updated this week