Lists (1)
Stars
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…
True Commons built on REA + Valueflows + hREA + Holochain is a distributed multi-agent systems with reflexivity, learning, and local memory to support high-level adaptive stigmergic environments fo…
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
An open and streamlined mini-app to enable the accumulation of Greenpill (and ReFi) reputation
Green Goods makes regenerative work easier to support across solar, agroforestry, education, and waste, turning everyday contributions into a trusted public record of how places grow healthier toge…
A simple app for Greenpill communities to propose problems and solution onchain and upvote where action is needed.
Making it easier to evaluate public good projects across the regen ecosystem with quality endorsements.
A simple tool to distribute funds in a few steps built with Allo protocol
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…
aider is AI pair programming in your terminal
Smart contracts powering Forever Moments
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.
This repository servers as mono-repo for all Farcaster V2 frames for Celo
Example of self-hosting n8n in various environments like docker, kubernetes, etc.