AI Agent Skills

A minimalistic blockchain consensus implemented and verified in Coq

Wetee is trying to create a safe, efficient, powerful and Web3-based instant collaboration tool, which is a breakthrough. It establishes solid trust relationship among o…

A PHP library for connecting to Hive or Impala over Thrift

🎓 Friday - Your Personal Class Manager Assistant, It'll never let you miss another assignment deadline or upcoming test. https://friday.avinashranjan.com

a decentered wiki system by ipfs and markdown

Sublime Text 2 command to format long SQL statement to a more readable form (also available via Package Control)

Python module for handling Cardano cryptocurrency

HcashOrg/hcashd is a high-star GitHub project relevant to AI agent workflows.

Depricated repo. Please refer to mlfinlab

A repo dedicated to building and making insights on financial data using the powerful tools of Machine Learning and AI.

MathChain is the SmartWallet AppChain based on Substrate

A Pair Programming Framework for Code Generation via Multi-Plan Exploration and Feedback-Driven Refinement, ASE 2024 (Distinguished Paper Award)

A Node.js Simple Query Builder and ORM for AWS DynamoDB

Custom CRM Demo - Learn to build yourself a custom CRM in PHP and MySQL, which a sales team can use to track customers through the entire sales cycle.

A concise guide to writing better code

The roadmap is made for anyone who wants to become a modern back-end developer, focusing on the world of REST and microservices architecture. It covers everything from b…