An open-source time-tracking tool for monitoring your productivity with privacy-first approach. Own your hustle, optimize those "grind sessions," and uncover inefficiencies. Built with Ratatui.

This repository provides a B-Method verification model for the FeverTokens Package-Oriented Smart Contract Framework. Its goal is simple: prove that a package (facet) is structurally sound on its o…

Bomberman video game developped at EPFL for the class "Pratique de la programmation orientée objet" by Adrien Vandenbroucque & Guillaume Michel

A steel thread process for helping LLMs help you work with your code

Real-time ASCII representation of your webcam video stream, using the getUserMedia API.

All you need account for authentication and payments on the web.

A kurtosis package for deploying an optimistic rollup

A collection of Farcaster mini-apps powered by Neynar

This ElizaOS plugin provides integration with the Aerodrome protocol on the Base network, allowing for liquidity provision, token management, and DeFi interactions directly through ProAgent Smart c…

Rust Smart Contracts on Arbitrum

aider is AI pair programming in your terminal

Smart contracts powering Forever Moments

Gitcoin donation dashboard

This tool analyzes GitHub repositories for Celo hackathon projects, evaluating code quality and checking for Celo blockchain integration using LangChain and Anthropic's Claude AI model.

Example of self-hosting n8n in various environments like docker, kubernetes, etc.

The context API to search, scrape, and interact with the web at scale. 🔥

1 MCP to rule all them chains

Subgraph for Axis auctions

Examples for creating agents using xmtp

[ICLR 2025] Automated Design of Agentic Systems

Universal memory layer for AI Agents