Skip to content
View evdenis's full-sized avatar

Block or report evdenis

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
Showing results

An extremely fast Python linter and code formatter, written in Rust.

Rust 43,755 1,604 Updated Nov 13, 2025

seL4 specification and proofs

Isabelle 570 115 Updated Nov 13, 2025

Test Provider for Libvirt and related virtualization backends

Python 36 179 Updated Nov 13, 2025

$mol - fastest reactive micro-modular compact flexible lazy ui web framework.

TypeScript 723 64 Updated Nov 13, 2025

A static analyzer for Java, C, C++, and Objective-C

OCaml 15,431 2,058 Updated Nov 13, 2025

A quilt-like series of patches plus scripts and .spec files to produce the kernel RPM package. If you are looking for a ready-to-use kernel tree, have a look at https://github.com/openSUSE/kernel

Python 168 82 Updated Nov 13, 2025

A powerful and user-friendly binary analysis platform!

Python 8,309 1,132 Updated Nov 13, 2025

Application Kernel for Containers

Go 17,189 1,450 Updated Nov 13, 2025

Apache Superset is a Data Visualization and Data Exploration Platform

TypeScript 68,942 16,147 Updated Nov 13, 2025

Programmable debugger

Python 1,937 193 Updated Nov 13, 2025

Linux OS for Azure 1P services and edge appliances

RPM Spec 4,504 602 Updated Nov 13, 2025

Linux kernel crash utility NOTE: The github PRs are not accepted, please subscribe to mail list via https://lists.crash-utility.osci.io/admin/lists/devel.lists.crash-utility.osci.io/ for contributi…

C 923 302 Updated Nov 13, 2025

Run compilers interactively from your web browser and interact with the assembly

TypeScript 18,201 1,952 Updated Nov 13, 2025

A tool that facilitates building OCI images.

Go 8,420 853 Updated Nov 13, 2025

libreswan

C 913 233 Updated Nov 13, 2025

If you live in the terminal, kitty is made for you! Cross-platform, fast, feature-rich, GPU based.

Python 29,749 1,197 Updated Nov 13, 2025

Linux kernel source tree

C 206,919 58,366 Updated Nov 13, 2025

SecLists is the security tester's companion. It's a collection of multiple types of lists used during security assessments, collected in one place. List types include usernames, passwords, URLs, se…

PHP 66,885 24,766 Updated Nov 13, 2025

H2O - the optimized HTTP/1, HTTP/2, HTTP/3 server

C 11,242 868 Updated Nov 13, 2025

High-level tracing language for Linux

C++ 9,736 1,423 Updated Nov 13, 2025

Daily feed of bad IPs (with blacklist hit scores)

2,075 169 Updated Nov 13, 2025

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

OCaml 13,312 820 Updated Nov 13, 2025

WhatsApp CIDR dynamically updated.

Python 124 24 Updated Nov 13, 2025

Agda is a dependently typed programming language / interactive theorem prover.

Haskell 2,747 387 Updated Nov 12, 2025

The new Windows Terminal and the original Windows console host, all in the same place!

C++ 100,844 8,906 Updated Nov 12, 2025

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Zig 42,261 3,107 Updated Nov 12, 2025

The Cloud Native Application Proxy

Go 57,841 5,555 Updated Nov 12, 2025

OSS-Fuzz - continuous fuzzing for open source software.

Shell 11,555 2,520 Updated Nov 12, 2025

The world’s fastest framework for building websites.

Go 84,700 8,091 Updated Nov 12, 2025
Next