Skip to content
View speckdavid's full-sized avatar

Highlights

  • Pro

Block or report speckdavid

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
5 stars written in Python
Clear filter

CUGA is an open-source generalist agent for the enterprise, supporting complex task execution on web and APIs, OpenAPI/MCP integrations, composable architecture, reasoning modes, and policy-aware f…

Python 668 106 Updated Feb 4, 2026

The AIPlan4EU Unified Planning Library

Python 292 53 Updated Jan 27, 2026

Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy

Python 215 42 Updated Dec 11, 2025

Code and Supplementary Material to the Paper: Pairwise Learning to Rank by Neural Networks Revisited: Reconstruction, Theoretical Analysis and Practical Performance

Python 37 5 Updated Sep 21, 2023
Python 1 Updated Feb 21, 2022