BitsExplorer finds what people are building with AI, every day. See today's picks →

K7pl

French This item is in French.

K7PL is a three-layered programming language designed around Category, Types and Automata Theories. Its formal specification has a unique point of view : every bit of language design theory shall fit together. Hence, it might not be easy to understand nor to implement and that's not its main goal.

Description excerpted from the original listing, which is linked below.

Open it Source code Open in English

The English version is the original site passed through Google Translate. Nothing is translated or stored here.

Facts

Published: 28 Sep 2026 (20d ago)
Medium: web
Language: French (the page says so itself)
First seen: 12 Oct 2026, 19:09 UTC

Built with

Claude Code: confirmed
the agent's own trailer in the repository's commit history

What we can see

77 hygiene score

Certificate issued by YR1, 19 days remaining
Cookie attributes no cookies set
Credentials and payment does not ask for either
Strict transport security set
Served over HTTPS
Mail authentication neither published
No insecure resources
Redirects none
Security headers 0 of 5 set
Third-party origins 6
Transport security TLS 1.3

Observed 12 Oct 2026 by fetching the page as a browser would. This describes hygiene and transparency, not safety: a missing header does not make a site dangerous, and a complete set does not make it trustworthy.

Made this?

Show it on your own site or README. It links back to this page.

Get the badge

For a web page

<a href="https://bitsexplorer.com/i/2880780/k7pl"><img src="https://bitsexplorer.com/badge/2880780.svg" alt="Featured on BitsExplorer" height="22"></a>

For a README (Markdown)

[![Featured on BitsExplorer](https://bitsexplorer.com/badge/2880780.svg)](https://bitsexplorer.com/i/2880780/k7pl)

Changes we have seen

12 Oct 2026 first indexed

K7pl

More built with Claude Code

Today's picks

The week in AI-built software