Jing Guo's repositories
kickstart.nvim
A launch point for your personal nvim configuration
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.
sage
Main repository of SageMath. Now open for Issues and Pull Requests.
100-exercises-to-learn-rust
A self-paced course to learn Rust, one exercise at a time.
count-graph-homs
Count graph homomorphisms effortlessly in SageMath for fun! 🚀
company-coq
A Coq IDE build on top of Proof General's Coq mode
reagent
A minimalistic ClojureScript interface to React.js
awesome-lisp-companies
Awesome Lisp Companies
nyxt
Nyxt - the Internet on your terms.
prog-rust
Codes from "Programming Rust"
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-advent-of-code
A collection of awesome resources related to the yearly Advent of Code challenge.
Nightcode
An IDE for Clojure
rustlings-solution
:crab: Small exercises to get you used to reading and writing Rust code!
PyWORDS
A more sophisticated implementation of Whitaker's WORDS program written for Python
learn4haskell
👩🏫 👨🏫 Learn Haskell basics in 4 pull requests