Skip to content
View autquis's full-sized avatar
  • EPFL
  • Lausanne, Switzerland

Organizations

@S4Lab

Block or report autquis

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

Starred repositories

Showing results

WayFlow is a powerful, intuitive Python library for building sophisticated AI-powered assistants. It is a reference runtime for Agent Spec, with native support for all Agent Spec Agents and Flows.

Python 129 11 Updated Nov 10, 2025

Open Agent Spec (Agent Spec) is a framework-agnostic declarative language for defining agentic systems. It defines building blocks for standalone agents and structured agentic workflows as well as …

Python 138 8 Updated Nov 7, 2025

RetroWrite -- Retrofitting compiler passes through binary rewriting

Python 727 82 Updated Apr 26, 2025

A toolkit for polynomial IOPs (PIOPs)

Rust 700 351 Updated Nov 8, 2025

A Rust library for polynomial commitments

Rust 408 150 Updated Dec 2, 2024

Mastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood

JavaScript 21,032 5,148 Updated Jul 8, 2024

Solidity, the Smart Contract Programming Language

C++ 25,352 6,252 Updated Nov 8, 2025