- Aachen
-
bincode Public
Forked from bincode-org/bincodeA binary encoder / decoder implementation in Rust.
-
rust-grb Public
Forked from ykrist/rust-grbRust library bindings to the Gurobi optimiser.
Rust MIT License UpdatedApr 2, 2025 -
rustaceanvim Public
Forked from mrcjkb/rustaceanvim🦀 Supercharge your Rust experience in Neovim! A heavily modified fork of rust-tools.nvim
Lua GNU General Public License v2.0 UpdatedMar 31, 2025 -
flamegraph Public
Forked from flamegraph-rs/flamegraphEasy flamegraphs for Rust projects and everything else, without Perl or pipes <3
Rust Apache License 2.0 UpdatedMar 12, 2025 -
spork Public
Forked from ASSERT-KTH/sporkAST-based structured merge tool for Java, fully Git compatible https://doi.org/10.1109/TSE.2022.3143766
Java MIT License UpdatedFeb 25, 2025 -
imara-diff Public
Forked from pascalkuthe/imara-diffReliably performant diffing
Rust Apache License 2.0 UpdatedFeb 20, 2025 -
-
blog.rust-lang.org Public
Forked from rust-lang/blog.rust-lang.orgHome of the Rust and Inside Rust blogs
HTML Apache License 2.0 UpdatedJan 29, 2025 -
rzetterberg.github.io Public
Forked from rzetterberg/rzetterberg.github.ioHTML UpdatedJan 12, 2025 -
plasma-manager Public
Forked from nix-community/plasma-managerManage KDE Plasma with Home Manager
Nix MIT License UpdatedJan 10, 2025 -
LazyVim-fork Public
Forked from LazyVim/LazyVimNeovim config for the lazy
Lua Apache License 2.0 UpdatedDec 12, 2024 -
-
-
GlimpseOfLean Public
Forked from PatrickMassot/GlimpseOfLeanAn introduction to theorem proving in Lean for the impatient.
Lean Apache License 2.0 UpdatedNov 20, 2024 -
-
-
-
nixvim Public
Forked from nix-community/nixvimConfigure Neovim with Nix! [maintainer=@GaetanLepage, @traxys, @mattsturgeon]
Nix MIT License UpdatedSep 18, 2024 -
kickstart.nixvim Public template
Forked from JMartJonesy/kickstart.nixvimNix/Nixvim implementation of kickstart.nvim
Nix MIT License UpdatedSep 15, 2024 -
-
-
-