Piperic
similar sites
‹ ProfileAI ReportTools

Sites similar to cafeobj.org

Cafeobj alternatives & similar sites

CafeOBJ – Algebraic Specification and Verification — 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 Programming Languages →

DomainMatchTitleCountry/LangCategoryAI filesContactAI-protection
avalanche.io 66 match
2 shared topics
C4 — Universal Content Identification en programming-languages robotsllmsaihumans emailphone none
pocopine.dev 64 match
2 shared topics
pocopine — a full-stack Rust application framework en software-and-applications robotsllmsaihumans emailphone partial · 8
plodware.com 63 match
2 shared topics
PlodWare – PC applications – RipeTech Blog en software-and-applicationsWordPress robotsllmsaihumans emailphone none
cure-lang.org 63 match
2 shared topics
Cure — Dependently-Typed BEAM Language en programming-languages robotsllmsaihumans emailphone none
abstraction-systems.com 63 match
2 shared topics
Abstraction Systems - Components and Programming Tools for .NET (Windows Forms, C#, VB.NET, J#) en software-and-applications robotsllmsaihumans emailphone none
swiftmock.com 62 match
2 shared topics
SwiftMock - Automated Mock Generation for Swift Protocols en programming-languages robotsllmsaihumans emailphone none
barefootps.org 62 match
2 shared topics
BareFoot PeopleSoft - Oracle PeopleSoft Tips and Tricks en software-and-applicationsWordPress robotsllmsaihumans emailphone none
bashly.dev 62 match
2 shared topics
Bashly - Bash Command Line Framework en software-and-applications robotsllmsaihumans emailphone none
dimml.io 62 match
2 shared topics
DimML - Data in motion Modelling Language en software-and-applicationsWordPressWooCommerce robotsllmsaihumans emailphone none
pjrmi.com 62 match
2 shared topics
GitHub - deshaw/pjrmi: PJRmi is an API for performing Remote Method Invocation (RMI, aka RPC) in a Java process from a Python one. · GitHub en software-and-applications robotsllmsaihumans emailphone partial · 8
2dog.dev 62 match
2 shared topics
2dog - Godot in .NET en programming-languages robotsllmsaihumans emailphone none
axa6.com 62 match
2 shared topics
AQ — The Simple, Fast, and Secure Programming Language en programming-languages robotsllmsaihumans emailphone none
draegerlab.org 62 match
2 shared topics
GitHub - draeger-lab/SBSCL: The Systems Biology Simulation Core Library (SBSCL) provides an efficient and exhaustive Java implementation of methods to interpret the content of models encoded in the Systems Biology Markup Language (SBML) and its numerical solution. · GitHub en programming-languages robotsllmsaihumans emailphone none
plan9basic.com 62 match
2 shared topics
Plan9Basic — Modern BASIC for Windows, Linux & Android en software-and-applications robotsllmsaihumans emailphone none
playgolab.com 62 match
2 shared topics
GoLab — Write Go. Hit Run. That's it. en programming-languages robotsllmsaihumans emailphone partial · 8
samaliwa.com 62 match
2 shared topics
Sam Aliwa | Software Engineer & Mobile Developer en software-and-applications robotsllmsaihumans emailphone none
swiftuicookbook.com 62 match
2 shared topics
SwiftUI Cookbook - Third Edition | Juan C. Catalan en programming-languages robotsllmsaihumans emailphone partial · 8
devcompiler.com 61 match
2 shared topics
DevCompiler – Free Online Compiler & Code Runner en programming-languages 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.