elan
Version manager
A tool for managing Lean theorem prover installations and versions.
The Lean version manager
325 stars
15 watching
36 forks
Language: Rust
last commit: 2 months ago
Linked from 1 awesome list
bernardoduarte/awesome-version-managersRelated projects:
| Repository | Description | Stars |
|---|---|---|
 ekalinin/pbvm | A tool to manage and switch between different versions of the Protocol Buffers compiler | 3 |
 beeequeue/nvm-rust | A cross-platform Node.js version manager implemented in Rust. | 22 |
 kylef/swiftenv | A tool to manage different versions of the Swift programming language | 1,982 |
 markchalloner/git-semver | A plugin for managing version numbers in Git using the Semantic Versioning scheme | 382 |
 askagirl/exenv-1 | A tool to manage Elixir versions and environments. | 0 |
 alloy-rs/svm-rs | A utility for managing different compiler versions used in software development | 258 |
 splitties/refreshversions | A tool to simplify dependency management and version updates in Gradle projects | 1,660 |
 mordechaihadad/bob | A version manager for Neovim that simplifies the process of installing and switching between different versions. | 1,481 |
 mpanarin/versioce | Automates versioning and changelog generation for software projects | 30 |
 lucascaro/denoversion | A tool to help manage and bump release versions in a project | 7 |
 gvcgo/version-manager | A cross-platform version manager for multiple programming languages and tools | 880 |
 pmargreff/juliavm | A tool to manage multiple Julia environments and versions. | 46 |
 vector-of-bool/semver | A C++ library for managing and manipulating semantic versioning information | 11 |
 aquaproj/aqua | A tool that helps manage different versions of software tools across projects and teams | 925 |
 gabrielrobert/xavtool | Automates version updates for mobile applications across multiple platforms using semantic versioning. | 35 |