github.com/leanprover-community/mathlib
GitHub
| vs. Baseline | Lens | Category |
|---|---|---|
| 15.2x | Social Epistemology | Culture and Political Economy |
| 8.2x | Rationality | Culture and Political Economy |
| 7.9x | Village Global | Venture Capital |
| 4.8x | Arnold Kling's Fantasy Intellectual Teams | Culture and Political Economy |
| 4.7x | Mercatus Center | Think Tanks |
| 4.4x | Bismark Analysis | Culture and Political Economy |
| 4.3x | Bloomberg Opinion | Journalism |
| 4.1x | Works in Progress | Culture and Political Economy |
| 3.7x | Climate Solutions | Culture and Political Economy |
| 2.9x | Y Combinator | Venture Capital |
| 2.8x | Progress Studies | Culture and Political Economy |
| 2.7x | A16Z | Venture Capital |
| 2.6x | Effective Altruism | Culture and Political Economy |
| 2.6x | Khosla Ventures | Venture Capital |
| 2.5x | Ecomodernists | Culture and Political Economy |
| 2.1x | Persuasion Community | Culture and Political Economy |
| 2.0x | Heterodox Academy | Culture and Political Economy |
| 1.8x | Degrowth | Culture and Political Economy |
| 1.7x | The Long Now Foundation | Culture and Political Economy |
| 1.6x | EconTwitter | Science |
| 1.6x | Hudson Institute | Think Tanks |
| 1.5x | Foundation Against Intolerance and Racism | Culture and Political Economy |
| 1.4x | Benchmark Capital | Venture Capital |
| 1.4x | Zig | Software Engineering |
| 1.3x | Palladium Magazine | Journalism |
| 1.2x | Crypto VC | Crypto |
| 1.2x | New Yorker | Journalism |
| 1.2x | Biotech | Science |
| 1.1x | Initialized Capital | Venture Capital |
| 1.1x | The New York Post | Journalism |
| 1.1x | Rust | Software Engineering |
| 1.0x | Baseline | system |
| 0.9x | Think Tanks | system |
| 0.9x | Environmental Defense Fund | Culture and Political Economy |
| 0.9x | Sierra Clib | Culture and Political Economy |
| 0.9x | Extinction Rebellion | Culture and Political Economy |
| 0.9x | Schumacher Circle | Culture and Political Economy |
| 0.9x | Fair Vote | Culture and Political Economy |
| 0.9x | Philosophy Twitter | Science |
| 0.8x | Reuters | Journalism |
| 0.8x | OANN | Journalism |
| 0.8x | 350.org | Culture and Political Economy |
| 0.8x | Asia Society Policy Institute | Think Tanks |
| 0.8x | Heritage Foundation | Think Tanks |
| 0.8x | Claremont Institute | Culture and Political Economy |
| 0.8x | Sequioa | Venture Capital |
| 0.8x | Harper's Open Letter | Culture and Political Economy |
| 0.8x | Newsmax | Journalism |
| 0.8x | Ecosocialism | Culture and Political Economy |
| 0.7x | Cato Institute | Think Tanks |
| 0.6x | The Daily Beast | Journalism |
| 0.5x | My Climate Journey | Venture Capital |
| 0.5x | Niskanen Center | Think Tanks |
| 0.5x | Foreign Policy | Journalism |
| 0.5x | American Enterprise Institute | Think Tanks |
| 0.5x | National Bureau of Economic Research | Think Tanks |
| 0.5x | VICE | Journalism |
| 0.5x | Washington Post | Journalism |
| 0.4x | Peterson Institute for International Economics | Think Tanks |
| 0.4x | Environmental Journalists | Culture and Political Economy |
| 0.4x | Populist Libertarians | Culture and Political Economy |
| 0.4x | CNBC | Journalism |
| 0.4x | Founders | Informal Community |
| 0.4x | The Intercept | Journalism |
| 0.4x | Eurasia Group | Think Tanks |
| 0.3x | Wall Street Journal | Journalism |
| 0.3x | Black Lives Matter | Culture and Political Economy |
| 0.3x | The Atlantic | Journalism |
| 0.2x | Belfer Center | Think Tanks |
| 0.2x | Moderate Conservatism | Culture and Political Economy |
| 0.2x | The Los Angeles Times | Journalism |
| 0.2x | RAND Corporation | Think Tanks |
| 0.2x | BuzzFeed | Journalism |
| 0.2x | The New York Times | Journalism |
| 0.2x | Anarachists | Culture and Political Economy |
| 0.2x | Electronic Privacy Information Center (EPIC) | Culture and Political Economy |
| 0.2x | Adam Smith Institute | Think Tanks |
| 0.2x | Hoover Institution | Think Tanks |
| 0.2x | Bessemer | Venture Capital |
| 0.2x | Intergovernmental Panel on Climate Change (IPCC) | Science |
| 0.1x | Foundation for Individual Rights in Education (FIRE) | Culture and Political Economy |
| 0.1x | RadicalxChange | Culture and Political Economy |
| 0.1x | Founders Fund | Venture Capital |
| 0.1x | The Dispatch | Journalism |
| 0.1x | ClimateTwitter | Science |
| 0.1x | Recode | Journalism |
| 0.1x | Sutter Hill Ventures | Venture Capital |
| 0.1x | Columbia SIPA Center for Energy Policy | Think Tanks |
| 0.1x | Crypto Journalists | Crypto |
| 0.1x | Earth Institute | Think Tanks |
| 0.1x | Decentralized Web | Crypto |
| 0.1x | Berggruen Institute | Think Tanks |
| 0.1x | Wired | Journalism |
| 0.1x | IDEO Founder Collective | Crypto |
| 0.1x | Non-Fungible Tokens (NFTs) | Crypto |
| 0.1x | Homebrew | Venture Capital |
| 0.1x | Crypto Infrastructure | Crypto |
| 0.1x | Existential Risks | Culture and Political Economy |
| 0.1x | The Information | Journalism |
| 0.0x | Decentralized Autonomous Organizations (DAOs) | Crypto |
| 0.0x | The Economist | Journalism |
| 0.0x | The Verge | Journalism |
| 0.0x | Techcrunch | Journalism |
| 0.0x | Index Ventures | Venture Capital |
| 0.0x | Public Goods Funding | Crypto |
| 0.0x | Cosmos | Crypto |
| 0.0x | Crypto Investing | Crypto |
| 0.0x | Stat News | Journalism |
| 0.0x | Urban Institute | Think Tanks |
| 0.0x | Atlantic Council | Think Tanks |
| 0.0x | Ethereum | Crypto |
| 0.0x | Epidimiology Twitter | Science |
| 0.0x | Epidemiology Journalism | Science |
| 0.0x | Standard Crypto | Venture Capital |
| 0.0x | EFF | Culture and Political Economy |
| 0.0x | Financial Times | Journalism |
| 0.0x | Accel | Venture Capital |
| 0.0x | Decentralized Finance (DeFi) | Crypto |
| 0.0x | Polkadot | Crypto |
| 0.0x | Crypto Angels | Crypto |
| 0.0x | Crypto Political Economy | Crypto |