transpiler written in bash: painless shellscript, indentbased, coffee for the shell with hipster-sparkles v1 BETA LANDED 🎉🎉🎉🎉 thanks fcard!
- coffeescript
- bash
- transpiler
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
Fork of LuaCrypto, which enables encryption and decryption through OpenSSL
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]