Equilibris
Follow
-
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedAug 12, 2025 -
-
-
-
-
formalising-mathematics-2024 Public
Forked from ImperialCollegeLondon/formalising-mathematics-2024Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
Lean Apache License 2.0 UpdatedAug 7, 2024 -
nx.nvim Public
A simple tool providing the same features as the NX console does for vs-code
-
-
-
-
-
-
nx-cargo Public
Forked from nxrs/cargo@nrwl/nx plugin adding support for Rust.
TypeScript MIT License UpdatedAug 14, 2023 -
litrs Public
Forked from LukasKalbertodt/litrsParsing and inspecting Rust literals (particularly useful for proc macros)
Rust Apache License 2.0 UpdatedJul 12, 2023 -
reference Public
Forked from rust-lang/referenceThe Rust Reference
Rust Apache License 2.0 UpdatedJul 4, 2023 -
nvim-cokeline Public
Forked from willothy/nvim-cokeline👃 A Neovim bufferline for people with addictive personalities
Lua MIT License UpdatedJun 29, 2023 -
-
-
-
-
-
-
-
-
-
-
-
serde Public
Forked from serde-rs/serdeSerialization framework for Rust
Rust Apache License 2.0 UpdatedDec 18, 2022 -
nvim-lsp-installer Public
Forked from williamboman/nvim-lsp-installerNeovim plugin that allow you to seamlessly manage LSP servers with :LspInstall. With full Windows support! Further development has moved to https://github.com/williamboman/mason.nvim!
Lua Apache License 2.0 UpdatedAug 17, 2022