|
Python |
3 |
Javascript build system and package manager |
Feb 26, 2023 |
|
Go |
179 |
Purely functional build system and package manager |
Apr 27, 2023 |
|
Python |
49 |
Open source meta build system and package manager |
Jun 14, 2022 |
|
D |
3 |
package manager and build system for all programming languages |
Feb 09, 2023 |
|
Scheme |
4 |
My configuration for Guix package manager and Guix System Distribution |
Dec 15, 2022 |
|
Shell |
2 |
Dotfiles and package manager configuration |
Jan 10, 2023 |
|
Python |
10 |
Central system and configuration manager |
Jul 19, 2022 |
|
Python |
11 |
Central system and configuration manager |
Jul 11, 2021 |
|
Python |
3 |
Central system and configuration manager |
Jan 04, 2023 |
|
Python |
2 |
Central system and configuration manager |
Mar 08, 2021 |
|
Python |
2 |
Central system and configuration manager |
Sep 13, 2014 |
|
Python |
13 |
Project build blueprints for Craft — the meta build system and package manager |
Oct 09, 2022 |
|
Python |
715 |
An integrated package configuration, build and deployment system for software |
Aug 26, 2022 |
|
JavaScript |
133 |
.files and environment configuration manager created with node |
Mar 20, 2023 |
|
C++ |
94 |
Software Manager. Build System, Build System Generator and Package Manager. C/C++ and other languages. Tools … |
Aug 21, 2022 |
|
Nix |
2 |
Personal configuration with using Nix package manager |
Mar 31, 2023 |
|
Nix |
2 |
System configuration with Nix, NixOS, Home Manager and more. |
Jul 19, 2023 |
|
C++ |
9 |
Software build and configuration system |
Jun 12, 2021 |
|
Python |
10 |
Rez - An integrated package configuration, build and deployment system for software |
Jan 22, 2021 |
|
Makefile |
19 |
The most wrong build system and package manager for C and C++. |
Mar 20, 2023 |
|
Nix |
2 |
Home Manager configuration files |
Dec 25, 2023 |
|
C++ |
11 |
A Qt GUI interface and build system for QuantConnect's Lean |
Jun 21, 2022 |
|
Shell |
2 |
java dependency manager and build system |
Sep 29, 2013 |
|
Zig |
545 |
A Zig package manager with an index, build runner, and build dependencies. |
May 12, 2023 |
|
PHP |
23 |
Microsoft System Center Configuration Manager |
Jun 12, 2022 |
|
Vim script |
10 |
System configuration files |
Oct 25, 2021 |
|
Shell |
3 |
system configuration files |
Feb 10, 2023 |
|
Emacs Lisp |
5 |
System configuration files. |
Mar 05, 2023 |
|
Shell |
2 |
System configuration files |
Nov 22, 2022 |
|
Shell |
10 |
System Configuration files |
May 06, 2023 |
|
Ada |
5 |
Ini file manager: a standalone, portable Ada package for configuration files |
Jul 12, 2022 |
|
C++ |
962 |
A low-level build system, used by Xcode and the Swift Package Manager |
Aug 11, 2022 |
|
Python |
2 |
embedded system package manager |
Jul 19, 2020 |
|
Lean |
4 |
Proofs of Cantor's Theorems in Lean 3, which consequently prove that there are infinitely many … |
May 27, 2022 |
|
Lean |
4 |
None |
Dec 15, 2021 |
|
Lean |
4 |
Tutorial to use Lean for theorem proving |
Apr 21, 2022 |
|
Lean |
4 |
Implementation of different type theories in Lean4 |
Jun 04, 2022 |
|
Lean |
4 |
Condensed mathematics in Lean |
Aug 15, 2021 |
|
Lean |
4 |
Some advanced undergrad group theory in Lean |
May 16, 2021 |
|
Lean |
4 |
Lean notes for Imperial course P11 : Galois Theory |
May 16, 2021 |
|
Lean |
4 |
lean proofs of math135 |
May 26, 2021 |
|
Lean |
4 |
Subtasks algorithm for Lean |
Jun 02, 2022 |
|
Lean |
4 |
C0 specification and verified compiler in Lean |
Jun 26, 2022 |
|
Lean |
4 |
None |
May 29, 2022 |
|
Lean |
5 |
Group Cohomology |
Dec 01, 2020 |
|
Lean |
5 |
Ellen's dots and boxes project |
Dec 30, 2020 |
|
Lean |
5 |
M1F 2018-19 example sheets in Lean |
Jul 14, 2021 |
|
Lean |
5 |
Supplemental material for the "Beyond Notations" paper |
Nov 25, 2021 |
|
Lean |
5 |
Implementation of Gowers & Ganesalingam theorem prover in Lean |
Dec 20, 2021 |
|
Lean |
6 |
None |
Feb 23, 2022 |