OpenSoft India

OpenSoft India

Login
๐ŸŒฑ Open Source โ–พ
๐Ÿ  Home ๐Ÿงฐ AI Tools ๐Ÿค– AI Models ๐ŸŒฑ Open Source โœ“ ๐Ÿ“š Blog ๐Ÿ’ก Suggest a Tool

๐ŸŒ 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 โ†ป
๐Ÿ”Ž
๐ŸŒ

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: Programming

Page 98

Showing 10 results from 34,425

O

microsoft/opensource.microsoft.com

GitHub TypeScript MIT License

This is the source code to the mostly-static Microsoft Open Source site featuring projects, program information, and "get involved" pages.

โ˜… 1,128 Forks 558 microsoft Updated 18 Jun 2026

External source

GitHub

View Details โ†’ Open Source โ†—
R

formal-land/rocq-of-rust

GitHub Rocq Prover

Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.

โ˜… 1,128 Forks 44 formal-land Updated 19 Jun 2026

External source

GitHub

View Details โ†’ Open Source โ†—
A

yrgo/awesome-educational-games

GitHub MIT License

A curated list of awesome educational games to learn editors, languages, programming, etc

โ˜… 1,127 Forks 73 yrgo Updated 19 Jun 2026

External source

GitHub

View Details โ†’ Open Source โ†—
R

rue-language/rue

GitHub Rust Apache License 2.0

A programming language that is higher level than Rust but lower level than Go. Someday, anyways.

โ˜… 1,125 Forks 40 rue-language Updated 18 Jun 2026

External source

GitHub

View Details โ†’ Open Source โ†—
M

offchan42/machine-learning-curriculum

GitHub MIT License

:computer: Learn to make machines learn so that you don't have to struggle to program them; The ultimate list

โ˜… 1,125 Forks 253 offchan42 Updated 16 Jun 2026

External source

GitHub

View Details โ†’ Open Source โ†—
H

codr7/hacktical-c

GitHub C Other

A practical hacker's guide to the C programming language.

โ˜… 1,119 Forks 56 codr7 Updated 19 Jun 2026

External source

GitHub

View Details โ†’ Open Source โ†—
A

adafruit/Adafruit_Learning_System_Guides

GitHub C MIT License

Programs and scripts to display "inline" in Adafruit Learning System guides

โ˜… 1,119 Forks 806 adafruit Updated 18 Jun 2026

External source

GitHub

View Details โ†’ Open Source โ†—
C

iximiuz/client-go-examples

GitHub Go Apache License 2.0

Collection of mini-programs demonstrating Kubernetes client-go usage.

โ˜… 1,116 Forks 143 iximiuz Updated 27 May 2026

External source

GitHub

View Details โ†’ Open Source โ†—
C

kriomant/ch57x-keyboard-tool

GitHub Rust MIT License

Utility for programming small ch57x keyboards (1189:8890, 1189:8840, 1189:8842)

โ˜… 1,115 Forks 133 kriomant Updated 19 Jun 2026

External source

GitHub

View Details โ†’ Open Source โ†—
R

qmonnet/rbpf

GitHub Rust Apache License 2.0

Rust virtual machine and JIT compiler for eBPF programs

โ˜… 1,115 Forks 361 qmonnet Updated 18 Jun 2026

External source

GitHub

View Details โ†’ Open Source โ†—
Pagination Page 98 of 100

10 results on this page ยท 34,425 total found

Showing first 1,000 accessible GitHub results.