Domain-Aware Neurosymbolic Agent (Dana), an agent-native programming language
☆63Mar 26, 2026Updated 7 months ago
Alternatives and similar repositories for dana
Users that are interested in dana are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Documents, etc. that apply to all projects (like our code of conduct) and other community-related content.☆13Updated this week
- Proof-of-concept implementation of the Agentic Context Engineering (ACE) framework — demonstrating Generator-Reflector-Curator interactio…☆12Oct 25, 2025Updated last year
- CodeGuardian is an intelligent agent designed to automate the generation of production-grade unit tests for your Python code.☆11Oct 13, 2025Updated last year
- Every system has its `telos´ — its final cause. This CLI fulfills the purpose of MindsDB's Knowledge Base: to seek, structure, and serve …☆20Dec 19, 2025Updated 10 months ago
- Self-improving AI agents using Agentic Context Engineering - A starter implementation with Google ADK☆22Oct 23, 2025Updated last year
- 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.
- Self-guided tutorial on combinatorial optimization, the bin packing problem, and constructive heuristics, suitable for use as course assi…☆13Oct 29, 2026Updated last week
- Problem solving by engaging multiple AI agents in conversation with each other and the user.☆12Jul 27, 2023Updated 3 years ago
- Python package for astronomical machine learning and data science☆10Updated this week
- Full-stack Amazon India-inspired e-commerce clone built with Next.js, TypeScript, Prisma, MongoDB, and Stripe.☆22Sep 2, 2026Updated 2 months ago
- ☆18Aug 2, 2024Updated 2 years ago
- Workshop for Open Data Science Conference East 2022☆10Nov 2, 2022Updated 4 years ago
- A jupyter notebook-based tutorial for working with eoAPI services☆13Oct 19, 2026Updated 2 weeks ago
- SVG Generator Agent☆11Oct 8, 2025Updated last year
- Low code framework to build and launch a crew of AI agents with shared state. See docs https://axcrew.dev☆43Mar 30, 2026Updated 7 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Deploy AI models at scale. High-throughput serving engine for AI/ML models that uses the latest state-of-the-art model deployment techniq…☆10May 21, 2024Updated 2 years ago
- A fast, terminal-based color picker with mouse support. Allows for color picking in RGBA, HSL, and CMYK.☆11Jun 30, 2022Updated 4 years ago
- Combinatorial Game Theory toolkit☆12Oct 5, 2026Updated last month
- halium 11 ubports for herolte, hero2lte and gracerlte☆12Aug 27, 2025Updated last year
- ☆13Mar 28, 2024Updated 2 years ago
- I got tired of manually creating training datasets, so I built this. Transform your PDFs/docs into fine-tuning data automatically.☆32Sep 2, 2025Updated last year
- Firefox Extension to toggle userChrome styles through text.☆12Oct 24, 2026Updated 2 weeks ago
- Full stack application for creating, combining, and storing combinatorial genetic design spaces.☆15Updated this week
- ☆15Mar 1, 2023Updated 3 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.
- Python SDK, Proxy Server (LLM Gateway) to call 100+ LLM APIs in OpenAI format - [Bedrock, Azure, OpenAI, VertexAI, Cohere, Anthropic, Sag…☆20Updated this week
- ☆13Jan 24, 2026Updated 9 months ago
- A fork of http://oss.oracle.com/~mason/seekwatcher/. The repository does not update since 2026-05-10. Moved to https://codeberg.org/trofi…☆14May 10, 2026Updated 5 months ago
- RecollFs - FUSE filesystem using Recoll index, showing filtered files in directories.☆16Aug 9, 2014Updated 12 years ago
- Walk any memory dump. Find what's hidden. Linux + Windows kernel forensics from a single static Rust binary — no Python required.☆12Updated this week
- Unified LLM provider abstraction for Rust - support for OpenAI, Anthropic, Gemini, xAI, OpenRouter, and more☆44Updated this week
- Linux sources for the Droid4☆13Updated this week
- Multiple Futures Prediction (MFP) on CARLA data☆12Apr 22, 2021Updated 5 years ago
- Spatial AI and procedural knowledge research: a GPU-native reference implementation for concepts proposed to PM-KR, exploring shared know…☆40Oct 29, 2026Updated last 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.
- Secure Remote Secrets Storage for DuckDB☆12Oct 31, 2026Updated last week
- A lightweight contractor invoice management system built with Clojure.☆10Jan 17, 2026Updated 9 months ago
- Python library enabling your console application to ask for user input with a modern terminal-intergrated text-based interface.☆10May 2, 2026Updated 6 months ago
- An open-source authorization layer where owners set policies, agents ask before acting, and counterparties can verify the agent was autho…☆15Oct 14, 2026Updated 3 weeks ago
- Lean formalization of the optimality proof of the 11 square packing☆29Oct 6, 2026Updated last month
- Advent of Code 2025 done in Lean 4☆18Dec 12, 2025Updated 10 months ago
- My Opportunities, Hackathons, Tech Events Tracker Repo☆18Dec 22, 2024Updated last year