Open Issue Monitor is a notification system designed for tracking specific labels for GitHub issues.
☆22Oct 22, 2023Updated 2 years ago
Alternatives and similar repositories for OpenIssueMonitor
Users that are interested in OpenIssueMonitor are comparing it to the libraries listed below
Sorting:
- Kademlia DHT - Distributed Hash Table Implementation☆18Mar 28, 2024Updated last year
- A CLI tool for splitting bills efficiently.☆14Jun 12, 2024Updated last year
- This load balancer project distributes network traffic across multiple servers, ensuring high availability using health checks and dynami…☆13Jun 8, 2024Updated last year
- Generic AES Implementation in Circom☆25Sep 11, 2024Updated last year
- Circom ASN.1 Parser☆20Jul 22, 2024Updated last year
- ECDSA P384 implementation for circom☆17Sep 1, 2024Updated last year
- Swiftly launch your own Multichain environment for testing, executing commands, and monitoring state while maintaining control over chain…☆15Sep 3, 2025Updated 6 months ago
- Form Builder built with NextJS, Prisma, Zod and PostgreSQL☆25Nov 3, 2023Updated 2 years ago
- Some helpful tutorials and codes for SQL☆12May 4, 2025Updated 9 months ago
- Feature rich Model Context Protocol (MCP) Server to let LLMs automate connected Android devices/emulators.☆11Apr 27, 2025Updated 10 months ago
- Plonky2 implementation of Ed25519☆11Apr 5, 2024Updated last year
- Chrome extension to block Instagram Reels and YouTube Shorts - get bored instead, get creative!☆12Jan 5, 2025Updated last year
- Meet strangers in your Slack Workspace, explore new people. Fully anonymous and secure, bot doesn't store any data.☆11Sep 13, 2024Updated last year
- One of the most important operations in Computer Vision is Segmentation. Image segmentation is the task of clustering parts of an image t…☆10Aug 16, 2023Updated 2 years ago
- A frontend application for running SQL queries.☆12Feb 2, 2025Updated last year
- my random competitive programming solutions (and other stuff) ~ 3 years ago, yes ik i need to make a comeback☆12Nov 9, 2022Updated 3 years ago
- Gamut helps you organize your Spotify library by colour.☆17Nov 20, 2025Updated 3 months ago
- Solidity functions for traversing an ASN1-encoded data structure☆10Dec 30, 2022Updated 3 years ago
- these instructions, when read by a worthy machine in the prescribed order, will conjure cyberbspace from a mere jumble of files☆14Feb 24, 2026Updated last week
- Minimalist cross-platform terminal based text editor☆17Dec 22, 2025Updated 2 months ago
- A collaborative repository dedicated to preparing frontend developers for interviews. Contribute your real interview questions, share you…☆12Jul 9, 2023Updated 2 years ago
- ☆18Feb 16, 2026Updated 2 weeks ago
- A fast Golang Redis client that supports Client Side Caching, Auto Pipelining, Generics OM, RedisJSON, RedisBloom, RediSearch, etc.☆15Jul 26, 2024Updated last year
- pod2 & spec☆21Updated this week
- sudoku game verify by zksnark.☆21Dec 21, 2022Updated 3 years ago
- ☆16Feb 11, 2026Updated 2 weeks ago
- IMP1 - Ingonyama Mobile Prover, built with ICICLE☆29Aug 4, 2025Updated 6 months ago
- ☆16Aug 15, 2021Updated 4 years ago
- Lets Code Portfolio☆14Sep 26, 2022Updated 3 years ago
- Official Repository that contains many use cases of single technology built by the awesome @Sawo-Community ❤️☆14Jun 2, 2022Updated 3 years ago
- Service app for transcribing WhatsApp voice messages. Powered by whatsmeow and openai/whisper.☆23Dec 22, 2025Updated 2 months ago
- C++ Port of Verly.js☆17Aug 11, 2024Updated last year
- Groth16 implementation in Python. Final project of RareSkills ZK bootcamp cohort 8.☆23Aug 28, 2025Updated 6 months ago
- ☆24Mar 2, 2025Updated last year
- This Repo contains the solution for all Contests (Weekly & Biweekly) taken place till date.☆16Feb 26, 2023Updated 3 years ago
- proof of pdf☆46Feb 17, 2026Updated 2 weeks ago
- generate a diagram architecture from kubernetes manifests☆25Sep 1, 2024Updated last year
- Java generated classes for semantic conventions☆34Updated this week
- Notes of Berkeley ZKP MOOC Course☆21Apr 1, 2024Updated last year