Skip to content
View Druidos's full-sized avatar
5 followers · 3 following
  • ISPRAS
  • Russia, Moscow

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Organizations

@ldv-klever

Block or report Druidos

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 supported. This note will be visible to only you.
Report abuse

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

Report abuse

Stars

10 results for source starred repositories written in C
Clear filter

NVIDIA / open-gpu-kernel-modules

NVIDIA Linux open GPU kernel module source

C 16,682 1,573 Updated Jan 30, 2026

seL4 / seL4

The seL4 microkernel

C 5,290 739 Updated Jan 30, 2026

CyberGrandChallenge / samples

DARPA Cyber Grand Challenge Sample Challenges

C 329 113 Updated Jun 6, 2018

c-testsuite / c-testsuite

A public database of C compiler test cases, minimal test runners, and public test results.

C 259 27 Updated Sep 30, 2020

wbx-github / uclibc-ng

Embedded C Library (mirror)

C 196 56 Updated Jan 25, 2026

kdudka / predator

A Shape Analyzer Based on Symbolic Memory Graphs

C 78 22 Updated Feb 4, 2026

klee / klee-uclibc

KLEE's version of uClibc

C 56 51 Updated May 31, 2024

evdenis / acsl-proved

Fully proved small C functions (examples for verification course).

C 17 1 Updated Jun 26, 2017

evdenis / acsl-examples

Tiny programs with ACSL specifications.

C 7 Updated Feb 10, 2017

tomhart-msc / verisec

A suite of examples of buffer overflows in open source software, for benchmarking static analysis tools

C 3 1 Updated Feb 18, 2018