Efficient multi-agent task automation and management system.
☆38Jul 17, 2025Updated last year
Alternatives and similar repositories for ceylon
Users that are interested in ceylon are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Mapping intelligence for enterprise data migrations: schema mapping, lineage, and transformation traceability that compounds across every…☆17May 7, 2026Updated 2 months ago
- MCP proxy tool☆15Aug 25, 2025Updated 11 months ago
- A Transient Designer plugin☆11Nov 20, 2020Updated 5 years ago
- Implementation of bitswap protocol for libp2p☆19Feb 3, 2026Updated 5 months ago
- Schnorr Signatures☆18Jun 24, 2026Updated last month
- 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.
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated 10 months ago
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago
- A generalist agent that can go online and accomplish complex tasks using semantic-kernel and autogen.☆31Jul 19, 2025Updated last year
- Robust Asynchronous Schnorr Threshold Signatures wrapper in Rust☆17Mar 2, 2023Updated 3 years ago
- Denotational Semantics of the Untyped Lambda Calculus☆17Feb 5, 2025Updated last year
- Server side reactive DOM updates in Ruby☆18Apr 6, 2023Updated 3 years ago
- Functional combinators for strategy-based tree-rewriting in Clojure☆15Jul 25, 2013Updated 13 years ago
- A style guide for Coq☆18Nov 30, 2021Updated 4 years ago
- A simple demo of Nixifying a multi-package Haskell project☆20Oct 24, 2025Updated 9 months 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.
- rust wrapper for rocksdb☆38Updated this week
- Various cabal query commands wrapped in a simple CLI tool☆18Nov 24, 2017Updated 8 years ago
- Proof of Concept (DOS) ANSi rendering in Godot Engine☆13Feb 6, 2019Updated 7 years ago
- Tiny BIP44/BIP32 derivation for BIP39 seeds☆22May 14, 2024Updated 2 years ago
- ASP.Net Core version of the Switch Lan Play Relay server, originally written by SpaceMeowX2 in NodeJs/Typescript which can be found here:…☆10Mar 26, 2020Updated 6 years ago
- libcaca port of Ozone☆13Nov 28, 2017Updated 8 years ago
- An automatic differentiation system for dense and sparse problems☆13Jan 16, 2025Updated last year
- Implementation of Read-Log-Update in Rust☆11Jan 8, 2020Updated 6 years ago
- ☆10Feb 23, 2025Updated last year
- 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.
- Phone Guitar Tab is a guitar/bass/drums tab application for Windows Phone that provides search/download/stream and many other capabilitie…☆16May 22, 2016Updated 10 years ago
- Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]☆23Jul 13, 2023Updated 3 years ago
- 🌊 A stateless CSRF middleware for tower.☆35Apr 23, 2026Updated 3 months ago
- A useful opinionated repository of Artificial Intelligence ecosystem resources - AI event calendars, papers, books, articles, videos, AI …☆22Jul 15, 2026Updated last week
- Normalization by evaluation of simply typed combinators.☆27Feb 24, 2022Updated 4 years ago
- Pure C wrapper library to use llama.cpp with Linux and Windows as simple as possible.☆15Updated this week
- A simple yet faithful library to emulate different Enigma machines models using Python☆15Apr 21, 2026Updated 3 months ago
- Setting up your SDLC using agentic engineering☆24Jan 26, 2026Updated 5 months ago
- Docker container for the MusicBrainz PostgreSQL database☆15Dec 30, 2017Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- This is a small demo of how to transform a simple single-server RocksDB service written in Rust into a distributed version using OmniPaxo…☆16Feb 5, 2025Updated last year
- This repository contains Python notebooks for education and data science purposes.☆12Jan 8, 2025Updated last year
- Authentication / Authorization server example with Rust, Warp, Postgres☆11Nov 9, 2020Updated 5 years ago
- Rust Guitar Pro GPX reader.☆14Aug 26, 2017Updated 8 years ago
- A minimal scheme-esque language written in Elm.☆22Apr 20, 2021Updated 5 years ago
- GPU-aware inference mesh for large-scale AI serving☆35Sep 25, 2025Updated 10 months ago
- Persys server. All services you need to run Persys locally.☆18Feb 5, 2025Updated last year