-
kickstart.nvim Public
Forked from nvim-lua/kickstart.nvimmy nvim configuration
-
-
editable-telescope.nvim Public
Telescope pickers with editable roots and args
-
cmake-tools.nvim Public
Forked from Civitasv/cmake-tools.nvimCMake integration in Neovim
Lua GNU General Public License v3.0 UpdatedJun 19, 2026 -
cmake-template Public template
Quick to start template for c++/cmake projects (uses googletest)
CMake MIT License UpdatedFeb 6, 2026 -
dbl Public
Forked from fram-lang/dblAn experimental programming language that combines effect handlers and implicit parameters
-
excalead Public
Forked from Excalead/excaleadSmart contracts audit with AI + Formal Verification for Solana
Rust UpdatedNov 13, 2025 -
-
poly-simpl Public
Coq learning project in which i design polynomial simplification function and prove its correctness and cannonality*.
Rocq Prover MIT License UpdatedSep 25, 2025 -
apidocs.nvim Public
Forked from emmanueltouzery/apidocs.nvimneovim apidocs browser
Lua MIT License UpdatedAug 27, 2025 -
mason-registry Public
Forked from mason-org/mason-registryCore registry for mason.nvim.
Apache License 2.0 UpdatedJul 9, 2025 -
OpenBoard Public
Forked from OpenBoard-org/OpenBoardOpenBoard is a cross-platform interactive whiteboard application intended for use in a classroom setting.
C++ GNU General Public License v3.0 UpdatedJun 18, 2025 -
coq-lsp Public
Forked from rocq-community/rocq-lspVisual Studio Code Extension and Language Server Protocol for Coq
OCaml GNU Lesser General Public License v2.1 UpdatedFeb 27, 2025 -
FiremanProblemEAProject Public
Forked from Kubapatoka/FiremanProblemEAProjectRepository for the project for the Evolutionary Algorithms course, 2024/2025 edition
Python UpdatedFeb 10, 2025 -
The uncompromising Python code formatter (with 2 spaces)
Python MIT License UpdatedFeb 2, 2025 -
friendly-snippets Public
Forked from rafamadriz/friendly-snippetsSet of preconfigured snippets for different languages.
Lua MIT License UpdatedJan 21, 2025 -
nvim-notify Public
Forked from rcarriga/nvim-notifyA fancy, configurable, notification manager for NeoVim
Lua MIT License UpdatedDec 15, 2024 -
go-back.nvim Public
plugin for keeping history of visited files in vim
Lua MIT License UpdatedSep 18, 2024 -
-
nvim-lspconfig Public
Forked from neovim/nvim-lspconfigQuickstart configs for Nvim LSP (working version)
Lua Apache License 2.0 UpdatedMay 20, 2024 -
nvim-dap-ui Public
Forked from rcarriga/nvim-dap-uiA UI for working version
Lua MIT License UpdatedMay 20, 2024 -
-
type-systems-notes Public
Forked from ppolesiuk/type-systems-notesLecture notes for the Type Systems course given in Autumn 2023
TeX Creative Commons Attribution 4.0 International UpdatedDec 5, 2023 -
-
-
-
cmake-init Public
Forked from friendlyanon/cmake-initThe missing CMake project initializer
CMake GNU General Public License v3.0 UpdatedApr 28, 2023 -
Weppo-sklep Public
Repozytorium do projektu na weppo - sklep internetowy
TypeScript MIT License UpdatedFeb 14, 2023 -
reading Public
Forked from amilajack/readingA list of computer-science readings I recommend
MIT License UpdatedAug 30, 2022 -
{{ message }}