acharal/yadlr
Yadlr is a fuzzy reasoner, using CLP(Q,R) to implement fuzzy algebra on top of three reasoning back-ends: resolution, tableaux, and direct set-theoretic semantics.
Public GitHub Catalog
Discovered Sep 25, 2026
acharal / hopes
Higher Order Prolog with Extensional Semantics
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.
#4544175GitHub System ID
acharalOrganization / User
PublicVisibility
ActiveCatalog Status
More from acharal
acharal/parsec-prolog
A set of parsec combinators that parses ISO-Prolog programs
acharal/yawebproxy
Yet another webproxy consisted of a forward proxy and a validate proxy in a distributed architecture
acharal/ripsim
A multithreaded RIP (Routing Information Protocol) Simulator