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 stars written in C
Clear filter

NVIDIA / open-gpu-kernel-modules

NVIDIA Linux open GPU kernel module source

C 16,497 1,545 Updated Dec 18, 2025

seL4 / seL4

The seL4 microkernel

C 5,209 729 Updated Dec 19, 2025

CyberGrandChallenge / samples

DARPA Cyber Grand Challenge Sample Challenges

C 326 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 257 27 Updated Sep 30, 2020

wbx-github / uclibc-ng

Embedded C Library (mirror)

C 190 52 Updated Oct 18, 2025

kdudka / predator

A Shape Analyzer Based on Symbolic Memory Graphs

C 77 22 Updated Oct 1, 2025

klee / klee-uclibc

KLEE's version of uClibc

C 54 51 Updated May 31, 2024

evdenis / acsl-proved

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

C 16 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