Piperic
similar sites
‹ ProfileAI Report

Sites similar to sele4n.org

Sele4N alternatives & similar sites

seLe4n — A Microkernel Written in Lean 4 — 18 websites ranked by shared content topics, category and on-page relevance.

Each result shows its full tech stack, contacts and AI-policy — not just a name · Browse all sites in Technology And Computing →

DomainMatchTitleCountry/LangCategoryAI filesContactAI-protection
ranix.org 65 match
2 shared topics
The Ranix Kernel en programming-languages robotsllmsaihumans emailphone partial · 8
cubiquity.net 65 match
2 shared topics
GitHub - DavidWilliams81/cubiquity: Cubiquity is an experimental micro-voxel engine written in C++ and released into the public domain. · GitHub en programming-languagesDrupal robotsllmsaihumans emailphone none
cslib.io 64 match
2 shared topics
A Focused Effort on Formalizing Computer Science in Lean en technology-and-computing robotsllmsaihumans emailphone none
0xadb.net 63 match
2 shared topics
0xADB — Aaron Barton en programming-languages robotsllmsaihumans emailphone none
aahmedlab.dev 63 match
2 shared topics
Abdullah Ahmed — aahmedlab en programming-languages robotsllmsaihumans emailphone none
chipverse.com 63 match
2 shared topics
ChipVerify — Verilog IDE in Your Browser en technology-and-computing robotsllmsaihumans emailphone partial · 8
kcruey.com 63 match
2 shared topics
crueyKernel->dev en programming-languages robotsllmsaihumans emailphone none
rachel-wright.com 63 match
2 shared topics
Rachel Wright en programming-languages robotsllmsaihumans emailphone none
4comprehension.com 63 match
2 shared topics
{ 4Comprehension } - Human-written. Field-tested. en programming-languagesWordPress robotsllmsaihumans emailphone none
micronautpodcast.com 63 match
2 shared topics
The Micronaut Podcast en technology-and-computingWordPress robotsllmsaihumans emailphone none
mikkomarttila.com 63 match
2 shared topics
Mikko Marttila — A personal website and blog en programming-languages robotsllmsaihumans emailphone none
hulsman.dev 63 match
2 shared topics
Ezra Hulsman — DevOps / Pega Engineer en technology-and-computing robotsllmsaihumans emailphone none
microbitlearning.com 63 match
2 shared topics
Microbit learning - en technology-and-computingWordPress robotsllmsaihumans emailphone partial · 8
1funlab.com 62 match
2 shared topics
Peifeng Wang — Full-Stack Engineer, Tokyo en programming-languages robotsllmsaihumans emailphone none
1lubo.dev 62 match
2 shared topics
1lubo — Java · Rust · Bitcoin · Nostr en technology-and-computing robotsllmsaihumans emailphone none
milandekruijf.com 62 match
2 shared topics
Home — Milan de Kruijf en programming-languages robotsllmsaihumans emailphone none
qluo.dev 62 match
2 shared topics
Qiang Luo — ktr0a en technology-and-computing robotsllmsaihumans emailphone none
randomcoding.com 62 match
2 shared topics
Random Coding - 99% certified artisanal human writing en technology-and-computing robotsllmsaihumans emailphone none

How the match score works

Each match is a 0–100 similarity score — the higher it is, the more two sites resemble one another. It’s computed automatically from our own crawl data (never from what a site says about itself) by combining several independent signals, so a high score means several of them point the same way:

No single signal decides the result — they’re blended together. Treat the score as a way to rank candidates rather than an absolute percentage; the chips on each result show which signals contributed.