Skip to content
View peerdavid's full-sized avatar

Block or report peerdavid

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

A light-weight and powerful meta-prompting, context engineering and spec-driven development system for Claude Code by TÂCHES.

JavaScript 64,797 5,469 Updated May 31, 2026

AI agents that guide you from idea to working code, with you in control at every step.

Python 586 59 Updated Jun 27, 2026

The 100 line AI agent that solves GitHub issues or helps you in your command line. Radically simple, no huge configs, no giant monorepo—but scores >74% on SWE-bench verified!

Python 6,114 848 Updated Jul 27, 2026

Linux kernel source tree

C 240,964 63,572 Updated Jul 28, 2026

Icons for Pebble

47 15 Updated Feb 18, 2026

Detect leaked asyncio tasks, threads, and event loop blocking with stack trace in Python. Inspired by goleak.

Python 403 9 Updated Jan 29, 2026

The Z3 Theorem Prover

C++ 12,497 1,687 Updated Jul 29, 2026

A viewer based on PDFjs, which can be embedded in any web page (not using iframes)

JavaScript 79 6 Updated Mar 1, 2025

Official implementation of the ANLS* metric

Python 25 Updated Jul 29, 2026

An open-source Hacker News client built with Flutter.

Dart 1,577 128 Updated Jul 27, 2026

A zero-configuration fan daemon for ThinkPads.

C 160 17 Updated Dec 19, 2025

This repo illustrates how to combine LLMs and rule-based services to generate answers grounded on business policies

Python 51 10 Updated Jul 6, 2026

A compilation of the best multi-agent papers

TeX 1,634 158 Updated Jul 4, 2026

Chess game for Android.

Java 515 293 Updated Jul 21, 2026

Random data generator for IDs, names, emails, passwords, dates, numbers, addresses, images, OTPs etc. for dummy entries.

Python 8 23 Updated Jan 28, 2023

Generate random names (adj-noun) like docker and github.

Python 73 11 Updated Apr 24, 2023

A handheld Linux terminal using Raspberry pi Zero 2W as Core with 4" 720X720 TFT display

2,689 156 Updated Feb 17, 2025

TextGrad: Automatic ''Differentiation'' via Text -- using large language models to backpropagate textual gradients. Published in Nature.

Python 3,674 294 Updated Jul 25, 2025

A curated list of papers about key information extraction.

107 12 Updated Jul 8, 2026

An interactive NVIDIA-GPU process viewer and beyond, the one-stop solution for GPU process management.

Python 7,074 239 Updated Jul 27, 2026

Official repository of the xLSTM.

Python 2,188 185 Updated May 28, 2026

Protect your eyes from eye strain using this simple and beautiful, yet extensible break reminder

Python 1,737 173 Updated Jul 24, 2026

🔊 Text-Prompted Generative Audio Model

Jupyter Notebook 39,215 4,674 Updated Aug 19, 2024

Example of displaying all types of Android Notifications and creating custom Notification Listener

Kotlin 6 2 Updated Feb 18, 2020

Easy and elegant parser combinators for Python. With awesome docs.

Python 450 45 Updated Jun 22, 2026

The easiest way to parse text in Python

Python 111 5 Updated Apr 1, 2026

Perform a Server Side File Move on Windows Shares

C 7 1 Updated Feb 17, 2024

Glider is an opinionated Hacker News client. Ad-free, open-source, no-nonsense.

Dart 577 34 Updated Jul 1, 2024

Meta-Prompting: Enhancing Language Models with Task-Agnostic Scaffolding

Python 421 34 Updated Feb 7, 2024

Implementation of a pruning Algorithm using LBE.

Jupyter Notebook 2 2 Updated Jul 4, 2024
Next