Alternative Intelligence Liberation Platform
- 2 followers
- United States of America
- https://ai-lp.org
- r&d@ai-liberation-platform.org
Pinned Loading
Repositories
- nitpick-libs Public
Workbench for the Nitpick library ecosystem — the playbook for setting up and planning a library, and the registry of what exists.
- nitpick-fuzz Public
Systematic hunt for memory-safety defects in the Nitpick compiler: an exhaustive grid of owning types × places × operations, run at -O0 and -O2, with a recall gate that must re-find every known defect first.
- nitpick-regex Public
Regular expressions for Nitpick — linear time guaranteed on every pattern and every input. Automata-based, zero dependency, no libc, no syscalls. Catastrophic backtracking is not slow here; it is impossible.
- nitpick-time Public
Dates, times and time zones for Nitpick — zero dependency, no libc, no system tzdb. The IANA database is compiled in from a pinned release, so the same program gives the same answer on every machine. Monotonic readings and UTC timestamps are different types.
- claude-skills Public
A marketplace of agentic workflows for Claude Code. Featuring devteam: a three-layer development pipeline that carries a project from a client's idea to a working product under a signed charter — traceable requirements, independent verification of every report, and escalations classified by reversibility.
- nikos Public
Updated version of IKOS to support LLVM 20. Originally developed for use for verification for the Nitpick programming language.
-
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…