{"id":35725421,"url":"https://github.com/solnix-lang/solnix-compiler","last_synced_at":"2026-04-14T15:33:31.678Z","repository":{"id":327264816,"uuid":"1108573465","full_name":"solnix-lang/solnix-compiler","owner":"solnix-lang","description":"A secure, verifier-aware eBPF compiler for writing high-level kernel-safe programs.","archived":false,"fork":false,"pushed_at":"2026-03-08T07:51:04.000Z","size":3108,"stargazers_count":2,"open_issues_count":0,"forks_count":0,"subscribers_count":0,"default_branch":"main","last_synced_at":"2026-03-08T10:30:31.544Z","etag":null,"topics":["compiler","ebpf","kernel","linux","rust","security"],"latest_commit_sha":null,"homepage":"https://www.solnix-lang.org","language":"Rust","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/solnix-lang.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2025-12-02T16:20:03.000Z","updated_at":"2026-03-08T07:51:08.000Z","dependencies_parsed_at":null,"dependency_job_id":null,"html_url":"https://github.com/solnix-lang/solnix-compiler","commit_stats":null,"previous_names":["stackroost/aeonix-compiler"],"tags_count":2,"template":false,"template_full_name":null,"purl":"pkg:github/solnix-lang/solnix-compiler","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/solnix-lang%2Fsolnix-compiler","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/solnix-lang%2Fsolnix-compiler/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/solnix-lang%2Fsolnix-compiler/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/solnix-lang%2Fsolnix-compiler/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/solnix-lang","download_url":"https://codeload.github.com/solnix-lang/solnix-compiler/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/solnix-lang%2Fsolnix-compiler/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":31803455,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-04-14T11:13:53.975Z","status":"ssl_error","status_checked_at":"2026-04-14T11:13:53.299Z","response_time":153,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.5:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["compiler","ebpf","kernel","linux","rust","security"],"created_at":"2026-01-06T08:00:54.789Z","updated_at":"2026-04-14T15:33:31.667Z","avatar_url":"https://github.com/solnix-lang.png","language":"Rust","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Solnix Compiler\n\n**Verifier-Safe eBPF Compiler for High-Assurance Linux Kernel Programs**\n\nA modern domain-specific language and compiler that generates safe,\npredictable eBPF C backend code.\n\n------------------------------------------------------------------------\n\n## Overview\n\nSolnix is a high-level domain-specific language designed for\nwriting Linux eBPF programs safely and concisely.\n\nThe Solnix Compiler translates `.snx` source files into\nverifier-compliant C backend code, enabling predictable compilation into\neBPF object files suitable for:\n\n-   Kernel tracing\n-   Security enforcement\n-   Observability pipelines\n-   Networking (XDP)\n-   LSM hooks\n-   System instrumentation\n\nSolnix eliminates common verifier errors by enforcing safety rules at\ncompile time.\n\n------------------------------------------------------------------------\n\n## Key Features\n\n-   Verifier-aware static validation\n-   High-level DSL syntax\n-   Structured map definitions\n-   Built-in eBPF event modeling\n-   Safe register handling\n-   Deterministic C backend generation\n-   Minimal runtime overhead\n-   Rust-implemented compiler core\n\n------------------------------------------------------------------------\n\n## Architecture\n\nSolnix follows a structured compilation pipeline:\n\n    Solnix Source (.snx)\n            ↓\n    Lexer + Parser\n            ↓\n    AST Builder\n            ↓\n    Semantic \u0026 Verifier Validator\n            ↓\n    Intermediate Representation (IR)\n            ↓\n    C Backend Code Generator\n            ↓\n    eBPF Object (via clang)\n\nInstead, it generates structured C code tailored for eBPF compilation.\n\n------------------------------------------------------------------------\n\n## Installation\n\n### Prebuilt Binary\n\nDownload the latest release:\n\nhttps://github.com/solnix-lang/solnix-compiler/releases\n\nThen:\n\n``` bash\nchmod +x solnixc\nsudo mv solnixc /usr/local/bin/\n```\n\nVerify:\n\n``` bash\nsolnixc --version\n```\n\n------------------------------------------------------------------------\n\n### Build From Source\n\nRequirements:\n\n-   Rust (stable)\n-   Cargo\n-   clang (for eBPF backend compilation)\n\n``` bash\ngit clone https://github.com/solnix-lang/solnix-compiler.git\ncd solnix-compiler\ncargo build --release\n```\n\nBinary will be located at:\n\n    target/release/solnixc\n\n------------------------------------------------------------------------\n\n## Quick Example\n\n### Solnix Source (`execve_monitor.snx`)\n\n``` snx\nmap events {\n    type: .ringbuf,\n    max: 1 \u003c\u003c 24\n}\n\nevent exec_event {\n    pid: u32,\n    filename: bytes[256]\n}\n\nunit trace_exec_filename {\n    section \"tracepoint/syscalls/sys_enter_execve\"\n    license \"GPL\"\n\n    reg pid_tgid = ctx.get_pid_tgid()\n    reg pid = pid_tgid\n}\n```\n\nCompile:\n\n``` bash\nsolnixc compile execve_monitor.snx execve_monitor.o \n```\n\n------------------------------------------------------------------------\n\n## Project Structure\n\n    solnix-compiler/\n    │\n    ├── src/\n    │   ├── lexer/\n    │   ├── parser/\n    │   ├── ast/\n    │   ├── semantic/\n    │   ├── ir/\n    │   ├── codegen/\n    │   └── cli/\n    │\n    ├── tests/\n    ├── examples/\n    ├── Cargo.toml\n    └── README.md\n\n------------------------------------------------------------------------\n\n## Roadmap\n\n-   [ ] IR optimization passes\n-   [ ] LSP (Language Server Protocol)\n-   [ ] Advanced static analysis\n-   [ ] Cross-architecture support\n-   [ ] Package registry for Solnix libraries\n-   [ ] Formal verification layer\n\n------------------------------------------------------------------------\n\n## Contributing\n\nWe welcome contributions.\n\n1.  Fork the repository\n2.  Create a feature branch\n3.  Submit a Pull Request\n\nPlease read CONTRIBUTING.md before submitting changes.\n\n------------------------------------------------------------------------\n\n## License\n\nLicensed under the Apache License 2.0.\n\nSee LICENSE file for details.\n\n------------------------------------------------------------------------\n\n## Status\n\nSolnix is under active development and considered experimental.","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsolnix-lang%2Fsolnix-compiler","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsolnix-lang%2Fsolnix-compiler","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsolnix-lang%2Fsolnix-compiler/lists"}