Full async Micropython web server with small memory footprint.
- esp8266
- esp
- python
- async
Repository Index
47,133 repositories indexed
97–120 of 135 · Most stars
The Kernel.g that works like Kernel.p by using terminal-notifier or growl.
NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis (IEEE S&P '21)
- fuzzer
- fuzzing
- kernel-fuzzer
- windows-kernel
OPAL boot and runtime firmware for POWER
Inferred Model-based Fuzzer
- fuzzer
- kernel-fuzzing
- macos
Jupyter kernel for Coq
An interactive playground showing how to use Metal compute kernels.
- swift
- playground
- metal
- fractals
The current repository contains all the scripts needed to build kernel-mode mac-a-mal malicious activity hooking on macOS.
🐧 Security-focused Linux distribution with 140+ tools, custom kernel 6.17.13, AI assistant | 5 editions | Cloud, AI/ML, Automotive, Hardware hacking
eBPF Security Monitoring and Sandboxing Agent Based on Aya
A secure and high performances microkernel for building secure MCU-based IoTs
Support vector machines (SVMs) and related kernel-based learning algorithms are a well-known class of machine learning algorithms, for non-parametric classification and regression. liquidSVM is an implementation of SVMs whose key features are: fully integrated hyper-parameter selection, extreme speed on both small and large data sets, full flexibility for experts, and inclusion of a variety of different learning scenarios: multi-class classification, ROC, and Neyman-Pearson learning, and least-squares, quantile, and expectile regression.
- svm
- regression
- classification
- machine-learning
A DHCP library in OCaml
- dhcp-library
- dhcp-server
- ocaml
- mirage
Jailer is an eBPF-based process jailing system that provides mandatory access control (MAC) for Linux. It tracks processes using BPF task_storage maps and enforces role-based policies on file access, network operations, and process execution.
Sample project demonstrating how to use eBPF to encap/decap packets with an MPLS label.
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
A Fork of Auditd geared specifically for running on the Android platform. Includes system applications, AOSP patches, and kernel patches to maximize the audit experience.
Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)
Xonsh Jupyter kernel allows to run Xonsh shell code in Jupyter, JupyterLab, Euporie, etc.
- xonsh
- xontrib
- jupyter
- jupyter-notebook
An attempt at a minimalistic and secure operating system.
An example of writing an external, simple Linux kernel module, in V.
- linux
- kernel-module
- vlang
- proof-of-concept
A small x86 32-bit operating system.
- assembly
- basic-operating-system
- c
- kernel
Cross-compile the Linux kernel for Raspberry Pi with enhanced security in a single command.
- raspberry-pi
- linux-kernel
- raspberrypi-kernel
- security
Catch your AI agents when they lie about what they shipped — verifies claims against git instead of believing the agent.
- agent-orchestration
- cli
- developer-tools
- llm-agents