The official server application for running agents within the Agentica framework from Symbolica
☆67Feb 19, 2026Updated 3 weeks ago
Alternatives and similar repositories for agentica-server
Users that are interested in agentica-server are comparing it to the libraries listed below
Sorting:
- The official TypeScript SDK for the Agentica agent framework from Symbolica☆60Feb 13, 2026Updated last month
- MathTools is a Wolfram Language package that provides the software infrastructure I use for creating typeset mathematical diagrams and eq…☆19Mar 17, 2024Updated last year
- A minimal terminal music player☆11Feb 19, 2022Updated 4 years ago
- Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop☆13Feb 14, 2025Updated last year
- The Claude Experience you wish you had☆21Mar 4, 2026Updated last week
- A Python library for building modular, reproducible simulation pipelines in minutes☆32Aug 22, 2025Updated 6 months ago
- ☆12Nov 22, 2024Updated last year
- Our .NET SDK (C#) provides easy access to all API Endpoints of the Picturepark Content Platform. Code examples can be found in the “Tests…☆14Feb 6, 2026Updated last month
- Multi objective optimization with genetic algorithms written in Rust exposed to python through PyO3☆20Feb 24, 2026Updated 2 weeks ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- A runtime and compiler of TypeScript, based on Golang.☆12Jul 5, 2018Updated 7 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆11Feb 22, 2025Updated last year
- Popcorn Time Hubot☆14Jun 10, 2014Updated 11 years ago
- A range of tools related to one-endpoint crossing graphs - parsing, format conversion, and evaluation☆11Nov 8, 2022Updated 3 years ago
- Reversible programming in Agda☆13Jun 22, 2023Updated 2 years ago
- A simple demo that shows how WebWorkers can be used in Kotlin/JS☆10May 21, 2021Updated 4 years ago
- Time Integration Package☆11Dec 17, 2024Updated last year
- A Tool for Intersecting Context-Free Grammars☆10Dec 19, 2017Updated 8 years ago
- Run NASA's General Mission Analysis Tool (GMAT) from Julia☆10Sep 3, 2020Updated 5 years ago
- `async-ctrlc` is an async wrapper of the `ctrlc` crate in Rust☆15May 30, 2020Updated 5 years ago
- ☆10Aug 16, 2019Updated 6 years ago
- 🗿 SAT solver wrappers for Kotlin☆11Mar 2, 2024Updated 2 years ago
- ☆10Jul 22, 2021Updated 4 years ago
- ☆12Feb 14, 2025Updated last year
- The source code repository for the FactorBase system☆10Mar 17, 2024Updated last year
- Official implementation for "How Should We Meta-Learn Reinforcement Learning Algorithms?"☆23Sep 7, 2025Updated 6 months ago
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Aug 13, 2024Updated last year
- ☆10Aug 13, 2024Updated last year
- Utility classes for dense and sparse matrices in JCuda☆11Mar 8, 2019Updated 7 years ago
- ☆10Sep 7, 2021Updated 4 years ago
- An interactive environment for exploring, refining, and visualizing mathematical proofs with AI assistance.☆32Feb 18, 2026Updated 3 weeks ago
- Graph-based neural tactic prediction models for Coq.☆15Sep 17, 2025Updated 5 months ago
- NeuralTokenizer is a very simple to use text tokenizer which uses neural networks from the SimpleDNN library.☆10Jun 18, 2020Updated 5 years ago
- Bioruby Statsample TimeSeries☆14Aug 6, 2017Updated 8 years ago
- 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
- The C-style formatted scanf as a companion of stdlib/Printf☆11May 27, 2024Updated last year
- Jupyter notebooks from our weekly (or so) hackathons☆11Dec 3, 2024Updated last year
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago