Jing Guo's repositories
count-graph-homs
Count graph homomorphisms effortlessly in SageMath for fun! 🚀
100-exercises-to-learn-rust
A self-paced course to learn Rust, one exercise at a time.
awesome-advent-of-code
A collection of awesome resources related to the yearly Advent of Code challenge.
awesome-cl
A curated list of awesome Common Lisp frameworks, libraries and other shiny stuff.
awesome-cl-software
List of awesome application software built with Common Lisp
awesome-lisp-companies
Awesome Lisp Companies
company-coq
A Coq IDE build on top of Proof General's Coq mode
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
kickstart.nvim
A launch point for your personal nvim configuration
learn4haskell
👩🏫 👨🏫 Learn Haskell basics in 4 pull requests
rustlings-solution
:crab: Small exercises to get you used to reading and writing Rust code!