Install NixOS everywhere via SSH [maintainers=@Mic92 @Lassulus @phaer @Enzime @a-kenji]

Declarative disk partitioning and formatting using nix [maintainers=@Lassulus @Enzime @iFreilicht @Mic92 @phaer]

A Lightweight LLM Post-Training Library

An AI co-scientist powered by Scientific Agent Skills running on your desktop.

Open source code for AlphaFold 2.

Official repository for the Boltz biomolecular interaction models

AlphaFold 3 inference pipeline.

GDM Science Skills to speed up agentic scientific workflows with better grounding and higher token efficiency. Integrate insights from AlphaGenome, AFDB, UniProt and 30+ other databases and tools.

Multi-Purpose Launcher with a lot of features. Highly Customizable and fast.

Open-source, low-cost 10.5 GHz PLFM phased array RADAR system

Procedural Python renderer for a mountain image based on Hamid Naderi Yeganeh's "Mountains" mathematical artwork.

Lightweight GUI for managing Bhyve, Jails, ZFS, networking, and more on FreeBSD

Project NOMAD is an offline-first knowledge and education server. Wikipedia, thousands of books, courses, maps, and optional local AI, all running on hardware you own with no internet required.

A State of the Art MIT-licensed PCB Autorouter

Extracted system prompts from Anthropic - Claude Fable 5, Opus 5, Claude Design, Claude Code. OpenAI - ChatGPT GPT-5.6-Sol, Codex. Google - Gemini 3.5 Flash, 3.1 Pro, Antigravity. xAI - Grok, Curso…

Mistral is an open-source Elixir client for the Mistral AI API

Embeddable business intelligence engine for Elixir — SQL editor, dashboards, charts, and AI query generation that mount directly in your Phoenix app.

Documenting the Catapult v3 SmartNIC FPGA boards (Dragontails Peak & Longs Peak)

the LLM vulnerability scanner

Tutorial and code of EM Eye camera eavesdropping attack research

This project provides some code examples of Zig for malwares, hacking, and red teaming. ⚡

A free, open-source, and cross-platform iDevice management tool

Zero-installation web application that lets you explore, back up, and manage your ESP32… right from your browser

NixOS setup for my homelab and personal computers

Generator of C code and Coq code for ISA and SoC

High accuracy RAG for answering questions from scientific documents with citations

CobaltStrike External C2 implementation with NIM