Where teams and AI build shared understanding
☆19Sep 29, 2026Updated last week
Alternatives and similar repositories for clayers
Users that are interested in clayers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Model for multi-turn tool calling of bash functions☆36Sep 7, 2026Updated last month
- A variant of Cuckoo Filter whose size automatically scales as necessary☆27May 21, 2026Updated 4 months ago
- Generic virtual dom implementation for rust☆18Mar 4, 2024Updated 2 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Mar 31, 2015Updated 11 years ago
- A Bash backend for PureScript☆20Jan 11, 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.
- A fork of Levy, originally by Bauer and Pretnar. The 'master' branch has some minor code fixes, more examples, and a top-level 'do' notat…☆18Mar 11, 2012Updated 14 years ago
- model testing sugar for testing interactions on structures over time☆26Jul 24, 2019Updated 7 years ago
- Repository for Berkeley's class on Programming the Cloud☆60Sep 2, 2020Updated 6 years ago
- Rust bindings for SQLite’s lsm1 extension in stand-alone manner.☆26Apr 16, 2025Updated last year
- WRite Ahead Logging for distributed applications.☆32Jun 1, 2022Updated 4 years ago
- Codo notation for programming with comonads in Haskell☆26Jan 24, 2021Updated 5 years ago
- ZMQ with ZIG ⚡️☆16Nov 10, 2025Updated 11 months ago
- Agnostic is a Rust ecosystem that provides runtime-agnostic abstractions for async operations. Write your async code once and run it seam…☆29Jul 11, 2026Updated 2 months ago
- Modeling DNS with Alloy☆37Dec 6, 2021Updated 4 years 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.
- Concurrent in-memory B+ Tree featuring optimistic lock coupling☆32Feb 8, 2023Updated 3 years ago
- Proposed documentation for alloytools.org☆73Sep 9, 2025Updated last year
- ☆10Sep 7, 2022Updated 4 years ago
- HTTP handler for serving browserify bundles☆16Aug 31, 2014Updated 12 years ago
- A modern string diagram editor for the web.☆27Apr 22, 2025Updated last year
- Toy bitemporal key-value database and visualizer☆12Jun 6, 2026Updated 4 months ago
- This repository contains an implementation of Nomos, a programming language for smart contracts based on resource-aware session types.☆24Oct 6, 2022Updated 4 years ago
- A distributed social network for serious discussions and funny topiqs :).☆13Nov 20, 2019Updated 6 years ago
- lightweight, collaborative platform to organize events☆13Jun 29, 2023Updated 3 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.
- A Write-Ahead Log (WAL) design built exclusively on object storage primitives.☆63Sep 28, 2026Updated last week
- log for concurrent workloads, with support for atomic batches and in-order recovery☆37May 16, 2022Updated 4 years ago
- The JUXT Shop - a sample application built on Crux☆12May 5, 2019Updated 7 years ago
- Experimental extension of next.jdbc to work with XTDB 2.0 (snapshots)☆12Jul 22, 2024Updated 2 years ago
- ☆10May 28, 2022Updated 4 years ago
- an experiment in geometry☆11Mar 30, 2024Updated 2 years ago
- ☆34Feb 20, 2024Updated 2 years ago
- A TypeScript API client to XTDB☆13Dec 30, 2021Updated 4 years ago
- Scalable, high-performance C++23 framework for evolutionary algorithms, including genetic programming, genetic algorithms, and differenti…☆19Updated 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.
- ☆14Feb 28, 2024Updated 2 years ago
- Your happy place for learning APL☆15Jan 5, 2023Updated 3 years ago
- Full-stack Clojure(Script) app template using Fulcro and Material-UI☆11Sep 10, 2021Updated 5 years ago
- Desktop notifications on npm publish events☆15May 15, 2013Updated 13 years ago
- A model checker for relational first-order temporal specifications☆31Jul 6, 2021Updated 5 years ago
- Self-hosted web based epub reader☆12Sep 8, 2015Updated 11 years ago
- Logical relations proof in Agda☆30May 27, 2015Updated 11 years ago