Elements
3 projects
Showing 3 of 3 projects
periodic-table-cliJavaScript
An interactive, terminal-based Periodic Table of Elements with navigation, search, and 20+ data visualization modes.
#science#periodic-table#educational
Stars295
Forks18
Last commit10 months ago
GeoCoqRocq Prover
A formalization of geometry in Coq based on Tarski's axiom system, containing both foundational and high-school style proofs.
#hilbert-axioms#euclid#mathematics
Stars207
Forks31
Last commit6 months ago
Dile ComponentsJavaScript
A catalog of reusable Web Components built with Lit for building modern web interfaces across frameworks.
#web-components#crud#custom-elements
Stars105
Forks21
Last commit2 days ago
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.