SpectralSequences/sseq external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

SpectralSequences/sseq

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/SpectralSequences/sseq)

Close

SpectralSequences / sseqView on GitHubMore

• External links
• Readme badge

The root repository for the SpectralSequences project.

☆32Feb 12, 2026Updated 2 weeks ago

Alternatives and similar repositories for sseq

Users that are interested in sseq are comparing it to the libraries listed below

• thosgood / hodge-theory

  View on GitHub
  An English translation of Deligne's three "Hodge theory" papers
  ☆15Feb 7, 2026Updated 3 weeks ago
• felixwellen / synthetic-geometry

  View on GitHub
  Synthetic geometry. Probably mostly algebraic geometry.
  ☆26Jan 22, 2024Updated 2 years ago
• maxdore / csolver

  View on GitHub
  ☆16Aug 2, 2023Updated 2 years ago
• astrainfinita / transcendental

  View on GitHub
  Lindemann–Weierstrass Theorem
  ☆12May 4, 2024Updated last year
• YnirPaz / PCF-Theory

  View on GitHub
  A formalization of PCF theory in lean
  ☆12Apr 5, 2025Updated 10 months ago
• ericfinster / opetopic-types

  View on GitHub
  Higher Algebra with Opetopic Types
  ☆16Mar 30, 2023Updated 2 years ago
• uemurax / synthetic-topos-theory

  View on GitHub
  ☆15Oct 31, 2023Updated 2 years ago
• rahulc29 / realizability

  View on GitHub
  Experiments with Realizability in Univalent Type Theory
  ☆19Oct 21, 2024Updated last year
• uemurax / morg

  View on GitHub
  Organize mathematical thoughts
  ☆21Oct 6, 2023Updated 2 years ago
• TOTBWF / agda-sgd

  View on GitHub
  Experiments in Synthetic Differential Geometry
  ☆16Jul 1, 2021Updated 4 years ago
• varkor / tangle

  View on GitHub
  A modern string diagram editor for the web.
  ☆26Apr 22, 2025Updated 10 months ago
• FlorianAdler / inftyCats

  View on GitHub
  ☆14Sep 7, 2025Updated 5 months ago
• zmwangx / Typeset-EGA-SGA

  View on GitHub
  Typeset version of EGA and SGA by Grothendieck.
  ☆12Jan 28, 2014Updated 12 years ago
• mvr / at

  View on GitHub
  Effective Algebraic Topology in Haskell
  ☆92Sep 13, 2024Updated last year
• rzk-lang / hottbook

  View on GitHub
  HoTT Book formalisations in Rzk.
  ☆20Dec 15, 2023Updated 2 years ago
• CMU-HoTT / serre-finiteness

  View on GitHub
  ☆25Jan 28, 2026Updated last month
• Trebor-Huang / vscode-forester

  View on GitHub
  VSCode support for Forester
  ☆22Nov 17, 2025Updated 3 months ago
• arthuraa / agda-hoas-demo

  View on GitHub
  Experiments with higher-order abstract syntax in Agda
  ☆22Jul 14, 2022Updated 3 years ago
• ahadziha / rewalt

  View on GitHub
  A toolkit for higher-dimensional diagram rewriting.
  ☆18Sep 15, 2022Updated 3 years ago
• ecavallo / equivariant-cartesian

  View on GitHub
  formalization of an equivariant cartesian cubical set model of type theory
  ☆21Jan 3, 2025Updated last year
• TOTBWF / teenytt

  View on GitHub
  A Teeny Type Theory
  ☆27Jun 4, 2022Updated 3 years ago
• maxsnew / grammars-and-semantic-actions

  View on GitHub
  Intrinsic Verification of Formal Grammar Theory
  ☆27Nov 22, 2025Updated 3 months ago
• brendanzab / lean-holes

  View on GitHub
  Interactive holes for Lean 4
  ☆22Apr 19, 2024Updated last year
• jonsterling / latex-dieudonne

  View on GitHub
  A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.
  ☆19May 1, 2021Updated 4 years ago
• zydeco-lang / fiddle

  View on GitHub
  A dynamically-typed CBPV language embedded in Racket
  ☆40Mar 6, 2024Updated last year
• calcu16 / lean_complexity

  View on GitHub
  Complexity analysis in Lean
  ☆10Feb 5, 2024Updated 2 years ago
• FormalizedFormalLogic / Arithmetization

  View on GitHub
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆13Mar 8, 2025Updated 11 months ago
• dspivak / dependent-types

  View on GitHub
  ☆12Mar 13, 2025Updated 11 months ago
• paolobrasolin / string-diagrams

  View on GitHub
  Create string diagrams with LaTeX!
  ☆14Jan 3, 2025Updated last year
• kentookura / forest-server

  View on GitHub
  A server for the forester tool
  ☆17Dec 10, 2024Updated last year
• RyanGibb / eon

  View on GitHub
  Effects-based OCaml Nameserver
  ☆39Dec 3, 2025Updated 2 months ago
• zanzix / idris-neural-net

  View on GitHub
  An implementation of a simple Neural network in Idris using category theory.
  ☆24Sep 18, 2024Updated last year
• dignissimus / Untangle

  View on GitHub
  Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4
  ☆29Jun 27, 2024Updated last year
• AndrasKovacs / thesis

  View on GitHub
  my phd thesis
  ☆26Aug 7, 2024Updated last year
• alissa-tung / glean

  View on GitHub
  ☆28Jun 4, 2025Updated 8 months ago
• dannypsnl / minic

  View on GitHub
  Minimalist compiler course, based on Essential of Compilation
  ☆11Dec 15, 2025Updated 2 months ago
• kckennylau / local-langlands-abelian

  View on GitHub
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆12Dec 18, 2018Updated 7 years ago
• edwinb / SchemeEval

  View on GitHub
  Experimental normalisation via scheme
  ☆12Jul 25, 2021Updated 4 years ago
• niccoloveltri / final-pfin

  View on GitHub
  ☆12Jan 25, 2022Updated 4 years ago