Elliot Zhang
Results
2
repositories owned by
Elliot Zhang
github-copilot-cli.fish
68
Stars
5
Forks
68
Watchers
Make GitHub Copilot CLI's alias work for Fish shell
pysat
18
Stars
6
Forks
18
Watchers
Simple SAT solver with CDCL implemented in Python