⌥ AI Coding agent for the terminal — hash-anchored edits, optimized tool harness, LSP, Python, browser, subagents, and more

gpt-oss-120b and gpt-oss-20b are two open-weight language models by OpenAI

Cucumber for golang

A Chaos Engineering Platform for Kubernetes.

FHIR Resources https://www.hl7.org/fhir/resourcelist.html

Supervisor trees for Go.

The Compound On-Chain Protocol

Scriptable, multipurpose mock server. Run standalone mock servers, or embed mocks within your tests or CI/CD pipeline.

A Zotero plugin to export item metadata and notes as markdown files

Zotero plugin to manage your attachments: automatically rename, move, and attach PDFs (or other files) to Zotero items, sync PDFs from your Zotero library to your (mobile) PDF reader (e.g. an iPad,…

Crack LeetCode, not only how, but also why.

🎟️A GitHub Action for serializing workflow runs

⤵️ A GitHub Action for syncing current repository with remote

OMG-Network repository of Watcher and Watcher Info

文言文編程語言 A programming language for the ancient Chinese.

Gas usage per unit test. Average gas usage per method. A mocha reporter.

Ethereum 9 3/4's zk-SNARKs circuits and the python library for Mimblewimble on Ethereum

Solidity Documentation Generator

A toolbox for zkSNARKs on Ethereum

A formal verifier and analysis tool for Solidity Smart Contracts

Source code for the new Vue.js Events page

A privacy-preserving blockchain on Substrate

Learn all about Plasma with LearnPlasma!

A minimum viable plasma chain.

BitfinexLendingBot - A bot for automated lending at Bitfinex