Academic

A list of libraries, tools and tutorials for Coq (now renamed Rocq), the formal-proof language and environment. in Programming Languages →

The University of Pennsylvania’s Haskell course, with lecture notes and assignments public. in Programming Languages →

The pioneer of numerical and scientific computing, still in use and central to climate and physics simulation. in Programming Languages →

Structure and Interpretation of Computer Programs, MIT’s classic text in a readable HTML edition. in Programming Languages →

Builds a context limited to the PDFs, docs and links you upload, and refuses to answer outside them. in AI · Models & Assistants →

A research company building systems that model the physical world rather than language, aimed at robotics and industrial control. in AI · Agents & Infrastructure →

An inference framework reducing weights to 1.58 bits (three values); multiplications collapse into additions, so it runs at acceptable speed on CPU. in AI · Agents & Infrastructure →

A research framework for societies of role-playing agents steering each other. in AI · Agents & Infrastructure →

You do not write prompt text — you declare input/output signatures and supply examples, and an optimiser generates the… in AI · Agents & Infrastructure →

Agents solve tasks by talking in a group chat, with a manager agent deciding who speaks next. in AI · Agents & Infrastructure →

A guide collecting prompt engineering techniques with academic citations: chain of thought, few-shot, RAG. in AI · Agents & Infrastructure →

Predicts structures of protein, DNA and ligand complexes with AlphaFold 3. in AI · Applied Tools →

A language model trained on PubMed abstracts, more accurate than general models at tasks like drug–disease relation extraction. in AI · Applied Tools →

An LLM agent that operates chemistry tools — RDKit, reaction databases, synthesis planners. in AI · Applied Tools →

Speeds up sequence alignment with MMseqs2 to make AlphaFold runnable in Colab. in AI · Applied Tools →

Summarises which way the literature leans on a question and shows the ratio of supporting to contradicting studies. in AI · Applied Tools →

A machine-learning library for drug discovery, including molecular featurisation and dataset loaders. in AI · Applied Tools →

Screens hundreds of papers and extracts fields such as sample size, method and finding into a table. in AI · Applied Tools →

Simplifies whichever passage you highlight in a PDF. in AI · Applied Tools →

An open model fine-tuned for medical Q&A and evaluated on USMLE-style questions. in AI · Applied Tools →

An open Gemma variant adapted to medical text and imaging. in AI · Applied Tools →

Answers clinical questions only from peer-reviewed literature, with citations, for verified health professionals. in AI · Applied Tools →

The foundational open cheminformatics library — SMILES parsing, substructure search, fingerprints. in AI · Applied Tools →

Start from one paper and expand the citation and co-author network visually. in AI · Applied Tools →

Reduces a paper to structured cards — core claim, method, limitations, references, each separate. in AI · Applied Tools →

Explains a paper paragraph by paragraph, unpacking a chosen equation or term in place. in AI · Applied Tools →

A Java toolbox of classical ML algorithms and one of the field’s oldest open projects. in AI · Applied Tools →

OpenAI’s 3D model that produces point clouds needing a separate meshing step. in AI · Generative Media →

An OpenAI model producing implicit 3D representations from text. in AI · Generative Media →

A community archive distributing large research datasets over BitTorrent. in Data Science & ML →

The companion site for Artificial Intelligence: A Modern Approach. in Data Science & ML →

A competition on abstract reasoning whose tasks are designed to be easy for humans and hard for models. in Data Science & ML →

A list compiling the most-cited deep-learning papers of 2012–2016; it is no longer maintained. in Data Science & ML →

A platform for sharing research outputs and datasets in citable form with DOIs. in Data Science & ML →

A dataset of fourteen million images labelled against the WordNet hierarchy. in Data Science & ML →

A site pairing machine-learning papers with their implementation code and benchmark tables. in Data Science & ML →

A registry of research-data repositories. in Data Science & ML →

One of the oldest archives for machine-learning research, home to classic small sets such as Iris and Adult. in Data Science & ML →

Uppsala University’s data programme on armed conflict and organised violence, keeping event-level records with coordinates. in Data Science & ML →

A CERN-backed open research repository that mints DOIs for datasets and software. in Data Science & ML →

A list of theory-basics papers on cryptography for non-cryptographers. in Offence, Defence & OSINT →

Cryptographer David Wong’s blog and notes on applied cryptography. in Offence, Defence & OSINT →

The official portal of the US Antarctic research programme, with material on field logistics and station operations. in Science & Academia →

TÜBİTAK’s open archive, hosting research data alongside publications. in Science & Academia →

Turkish science and philosophy writing. Unlike popular-science sites it does not stay shallow, and unlike academic… in Science & Academia →

A preprint archive of papers in physics, mathematics and computer science. in Science & Academia →

A list of tools and resources for analysing biological data (bioinformatics). in Science & Academia →

A list for community-based, non-institutional science (citizen science). in Science & Academia →

A list of projects and resources fighting climate change with technology. in Science & Academia →

A list of resources for computational approaches to biology problems. in Science & Academia →

A list of open-source healthcare software for facilities. in Science & Academia →

A list of packages, templates and tools for LaTeX, the scientific typesetting language. in Science & Academia →

A list of imaging software for analysing brain data from living subjects. in Science & Academia →

A list of computational resources for studying the nervous system and brain. in Science & Academia →

A resource list for Quarto, the scientific and technical open-source publishing system. in Science & Academia →

A list of tools and libraries for solving complex scientific problems by computer. in Science & Academia →

A list for the interplay of computer science and pure mathematics (theoretical CS). in Science & Academia →

A brief intro to LaTeX for beginners, in minutes. in Science & Academia →

National botanical database listing the scientific taxonomy, endemism status, and distribution maps of vascular plants… in Science & Academia →

Oral history interviews with the pioneers of computing, plus a lecture archive. in Science & Academia →

A tool that starts from one paper and builds a visual graph of related work. in Science & Academia →

A high-resolution historical map archive. in Science & Academia →

The open bibliography database of computer science publications, with tidy author pages and conference volumes. in Science & Academia →

The open-access platform for Turkish academic journals, hosting over a thousand titles — the primary source for Turkish… in Science & Academia →

The persistent identifier system for scholarly work. in Science & Academia →

A Turkish compilation of famous thought experiments in philosophy of mind — the Chinese Room, zombies, Mary’s room. in Science & Academia →

The standard catalogue of world languages with systematic speaker counts and vitality ratings, and the registration authority for ISO 639-3 codes. in Science & Academia →

A harvester searching Turkey’s institutional academic archives from one place. in Science & Academia →

Share nature observations and get species identified. in Science & Academia →

A learning platform mapping topics and their connections. in Science & Academia →

One of science’s most prestigious peer-reviewed journals, carrying news and research together. in Science & Academia →

A historical inventory of settlement names in and around Turkey. in Science & Academia →

Searches language resources across scattered institutional archives from one place. in Science & Academia →

A community uniting language resource archives under a shared metadata standard. in Science & Academia →

An open catalogue of scholarly works, authors, institutions and journals; all the data is CC0 and queryable through a free API. in Science & Academia →

A Rice University project offering university textbooks free and openly licensed. in Science & Academia →

Oxford University Press’s journal platform, one of the major publisher archives. in Science & Academia →

An AI-powered academic search engine. Unlike Google Scholar it summarises a paper, distinguishes influential citations and extracts links semantically. in Science & Academia →

The official table of unit prefixes, including recent additions like ronna and quetta. in Science & Academia →

Official reference server by the Turkish Ministry of Health publishing standardized ICD-10 diagnosis, drug, and… in Science & Academia →

An EUROCONTROL-backed aviation safety knowledge base of accident analyses, human factors and safety management systems. in Science & Academia →

Browses sky survey data by position, letting you overlay telescope imagery and compare across wavelengths. in Science & Academia →

Shows the real sky for your location in the browser, with time you can wind forward to see planetary positions. in Science & Academia →

Biodiversity archive indexing butterfly species of Turkey with field photography, flight periods, and province-level… in Science & Academia →

Turkish ornithology and citizen-science archive documenting bird species across Turkey with field photos, audio calls… in Science & Academia →

Turkey’s government scholarship programme for international students at bachelor’s, master’s and doctoral level… in Science & Academia →

Explores Wikipedia’s link network as a graph. in Science & Academia →

A computational knowledge engine that integrates, converts units and compares data. in Science & Academia →

Placement data for Turkish undergraduate and associate programmes: base scores and ranks, quotas, which provinces and… in Science & Academia →

Statistics from the Council of Higher Education’s information system: student and academic-staff counts by university, faculty and programme. in Science & Academia →

An open-source reference manager: its browser connector saves the citation and PDF from an article page in one click… in Science & Academia →

Olympiad-level competition-math courses and a forum community. in Mathematics →

A set of essays explaining maths by intuition rather than memorisation — exponentials, Euler’s formula, calculus. in Mathematics →

An EMS/Springer-backed maths wiki of authoritative survey articles. in Mathematics →

A free UBC text building linear algebra from the ground up. in Mathematics →

An approachable graduate-maths blog that builds intuition for abstract topics. in Mathematics →

A high-rigour question-and-answer site for research mathematicians. in Mathematics →

An MIT course gathering the discrete mathematics a computer scientist needs — logic, counting, graphs, probability — in one place. in Mathematics →

The Online Encyclopedia of Integer Sequences — look any sequence up by its terms. in Mathematics →

A free, open textbook for introductory statistics, covering data, inference and regression by example. in Mathematics →

A collaborative maths database holding proofs, not just statements. in Mathematics →

An extensive, rigorous and cross-linked mathematics encyclopedia. in Mathematics →

Microsoft’s early quantum simulation platform. in Quantum Computing →

A long-running community wiki and resource directory on quantum computing and information. in Quantum Computing →

A comprehensive, annotated and cited catalogue of known quantum algorithms. in Quantum Computing →

The candid blog of a leading figure in quantum complexity theory. in Quantum Computing →

A browser-based laboratory for designing and simulating quantum optics experiments. in Quantum Computing →

The Harvard Growth Lab’s atlas visualising a country’s export structure and economic complexity. in Economics →

The central bank of central banks, publishing global financial statistics and research papers. in Economics →

A platform managing academic economics job applications in one place, collecting applications and reference letters. in Economics →

A library holding an economics encyclopedia, essays and full texts of classic economics works. in Economics →

One of the largest databases of economics publications — over two million papers, working papers and software items. in Economics →

A panel where leading economists vote whether they agree with topical policy questions. in Economics →

Quarterly magazine published by the IMF featuring essays from economists and policymakers on monetary policy, financial… in Economics →

The American Economic Association’s official job board — the central place for the academic economics market. in Economics →

Tyler Cowen and Alex Tabarrok’s daily economics blog — among the most-read in the field. in Economics →

Free economics education platform founded by Tyler Cowen and Alex Tabarrok covering micro, macro, trade, and… in Economics →

Over 100 courses across every major field of economics in MIT’s open courseware. in Economics →

Datasets released by NBER researchers: macroeconomic history, CPS extracts, patent data. in Economics →

Working papers from the US National Bureau of Economic Research — most later appear in peer-reviewed journals. in Economics →

A free, openly licensed textbook for introductory university economics. in Economics →

A university-backed research publication presenting long-run data on the economy, population, health and environment as interactive charts. in Economics →

A network of services for economics researchers: bibliography, working-paper feeds, blog aggregator. in Economics →

A preprint archive of economics working papers. in Economics →

A stream of columns where researchers explain their own work to a policy audience (CEPR). in Economics →

Data-driven articles by World Bank economists on global development, poverty, climate policy, and trade; distills… in Economics →

The nine-page paper that introduced Bitcoin. in Finance, Markets & Crypto →

Valuation professor Aswath Damodaran’s writing, plus his free datasets — industry margins, cost of capital — updated each January. in Finance, Markets & Crypto →

An archive examining modern architecture classics in depth with drawings, plans and context. in Architecture & Building →

A reference magazine focused on construction detail and building solutions. in Architecture & Building →

The open courseware of MIT’s architecture department — from design studio to building technology. in Architecture & Building →

The Royal Institute of British Architects’ site — professional standards, education and resources. in Architecture & Building →

A long-standing British journal treating architecture with critical and theoretical depth. in Architecture & Building →

Karpathy's tool for searching, tagging and recommending arXiv papers; open source. in Learning & Roadmaps →

Supplementary learning resources for science, technology, engineering, arts and maths. in Learning & Roadmaps →

The UK’s chartered professional body for IT, which certifies and also accredits university programmes. in Learning & Roadmaps →

The classic collection of step-by-step animations for data structures and algorithms, from red-black trees to Dijkstra. in Learning & Roadmaps →

A research journal explaining machine-learning ideas through interactive visuals. in Learning & Roadmaps →

The archive of technical talks given at Google, many by the founding figures of their fields. in Learning & Roadmaps →

MIT’s open archive for electrical engineering and computer science — the source of its algorithms, operating systems and compilers courses. in Learning & Roadmaps →

The whole of Stanford’s introduction to programming — lectures, assignments and exams. in Learning & Roadmaps →

An archive of Turkish computer engineering lecture notes and term explanations. in Learning & Roadmaps →

Mathematical problems where brute force does not finish; solutions need number theory or combinatorial insight. in Practice & Challenges →

Gwern Branwen's personal archive and digital garden of very long, heavily sourced essays on AI, psychology, statistics and internet history. in Free Books & Long Reads →

The archive of Knuth’s idea of writing code interwoven with prose. in Free Books & Long Reads →

The central archive of TeX and LaTeX packages: each package’s documentation, version, licence and maintenance status on one page. in Cheat Sheets & Quick Reference →

A collaborative LaTeX editor in the browser; compilation runs on the server and thousands of journal and thesis templates are ready. in Editors, IDEs & Terminals →

A new typesetting language meant as an alternative to LaTeX, and its online editor; the compiler is open source (Rust)… in Editors, IDEs & Terminals →

One of the largest aggregators gathering the world’s open-access research papers in one place. in Open Access & Archives →

The digital preservation community's shared portal for file formats, tools and resources, with format data compiled… in Open Access & Archives →

A directory of peer-reviewed open-access academic books, linking out to publishers or repositories such as OAPEN. in Open Access & Archives →

A vetted directory of peer-reviewed open-access journals — legal and free. in Open Access & Archives →

A free platform compiling university-level open textbooks subject by subject. in Open Access & Archives →

Liberty Fund's open library offering classic works on liberty, economics and political philosophy (Locke, Smith, Mill…) for free. in Open Access & Archives →

Creates permanent archived copies of cited links to stop link rot; library-backed. in Open Access & Archives →

Real-time status monitor tracking official working domains and uptime statistics for shadow libraries like Anna's… in Open Access & Archives →

A tool and browser extension that finds legal open-access copies of paywalled papers. in Open Access & Archives →

A controversial repository providing access to paywalled academic papers. in Piracy →