guojing0

I now write programs in Python, Common Lisp, Clojure, Coq, and maybe more?

Pinned Repositories

advent-of-code-2022
Language:Clojure1 3 00
aoc-2020
Language:Common Lisp2 3 00
aoc-2021
Language:Common Lisp1 3 00
count-graph-homs
Count graph homomorphisms effortlessly in SageMath for fun! 🚀
Language:Python20
coursera-princeton-algo
Codes related to the Coursera class
Language:Java1 2 00
game-theory
Programs to test and prove game theory.
Language:Python18 5 06
OwnNotes
I post knowledges I learn from reading that will also help you.
Language:CSS3 3 00
terminal-dict
Look up words in your terminal
Language:Python7 3 01
wedding-party-speech
The sweetest wedding speech ever.
2 3 00
sage
Main repository of SageMath
Language:Python1.4k 10 35.6k461

guojing0's Repositories

guojing0/aoc-2020
Language:Common Lisp2 3 00
guojing0/count-graph-homs
Count graph homomorphisms effortlessly in SageMath for fun! 🚀
Language:Python20
guojing0/advent-of-code-2022
Language:Clojure1 3 00
guojing0/aoc-2021
Language:Common Lisp1 3 00
guojing0/cert-prog-with-dep-types
Language:Coq0 3 00
guojing0/100-exercises-to-learn-rust
A self-paced course to learn Rust, one exercise at a time.
guojing0/2024-spring-course-Extremal-Combinatorics
Language:TeX
guojing0/aoc-2022
Language:Ruby3 0
guojing0/awesome-advent-of-code
A collection of awesome resources related to the yearly Advent of Code challenge.
Language:JavaScript2 0
guojing0/awesome-cl
A curated list of awesome Common Lisp frameworks, libraries and other shiny stuff.
Language:Makefile2 0
guojing0/awesome-cl-software
List of awesome application software built with Common Lisp
2 0
guojing0/awesome-lisp-companies
Awesome Lisp Companies
2 0
guojing0/CIS194-Haskell
Language:Haskell2 0
guojing0/commonqt
Official commonqt repository
Language:Common Lisp2 0
guojing0/company-coq
A Coq IDE build on top of Proof General's Coq mode
Language:Emacs Lisp2 0
guojing0/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.
Language:Python2 0
guojing0/guojing0
3 1
guojing0/kickstart.nvim
A launch point for your personal nvim configuration
Language:Lua
guojing0/latex-sty
Language:TeX3 0
guojing0/learn4haskell
👩‍🏫 👨‍🏫 Learn Haskell basics in 4 pull requests
Language:Haskell2 0
guojing0/Nightcode
An IDE for Clojure
Language:Clojure2 0
guojing0/nyxt
Nyxt - the Internet on your terms.
Language:Common Lisp2 0
guojing0/PLFA
Language:Agda3 0
guojing0/prog-rust
Codes from "Programming Rust"
Language:Rust3 0
guojing0/PyWORDS
A more sophisticated implementation of Whitaker's WORDS program written for Python
Language:Python2 0
guojing0/reagent
A minimalistic ClojureScript interface to React.js
Language:Clojure2 0
guojing0/rustlings-solution
:crab: Small exercises to get you used to reading and writing Rust code!
Language:Rust2 0
guojing0/sage
Main repository of SageMath. Now open for Issues and Pull Requests.
Language:Python2 0
guojing0/schmidt-stanford-AI-transcript
guojing0/seq-hom-count
Language:C++2 0