Skip to content

Home

Solnix

A next-generation verifier-aware eBPF programming language
for safe, efficient, kernel-native programs, observability, and systems tooling.

Install

Why Solnix?

Solnix was designed to solve key challenges in eBPF development:

Static Verification

Solnix statically analyzes programs to ensure compliance with Linux eBPF verifier requirements, including bounded loops, safe memory access, valid helper usage, and correct map and stack semantics, so that generated programs can be loaded without runtime verifier failures.

Learn more →

Advanced eBPF Integration

Solnix compiles to libbpf-compatible C and standard eBPF ELF objects, preserving section, map, and BTF metadata so that programs can be loaded and managed using existing eBPF tooling (libbpf, bpftool, CO-RE loaders) for XDP, tracing, and performance analysis..

Learn more →

Designed for Developers

  • Command-line toolchain — Compile, type-check, and emit eBPF ELF objects with verifier-oriented diagnostics.
  • Structured syntax — High-level language constructs for maps, hooks, and control flow, reducing boilerplate compared to raw eBPF C.
  • Verifier-aware semantics — Language rules enforce bounded loops, safe memory access, and valid helper usage to satisfy Linux eBPF verifier constraints at compile time.
  • Observability and networking targets — First-class support for common eBPF attachment points such as XDP, TC, kprobes, and tracepoints for tracing and packet processing workloads.

Community & Resources

GitHub: https://github.com/solnix-lang

Contribute, browse code, and explore examples.