The official server application for running agents within the Agentica framework from Symbolica
☆90Feb 19, 2026Updated 8 months ago
Alternatives and similar repositories for agentica-server
Users that are interested in agentica-server are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The official Python SDK for the Agentica agent framework from Symbolica☆185Feb 13, 2026Updated 8 months ago
- ☆15Mar 2, 2026Updated 8 months ago
- An ARC-AGI solution using Agentica from Symbolica☆310Feb 12, 2026Updated 8 months ago
- TypeQL plugin for Visual Studio Code☆19Oct 30, 2025Updated last year
- A systems theorem prover☆16Oct 25, 2026Updated last week
- 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.
- ☆12Aug 19, 2025Updated last year
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 4 years ago
- End-to-end formally verified solvers for the inviscid Burgers', isotropic viscous Burgers', and full (anisotropic) viscous Burgers' equat…☆17Sep 9, 2026Updated last month
- ☆14Nov 27, 2025Updated 11 months ago
- TFT (Training from Traces) benchmark: 5 scenarios comparing TFT pipeline vs Direct Training on SGD restaurant traces☆13Sep 7, 2026Updated last month
- Vermilion: Verus meets Lean☆62Updated this week
- turn small javascript functions into GPT function calls☆12Aug 23, 2023Updated 3 years ago
- ☆16Apr 2, 2026Updated 7 months ago
- Self-adjusting computations☆23Oct 9, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Instant Neural Graphics Primitives from scratch, zero dependencies. Learning by doing.☆10Aug 18, 2023Updated 3 years ago
- ☆39Oct 2, 2026Updated last month
- A client interface to read from and write to the TypeDB Knowledge Graph☆54Mar 30, 2022Updated 4 years ago
- ☆13Jun 22, 2026Updated 4 months ago
- OpenAPI ↔ Python. To/fro routes, models, and tests. Convert between docstrings, classes, methods, argparse, SQLalchemy, Pydantic, JSON-sc…☆20Updated this week
- Sharable Grakn knowledge graphs☆13Dec 28, 2022Updated 3 years ago
- Welcome to AGI, the cutting-edge project dedicated to building the core components of Artificial General Intelligence.☆18Oct 19, 2026Updated 2 weeks ago
- Flexible, efficient, and context-aware generation from large unstructured knowledge sources.☆17May 7, 2024Updated 2 years ago
- A language for modular probabilistic modelling in Haskell based on effect handlers☆17Dec 30, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- TypeDB Behaviour Test Specification☆16Updated this week
- // clone this repo with --depth=1 to save disk size // toolchain compatible with Ubuntu 20.04+ //☆15Apr 28, 2022Updated 4 years ago
- Translate Python code to Rocq code for formal verification. Applied to the reference implementation of the Ethereum VM in Python (WIP, in…☆46Mar 29, 2026Updated 7 months ago
- Demo code for "The Agent Is a Workflow That Writes Itself"☆21May 14, 2026Updated 5 months ago
- An open source community implementation of the model MELLE from the paper: "Autoregressive Speech Synthesis without Vector Quantization"☆16Oct 26, 2026Updated last week
- An open protocol for distributed multi-agent autoformalization.☆118Oct 18, 2026Updated 2 weeks ago
- Rust-based OWL DL reasoner☆18Updated this week
- Speculative Decoding for fast ASR and TTS inference☆36Oct 26, 2026Updated last week
- Personal memory you own, in files you can actually read☆50Jul 11, 2026Updated 3 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An interactive theorem prover for string diagrams☆130May 25, 2026Updated 5 months ago
- A transformer that executes a one-instruction Turing-complete computer — two approaches: hand-coded weights (no training) and learned fro…☆44Mar 3, 2026Updated 7 months ago
- A verifier that integrates LLMs into automated C program verification☆20Apr 4, 2026Updated 6 months ago
- An official PyTorch implementation of "Differentiable Learning of Generalized Structured Matrices for Efficient Deep Neural Networks," IC…☆11Apr 18, 2024Updated 2 years ago
- Causal, Higher-Order, Probabilistic Programming☆178Oct 1, 2026Updated last month
- Source for Basic Category Theory by Tom Leinster☆12May 15, 2017Updated 9 years ago
- A Difficulty-Calibrated Benchmark for Building Terminal Agents☆36Feb 20, 2026Updated 8 months ago