🌍 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.

Curated Tools → Curated AI Models 🤖 Submit Tool ＋

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.

Reset Search ↻

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

GitHub Open Source Repositories

Search: spark2014

Page 1

Showing 3 results from 3

AdaCore/spark2014

GitHub Ada GNU General Public License v3.0

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

★ 311 Forks 44 AdaCore Updated 05 Jun 2026

External source

GitHub

View Details → Open Source ↗

HeisenbugLtd/spat

GitHub Ada Do What The F*ck You Want To Public License

SPARK Proof Analysis Tool

★ 18 Forks 5 HeisenbugLtd Updated 30 Mar 2026

External source

GitHub

View Details → Open Source ↗

HeisenbugLtd/Saatana

GitHub Ada Do What The F*ck You Want To Public License

A cryptographic framework, proven for correctness in SPARK

★ 15 Forks 0 HeisenbugLtd Updated 03 Nov 2025

External source

GitHub

View Details → Open Source ↗