Exercises and exam solutions for programming in C and Dafny (1st-year CS course)
GitHub repository with 25 stars and 4 forks.
Language: C
Topics: c, correctness, dafny, exam-practice, exam-solutions, imperative-programming, program-proofs, program-verification, programming-fundamentals, recursion
2026-06-05: 25 stars and 4 forks.
Recent CVE PoC & reproduction scripts. Focused on high-severity vulnerabilities across Linux kernel, Windows, macOS and more.
GitHub repository with 487 stars and 84 forks.
Trending score: 2.27; stars gained: +20; forks gained: +2.
Language: C
Topics: c, cybersecurity, linux, poc, python, python3
Mirror of https://git.ffmpeg.org/ffmpeg.git
GitHub repository with 60,768 stars and 13,880 forks.
Trending score: 1.69; stars gained: +59; forks gained: +5.
Language: C
Topics: ffmpeg, video, audio, c, mpeg, webm
A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, MQTTS, POP3, POP3S, RTSP, SCP, SFTP, SMB, SMBS, SMTP, SMTPS, TELNET, TFTP, WS and WSS. libcurl offers a myriad of powerful features
GitHub repository with 42,061 stars and 7,229 forks.
Trending score: 1.45; stars gained: +14; forks gained: -2.
Language: C
Topics: http, https, ftp, user-agent, client, library
A simple and easy-to-use library to enjoy videogames programming
GitHub repository with 33,289 stars and 3,132 forks.
Trending score: 1.37; stars gained: +26; forks gained: +3.
Language: C
Topics: raylib, c, videogames, programming, opengl, android
VLC media player - plays everything, runs anywhere. Code here: https://code.videolan.org/videolan/vlc
GitHub repository with 18,610 stars and 5,960 forks.
Trending score: 1.20; stars gained: +17; forks gained: +2.
Language: C
Topics: c, vlc, multimedia, framework, open-source, gplv2
UNIX-like reverse engineering framework and command-line toolset
GitHub repository with 24,018 stars and 3,247 forks.
Trending score: 1.10; stars gained: +13; forks gained: +3.
Language: C
Topics: binary-analysis, c, commandline, disassembler, forensics, hacktoberfest
DeepSeek 4 Flash local inference engine for Metal and CUDA
GitHub repository with 12,968 stars and 1,130 forks.
Trending score: 3.46; stars gained: +74; forks gained: +5.
Language: C
The fastest path to AI-powered full stack observability, even for lean teams.
GitHub repository with 79,065 stars and 6,456 forks.
Trending score: 3.03; stars gained: +25; forks gained: +4.
Language: C
Topics: monitoring, docker, kubernetes, cncf, prometheus, netdata
The programming language for agents
GitHub repository with 4,867 stars and 315 forks.
Trending score: 2.75; stars gained: +27; forks gained: +4.
Language: C
ESP32 desk dashboard that shows Claude Code usage
GitHub repository with 1,526 stars and 182 forks.
Trending score: 2.63; stars gained: +24; forks gained: +5.
Language: C
Recent CVE PoC & reproduction scripts. Focused on high-severity vulnerabilities across Linux kernel, Windows, macOS and more.
GitHub repository with 487 stars and 84 forks.
Trending score: 2.27; stars gained: +20; forks gained: +2.
Language: C
Topics: c, cybersecurity, linux, poc, python, python3
Zero instrucment system-level AI agent tracing in eBPF
GitHub repository with 394 stars and 59 forks.
Trending score: 2.26; stars gained: +23; forks gained: +2.
Language: C
Topics: agent, ebpf, llm, observability
Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.
GitHub repository with 7,449 stars and 2,917 forks.
Trending score: 2.72; stars gained: +13; forks gained: +4.
Language: Python
Topics: quantum-computing, qiskit, sdk, quantum-programming-language, quantum-circuit, quantum
Recent CVE PoC & reproduction scripts. Focused on high-severity vulnerabilities across Linux kernel, Windows, macOS and more.
GitHub repository with 487 stars and 84 forks.
Trending score: 2.27; stars gained: +20; forks gained: +2.
Language: C
Topics: c, cybersecurity, linux, poc, python, python3
The Corsa (tsgo) bindings (FFI & Orchestration) for Rust and JS/TS, etc...
GitHub repository with 53 stars and 1 forks.
Trending score: 1.83; stars gained: +6; forks gained: +0.
Language: Rust
Topics: linter, moonbit, napi, rust, swift, tsgo
Mirror of https://git.ffmpeg.org/ffmpeg.git
GitHub repository with 60,768 stars and 13,880 forks.
Trending score: 1.69; stars gained: +59; forks gained: +5.
Language: C
Topics: ffmpeg, video, audio, c, mpeg, webm
AI that sees your screen, listens to your conversations and tells you what to do
GitHub repository with 12,723 stars and 2,025 forks.
Trending score: 1.68; stars gained: +28; forks gained: +9.
Language: Dart
Topics: ai, app, bci, c, flutter, friend
A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, MQTTS, POP3, POP3S, RTSP, SCP, SFTP, SMB, SMBS, SMTP, SMTPS, TELNET, TFTP, WS and WSS. libcurl offers a myriad of powerful features
GitHub repository with 42,061 stars and 7,229 forks.
Trending score: 1.45; stars gained: +14; forks gained: -2.
Language: C
Topics: http, https, ftp, user-agent, client, library