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 modern, safety-critical systems programming language designed for absolute determinism, memory safety, and AI performance.

  • LLVM 20.1.2 backend with NIKOS support
  • Full module system with transitive visibility
  • Zero-cost abstractions & atomic data-plane
  • Robust C/C++ FFI integration
Read the Docs

🛠️ Tools & Ecosystem

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

  • nitty: Advanced terminal emulator
  • neditor: High-performance code editor
  • nalculator: Precision calc app
  • LSP, DAP, and MCP server integrations
Explore Packages

🛡️ 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
Package Ecosystem 113 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