Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

73–96 of 305 · Most stars

Translated:books: This repository is a summary of the technical learning journey of the author, Xiao Fuge (小傅哥), from many years of working in front-line internet Java development. It aims to give everyone a clear and detailed learning tutorial, with a focus on writing about core Java content. If this repository helps you, please show your support (follow, like, share)!

Claude Engineer is an interactive command-line interface (CLI) that leverages the power of Anthropic's Claude-3.5-Sonnet model to assist with software development tasks.This framework enables Claude to generate and manage its own tools, continuously expanding its capabilities through conversation. Available both as a CLI and a modern web interface

MySQLTuner is a script written in Perl that will assist you with your MySQL configuration and make recommendations for increased performance and stability.

Chisel is a collection of LLDB commands to assist debugging iOS apps.

TranslatedThe chat decision assistant: before you reply, Jev reads the chat, judges intent and risk, and drafts replies you fill in with one tap. You press send. Android · Windows · macOS · iOS

A JavaScript library for structured interfaces, with explicit ownership and lifecycle. Built for agent-led development. Canonical Marionette repository; v4 history is preserved on the v4 branch.

  • javascript
  • marionettejs
  • marionette
  • application-architecture

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

MiniOB is a compact database that assists developers in understanding the fundamental workings of a database.

  • database
  • learn-to-database
  • mini-database
  • classroom

MQTT gateway for ESP8266 or ESP32 with bidirectional 433mhz/315mhz/868mhz, Infrared communications, BLE, Bluetooth, beacons detection, mi flora, mi jia, LYWSD02, LYWSD03MMC, Mi Scale, TPMS, BBQ thermometer compatibility & LoRa.