Showing 5 of 5 projects
An interactive, terminal-based Periodic Table of Elements with navigation, search, and 20+ data visualization modes.
A formalization of geometry in Coq based on Tarski's axiom system, containing both foundational and high-school style proofs.
A catalog of reusable Web Components built with Lit for building modern web interfaces across frameworks.
A lightweight Erlang/Elixir web framework for building HTML5 and SVG applications with WebSocket support.
Returns the difference between the first array and additional arrays using strict equality.
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.