-
-
-
-
zed Public
Forked from zed-industries/zedCode at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Rust Other UpdatedJul 4, 2025 -
-
-
extensions Public
Forked from zed-industries/extensionsJust for pull requests
-
-
texpresso Public
Forked from let-def/texpressoModern C++ rewrite for personal learning of the newer specs
C++ MIT License UpdatedMay 22, 2025 -
texpresso-lsp Public
Thin nodeJS-based language server wrapping around TeXpresso
TypeScript UpdatedMay 4, 2025 -
-
-
-
mobius-stability-blog Public
Blog post talking about conformal mapping of Bridgeland stability conditions.
UpdatedMar 29, 2025 -
cratedocs-mcp Public
Forked from d6e/cratedocs-mcpAn MCP server for rust crate docs
Rust MIT License UpdatedMar 16, 2025 -
zed-docker-compose Public
Forked from eth0net/zed-docker-composeDocker Compose file support for Zed
Rust MIT License UpdatedMar 16, 2025 -
evince-synctex Public
Forked from latex-lsp/evince-synctexProvides a command-line-friendly SyncTeX integration for Evince
Python GNU General Public License v3.0 UpdatedMar 15, 2025 -
zed-latex-preview-diagnosis Public
Minimal template latex project with creates `texlab` logs when opening in Zed
Perl UpdatedMar 1, 2025 -
Blog post showcasing a use-case for the prototype paradigm
JavaScript UpdatedFeb 21, 2025 -
-
leptos Public
Forked from leptos-rs/leptosBuild fast web applications with Rust.
Rust MIT License UpdatedDec 27, 2024 -
-
sagemath-lsp Public
Experimenting with potential of language server for SageMath
UpdatedDec 3, 2024 -
tree-sitter-sage Public
Forked from tree-sitter/tree-sitter-pythonAttempt at minimal port of python grammar for tree-sitter to SageMath
JavaScript MIT License UpdatedDec 3, 2024 -
-
QuiverTools Public
Forked from QuiverTools/QuiverToolsA SageMath package to deal with quivers and moduli of quiver representations.
Python MIT License UpdatedJul 23, 2024 -
sagetex-blog Public
Thoughts on the ergonomics of using sagetex within a mathematical paper.
UpdatedJul 11, 2024 -
-
formal-2024 Public
Forked from glams-lean-2024/formal-2024Course repository for GlaMS - Formalising Mathematics in Lean (2024)
Lean Apache License 2.0 UpdatedMar 19, 2024 -
{{ message }}