🌍 Live Open Source Explorer

Explore live open-source projects and AI models.

Search public open-source repositories from GitHub and AI models from Hugging Face. Every page shows 10 results with clean pagination.

Live sources

GitHub

Open repos

Hugging Face

AI models

Self Hosted

GitHub search

LLM

Model search

🔎 Live Search

Search live open-source data

Search GitHub repositories and Hugging Face models directly, then explore stars, downloads, source links and project details.

Search keyword

🔎

Source

🌐

Try keywords like automation, CRM, analytics, chatbot, llama or workflow.

Choose where to search live data.

CRM Workflow Chatbot Llama

Live Results

Search: FormalSystems

Page 1

Showing 1 results from 1

GitHub Python Apache License 2.0

A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"

★ 625 Forks 35 alexprengere Updated 24 May 2026

External source

GitHub