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-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 and wall clocks 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.
- 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.
- 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…