lean-gptf
super
Our great sponsors
lean-gptf | super | |
---|---|---|
1 | 21 | |
103 | 569 | |
- | - | |
0.0 | 7.3 | |
about 2 years ago | 8 days ago | |
Lean | Shell | |
Apache License 2.0 | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
lean-gptf
-
Mathematicians welcome computer-assisted proof in ‘grand unification’ theory
no-one uses these in Lean. Closest thing we have to automated theorem proving that is in actual use is Lean-GPTF
super
- Best way to roll out Ventura 13.4?
- Scheduled shutdown with user-friendly warning via shell script - Need some guidance
- Frustrations with macOS Updates
-
macOS Content Caching "Server" (Mac mini M1) - Schedule Software Updates
I believe would have you use remote commands nowadays, but super can be used without an MDM.
- Methods to allow standard users permission to update macOS?
-
Anyone got much experience with the Nudge app?
This doesn't exactly help you, but I tried Nudge and just wasn't a huge fan of it. Imo, SUPER is a better option and is capable of silently installing updates itself. Worth a look - https://github.com/Macjutsu/super
- Update macOS (Monterey > Ventura) with "standard" user account (no admins)
-
MacSysAdmins, with your support and feedback, I’ve updated SudoAI to better support us
May want to reconsider the name "Super" since there's already a Mac utility using that name.
-
Attempting to automate macOS software updates. Ansible is hanging
Superman is here: https://github.com/Macjutsu/super
- macOS update schedule
What are some alternatives?
super - Superposition prover
nudge - A tool for encouraging the installation of macOS security updates.
erase-install - A script that automates downloading macOS installers, and optionally erasing or upgrading macOS in a single process. Watch the video!
SplashBuddy - Onboarding splash screen for MDM and Automated Device Enrollment.
codeigniter4-patches - Automated project updates for CodeIgniter 4
ProfileManifestsMirror - Jamf JSON schema manifests automatically generated from ProfileCreator manifests (https://github.com/ProfileCreator/ProfileManifests)
KeepingYouAwake - Prevents your Mac from going to sleep.
quickpkg - wrapper for pkgbuild to quickly build simple packages from an installed app, a dmg or zip archive.
EncryptedStrings - Generate encrypted strings for use in policy script parameters.
Jamf_things - A collection of macOS and Jamf related support information and scripts
Startosinstall-Ventura
amazon-ec2-mac-mdm-enrollment-automation - enroll-ec2-mac is a script to automatically enroll Amazon EC2 Mac instances into MDM. API calls for Jamf Pro are included, as are templates for credential setup.