Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Catalog / urbas / mixr
Public GitHub Catalog Discovered Sep 26, 2026

urbas / mixr

MixR is a heterogeneous reasoning framework. It is based on the NetBeans Plathfom and highly extensible. Via MixR drivers existing theorem provers are extended with HR.

View repository on GitHub ↗ View creator profile Browse directory

About this discovery

This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.

#7733130GitHub System ID
urbasOrganization / User
PublicVisibility
ActiveCatalog Status

More from urbas

↗

urbas/NUnit.Core

NUnit.Core NuGet package for applications that want to invoke NUnit programmatically.

Discovered
FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.