AI Liberation Platform

Building the Future of Deterministic, Ethical AI

We build the foundational tools, languages, and platforms for the next generation of artificial intelligence. From highly deterministic systems programming to consciousness research and interactive learning, we're shaping an open, transparent future.

⚡ Nitpick Language

A safety-critical systems programming language and its self-hosted compiler, built for software where a failure is a physical event rather than a debugging inconvenience.

Currently in active development. The compiler is self-hosting and formal verification is the work in progress. The original C/C++ prototype has been retired and is archived at nitpick-prototype (docs: nitpick-prototype-docs). The current language is a fresh line starting at version 0.0 — not a continuation — and many things about it have changed. The documentation linked below describes the retired prototype.

  • No C, no C++, no third-party runtime — nothing in the trusted path crosses an FFI barrier
  • Every function returns Result<T>; an uncaught trap routes through a mandatory failsafe handler
  • Self-hosted — written in Nitpick, and rebuilds itself byte-identically from a committed snapshot
  • LLVM 20.1.2 backend; the emitted IR is the artifact of record, over a hand-written LLVM IR runtime floor
Prototype Docs (archived) Prototype AI Specs (archived) Current Nitpick on GitHub

🛠️ Tools & Ecosystem

A thriving ecosystem of 30+ packages, powerful development tools, and high-performance cross-platform libraries.

Retired with the prototype: the tooling and packages described here were built for the C/C++ prototype, and the nitpick-packages repository is no longer published. The current line has no C anywhere in the trusted path, so those C-dependent packages are not being carried forward — the standard library and tooling are being rebuilt in Nitpick.
Browse the Organisation

🛡️ NIKOS (Nitpick IKOS)

A modern, updated port of the IKOS static analyzer, completely rebuilt to support LLVM 20 and deeply integrated into the Nitpick ecosystem.

  • v1.x: Drop-in legacy IKOS upgrade for LLVM 20
  • v2.x: Advanced Taint Analysis & Concurrency checking
  • Official native .deb and .rpm packaging
  • Provides the backbone for Nitpick's safety guarantees
View Releases

🎓 Research & Education

Democratizing advanced systems knowledge. We don't just teach you how to use a tool—we teach you how it's built and why.

  • Deep-dive systems engineering courses
  • Visualizing compilers and memory models
  • Interactive AI safety demonstrations
  • Pure web, no-build-step interactive demos
Learn More

🔥 Project Status Matrix (June 2026)

Nitpick v0.60.4.1 Module system complete (`use`, `mod`, `pub`)
Global array codegen fixes
LLVM 20 integration via NIKOS
Real-world Apps nalculator: Fully functional precision calc
neditor: Robust, GUI text editor
nitty: Terminal emulator nearing completion
napit: API client in development
nitpick-studio: Official graphical debugger IDE
nscp: Terminal file transfer tool
nkmon: Terminal system monitor
njust: Project command runner
nyazi: Terminal file manager
ntick: Terminal clock
Package Ecosystem 39 verified packages
Raylib, SDL2, GTK4 native integrations
Full `npkpkg` package manager support
Toolchain & IDE `npkc` + `npkbld` pipeline
VS Code extension & MCP
`nitpick-safety` static auditing