https://github.com/calvin-l/homebrew-tap

My homebrew tap with miscellaneous things
https://github.com/calvin-l/homebrew-tap

Last synced: 23 days ago
JSON representation

My homebrew tap with miscellaneous things

• Host: GitHub
• URL: https://github.com/calvin-l/homebrew-tap
• Owner: Calvin-L
• License: mit
• Created: 2022-05-15T21:28:13.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2024-04-26T22:06:56.000Z (8 months ago)
• Last Synced: 2024-10-16T08:10:43.454Z (2 months ago)
• Language: Ruby
• Size: 150 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Calvin's Homebrew Tap

Miscellaneous Homebrew packages.

Grab this tap by running

    brew tap calvin-l/tap

## Important Packages

 - [tlatools](https://lamport.azurewebsites.net/tla/tla.html), command-line

   tools for working with TLA+

 - [tlaps](https://tla.msr-inria.inria.fr/tlaps/content/Home.html), the TLA+

   proof system (plus its various obscure dependencies like

   [zenon](https://github.com/zenon-prover/zenon),

   [isabelle@2011-1](https://isabelle.in.tum.de/website-Isabelle2011-1/),

   and [ls4](https://github.com/quickbeam123/ls4))

 - [cvc5](https://cvc5.github.io/), an SMT solver

 - [nix](https://nixos.org/), a package manager (this is for bootstrapping Nix

   only; you'll want to install Nix with Nix and then uninstall this)

 - [coqhammer](https://coqhammer.github.io/), a very powerful Coq tactics

   library

 - [compcert](https://compcert.org/), a formally-verified C compiler (NOTE:

   CompCert is _not_ distributed under a permissive open-source license; it

   is [only free for non-commercial use](https://github.com/AbsInt/CompCert/blob/v3.13/LICENSE))

Also, some of my own projects:

 - [ezpsl](https://github.com/Calvin-L/ezpsl), a system modeling language

 - [retry-forever](https://github.com/Calvin-L/retry-forever)

 - [many-smt](https://github.com/Calvin-L/many-smt), an SMT solver wrapper

 - [caltac](https://github.com/Calvin-L/caltac), a set of simple Coq tactics

## Notes

I'm sort of paranoid about versioning, so the packages here are versioned

(except my own projects which are poorly-maintained), and I only add new

versions, never upgrade-in-place.  The unversioned names (e.g. `tlatools`) are

aliases for the latest version.

This does mean that sometimes you'll have to uninstall/reinstall a package to

update to the latest version, but your environment will be much more stable in

the meantime.