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.

☆31Feb 28, 2026Updated 3 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 last month
• astrainfinita / transcendental

  View on GitHub
  Lindemann–Weierstrass Theorem
  ☆11May 4, 2024Updated last year
• maxdore / csolver

  View on GitHub
  ☆16Aug 2, 2023Updated 2 years ago
• TOTBWF / agda-sgd

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

  View on GitHub
  Effective Algebraic Topology in Haskell
  ☆91Sep 13, 2024Updated last year
• felixwellen / synthetic-geometry

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

  View on GitHub
  Experiments with Realizability in Univalent Type Theory
  ☆19Oct 21, 2024Updated last year
• 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
• ahadziha / rewalt

  View on GitHub
  A toolkit for higher-dimensional diagram rewriting.
  ☆19Sep 15, 2022Updated 3 years ago
• varkor / tangle

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

  View on GitHub
  Organize mathematical thoughts
  ☆20Oct 6, 2023Updated 2 years ago
• alissa-tung / glean

  View on GitHub
  ☆28Jun 4, 2025Updated 9 months ago
• SpectralSequences / latex

  View on GitHub
  Latex package to print spectral sequence diagrams using pgf/tikz.
  ☆11Jan 18, 2026Updated 2 months ago
• maxsnew / grammars-and-semantic-actions

  View on GitHub
  Intrinsic Verification of Formal Grammar Theory
  ☆27Nov 22, 2025Updated 4 months ago
• arthuraa / agda-hoas-demo

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

  View on GitHub
  ☆26Jan 28, 2026Updated last month
• TOTBWF / teenytt

  View on GitHub
  A Teeny Type Theory
  ☆27Jun 4, 2022Updated 3 years ago
• FlorianAdler / inftyCats

  View on GitHub
  ☆14Sep 7, 2025Updated 6 months ago
• ecavallo / equivariant-cartesian

  View on GitHub
  formalization of an equivariant cartesian cubical set model of type theory
  ☆21Jan 3, 2025Updated last year
• mroman42 / vitrea-prototype-1

  View on GitHub
  [WIP] Optics via the profunctor representation theorem
  ☆20Dec 18, 2019Updated 6 years ago
• zmwangx / Typeset-EGA-SGA

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

  View on GitHub
  an implementation of Observational Type Theory (OTT) and more
  ☆31Oct 15, 2022Updated 3 years ago
• zydeco-lang / fiddle

  View on GitHub
  A dynamically-typed CBPV language embedded in Racket
  ☆40Mar 6, 2024Updated 2 years ago
• AndrasKovacs / thesis

  View on GitHub
  my phd thesis
  ☆26Aug 7, 2024Updated last year
• YnirPaz / PCF-Theory

  View on GitHub
  A formalization of PCF theory in lean
  ☆12Apr 5, 2025Updated 11 months ago
• kangxyz / cubical-classics

  View on GitHub
  An attempt towards univalent classical mathematics in Cubical Agda.
  ☆32Sep 15, 2023Updated 2 years ago
• DavidJaz / Cohesion

  View on GitHub
  A personal library, formalizing cohesive homotopy type theory in Agda.
  ☆13Apr 30, 2019Updated 6 years ago
• kckennylau / local-langlands-abelian

  View on GitHub
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆12Dec 18, 2018Updated 7 years ago
• rzk-lang / hottbook

  View on GitHub
  HoTT Book formalisations in Rzk.
  ☆20Dec 15, 2023Updated 2 years ago
• AliasQli / tactics

  View on GitHub
  ☆16Mar 11, 2022Updated 4 years ago
• ecavallo / ptt

  View on GitHub
  Experimental type-checker for internally parametric type theory
  ☆32Mar 27, 2025Updated 11 months ago
• frenzymath / FATE

  View on GitHub
  The FATE (Formal Algebra Theorem Evaluation) benchmarks.
  ☆46Feb 23, 2026Updated 3 weeks ago
• Trebor-Huang / vscode-forester

  View on GitHub
  VSCode support for Forester
  ☆22Nov 17, 2025Updated 4 months ago
• tonyxty / hStacks

  View on GitHub
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Oct 10, 2020Updated 5 years ago
• JohnReppy / compiling-pattern-guards

  View on GitHub
  Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"
  ☆25Jul 26, 2022Updated 3 years ago
• logsem / mitten_preorder

  View on GitHub
  ☆32Apr 17, 2023Updated 2 years ago
• maxsnew / virtual-equipments

  View on GitHub
  Syntax for Virtual Equipments: a natural syntax for doing synthetic and internal category theory
  ☆32Apr 29, 2023Updated 2 years ago
• RyanGibb / eon

  View on GitHub
  Effects-based OCaml Nameserver
  ☆40Dec 3, 2025Updated 3 months ago