๐ 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 Search
Search live open-source data
Search GitHub repositories and Hugging Face models directly, then explore stars, downloads, source links and project details.
Live Results
GitHub Open Source Repositories
Search: proposals
Page 6
Showing 10 results from 1,435
ghc-proposals/ghc-proposals
GitHub PythonProposed compiler and language changes for GHC and GHC/Haskell
External source
GitHub
CMU-SAFARI/ramulator
GitHub C++ MIT LicenseA Fast and Extensible DRAM Simulator, with built-in support for modeling many different DRAM technologies including DDRx, LPDDRx, GDDRx, WIOx, HBMx, and various academic proposals. Described in the IEEE CAL 2015 paper by Kim et al. at http://users.ece.cmu.edu/~omutlu/pub/ramulator_dram_simulator-... Read more
External source
GitHub
jasonjmcghee/WebMCP
GitHub JavaScript MIT LicenseEarly WebMCP proposal / implementation - since evolved and worked on by much more capable folks that develop the web: https://github.com/webmachinelearning/webmcp
External source
GitHub
tier4/AutowareArchitectureProposal.proj
GitHub Shell Apache License 2.0This is the source code of the feasibility study for Autoware architecture proposal.
External source
GitHub
hemanth/es-next
GitHub MIT Licensestage-0 to stage-4 ECMAscript proposals.
External source
GitHub
claudepache/es-optional-chaining
GitHub HTML Creative Commons Zero v1.0 UniversalECMAScript proposal for Optional Chaining (aka Existential Operator, aka Null Propagation)
External source
GitHub
tc39/proposal-set-methods
GitHub HTML OtherProposal for new Set methods in JS
External source
GitHub
tc39/proposal-string-dedent
GitHub HTML MIT LicenseTC39 Proposal to remove common leading indentation from multiline template strings
External source
GitHub
zubair-trabzada/ai-sales-team-claude
GitHub Python MIT LicenseAI-powered sales team for Claude Code. Research prospects, qualify leads (BANT + MEDDIC), find decision makers, generate outreach sequences, prepare for meetings, write proposals, and produce PDF pipeline reports โ 14 skills, 5 parallel agents.
External source
GitHub
ChainAgnostic/CAIPs
GitHub HTML Creative Commons Zero v1.0 UniversalChain Agnostic Improvement Proposals
External source
GitHub
10 results on this page ยท 1,435 total found
Showing first 1,000 accessible GitHub results.