Popular repositories Loading

1. trade trade Public

   Converting gen_fsm to gen_statem in Learn You Some Erlang For Great Good

   Erlang 2 1

2. OSX-KVM OSX-KVM Public

   Forked from kholia/OSX-KVM

   Run macOS on QEMU/KVM. With OpenCore + Big Sur support now! Only commercial (paid) support is available.

   Python

3. ohmyzsh ohmyzsh Public

   Forked from ohmyzsh/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,…

   Shell

4. plfa plfa Public

   Forked from billyang98/plfa

   Example code and exercise solutions for plfa.github.io

   Agda