Alternative Intelligence Liberation Platform
- 2 followers
- United States of America
- https://ai-lp.org
- r&d@ai-liberation-platform.org
Pinned Loading
Repositories
- 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-libs Public
Workbench for the Nitpick library ecosystem — the playbook for setting up and planning a library, and the registry of what exists.
- nitpick-sockets Public
BSD sockets for Nitpick — AF_UNIX, TCP and UDP over IPv4/IPv6, straight to the
- nitpick-parse Public
Multi-format parsing for Nitpick — one event stream, one document model, one set of scanning primitives, formats as plugins. JSON, TOML, CSV and YAML. A syntax error is a value, not an error: no input can stop your program.
- 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-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.
- nitpick-posix Public
The POSIX utility set in Nitpick — no libc, no C, no external dependency in any artifact. One repository, a directory per utility.
- 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…