-
neovim Public
Forked from neovim/neovimVim-fork focused on extensibility and usability
Vim Script Other UpdatedDec 19, 2025 -
vimtex Public
Forked from lervag/vimtexVimTeX: A modern Vim and neovim filetype plugin for LaTeX files.
TeX MIT License UpdatedDec 8, 2025 -
The official Vim repository
Vim Script Vim License UpdatedDec 8, 2025 -
typst Public
Forked from typst/typstA new markup-based typesetting system that is powerful and easy to learn.
Rust Apache License 2.0 UpdatedDec 8, 2025 -
helix Public
Forked from helix-editor/helixA post-modern modal text editor.
Rust Mozilla Public License 2.0 UpdatedDec 8, 2025 -
-
briss_2_0 Public
Forked from mbaeuerle/Briss-2.0Briss 2.0 is intended to be a GUI Update for the Briss PDF cropping tool.
Java GNU General Public License v3.0 UpdatedDec 6, 2025 -
A textbook on informal homotopy type theory
TeX UpdatedNov 30, 2025 -
LazyVim Public
Forked from LazyVim/LazyVimNeovim config for the lazy
Lua Apache License 2.0 UpdatedNov 19, 2025 -
lazy.nvim Public
Forked from folke/lazy.nvim💤 A modern plugin manager for Neovim
Lua Apache License 2.0 UpdatedNov 19, 2025 -
tokyonight.nvim Public
Forked from folke/tokyonight.nvim🏙 A clean, dark Neovim theme written in Lua, with support for lsp, treesitter and lots of plugins. Includes additional themes for Kitty, Alacritty, iTerm and Fish.
Lua Apache License 2.0 UpdatedNov 17, 2025 -
stacks-project Public
Forked from stacks/stacks-projectRepository for the Stacks Project
TeX Other UpdatedNov 17, 2025 -
rzk Public
Forked from rzk-lang/rzkAn experimental proof assistant based on a type theory for synthetic ∞-categories.
Haskell UpdatedNov 17, 2025 -
LuaSnip Public
Forked from L3MON4D3/LuaSnipSnippet Engine for Neovim written in Lua.
Lua Apache License 2.0 UpdatedNov 17, 2025 -
starter Public template
Forked from LazyVim/starterStarter template for LazyVim
Lua Apache License 2.0 UpdatedOct 20, 2025 -
quiver Public
Forked from varkor/quiverA modern commutative diagram editor for the web.
JavaScript MIT License UpdatedOct 20, 2025 -
the-clowder-project Public
Forked from The-Clowder-Project/the-clowder-projectThis is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general
TeX Other UpdatedAug 11, 2025 -
-
-
categories2024ex Public
Categoríes 2024 Ejercicios
-
{{ message }}