chrismoultonsf/llvm-semantics
Formal semantics of LLVM IR in K
A web front end for an elastic search cluster
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Formal semantics of LLVM IR in K
Private messaging system that hides metadata
Easy scroll animations for web and mobile browsers.
A collection of best front-end frameworks for faster and easier web development.