sicr0

Pinned Repositories

ohmyzsh
🙃 A delightful community-driven (with 1900+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
Language:Shell0 0 00
OSX-KVM
Run macOS on QEMU/KVM. With OpenCore + Big Sur support now! Only commercial (paid) support is available.
Language:Python0 0 00
plfa
Example code and exercise solutions for plfa.github.io
Language:Agda0 0 00
trade
Converting gen_fsm to gen_statem in Learn You Some Erlang For Great Good
Language:Erlang2 1 01

sicr0's Repositories

sicr0/trade
Converting gen_fsm to gen_statem in Learn You Some Erlang For Great Good
Language:Erlang2 1 01
sicr0/ohmyzsh
🙃 A delightful community-driven (with 1900+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
Language:Shell0 0 00
sicr0/OSX-KVM
Run macOS on QEMU/KVM. With OpenCore + Big Sur support now! Only commercial (paid) support is available.
Language:Python0 0 00
sicr0/plfa
Example code and exercise solutions for plfa.github.io
Language:Agda0 0 00