#

discovery-system

Here are 7 public repositories matching this topic...

metareflection / formal-disco

A framework for scalable, distributed discovery systems.

verification dafny frama-c verus llm discovery-system

Updated Jul 8, 2026
Python

namin / LeanDisco

Eurisko-Inspired Discovery System for Lean in Lean

ai metaprogramming lean discovery-system proofsketcher

Updated Feb 5, 2026
Lean

namin / eurisclo

Common Lisp port of Doug Lenat's EURISKO

ai common-lisp reasoning paper-implementations discovery-system

Updated Jun 8, 2025
Common Lisp

UB-Mannheim / maidisco

Mannheim Intelligent Discovery System

artificial-intelligence discovery-system

Updated Jul 13, 2026
Python

namin / lean-eureka

EURISKO-inspired reflection, LCF-style trust — a fixed-gate verified discovery system in Lean 4

lean discovery-system reasonable-reflection

Updated Jul 26, 2026
Lean

clecle / ThULB-Suche

ThULB-Suche is a Discovery-Service from Thüringer Universitäts & Landesbibliothek Jena

science library books research knowledge find discovery articles opac discovery-service discovery-system

Updated Sep 3, 2026
PHP

r0undm1dn1ghty-star / discovery-warm-lead-parser

Находит клиентов в открытых источниках и говорит, с кем связаться первым. Скоринг готовности 0-100, экономика каждого прогона, ноль логинов и ноль спама.

python open-source sales telegram scoring b2b ai-agents lead-generation discovery-system fl-ru

Updated Sep 7, 2026
Python

Add this topic to your repo

To associate your repository with the discovery-system topic, visit your repo's landing page and select "manage topics."