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

schwering / limbo

A Reasoning System for a First-Order Logic of Limited Belief, written in C++

View repository on GitHub ↗ View creator profile Browse directory

About this discovery

Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.

#18085528GitHub System ID
schweringOrganization / User
PublicVisibility
ActiveCatalog Status

More from schwering

↗

schwering/golog

Plan recognition system based on the situation calculus and action language Golog, written in Haskell

Discovered
↗

schwering/prgolog-old

Plan recognition system based on the situation calculus and Golog written in Mercury.

Discovered
↗

schwering/regexp

A regular expression library for Ada with support for intersection, union, etc.

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.