Skip to content
View Druidos's full-sized avatar
  • ISPRAS
  • Russia, Moscow

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

NVIDIA Linux open GPU kernel module source

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

The seL4 microkernel

C 5,209 729 Updated Dec 19, 2025

DARPA Cyber Grand Challenge Sample Challenges

C 326 113 Updated Jun 6, 2018

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

C 257 27 Updated Sep 30, 2020

Embedded C Library (mirror)

C 190 52 Updated Oct 18, 2025

A Shape Analyzer Based on Symbolic Memory Graphs

C 77 22 Updated Oct 1, 2025

KLEE's version of uClibc

C 54 51 Updated May 31, 2024

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

C 16 1 Updated Jun 26, 2017

Tiny programs with ACSL specifications.

C 7 Updated Feb 10, 2017

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

C 3 1 Updated Feb 18, 2018