Pinned Repositories
clojure-essential-reference
Code examples from "Clojure: The Essential Reference" book by Manning.
CLP1
"CLP-1 Differential Calculus" open source textbook
CLP1Slides
Lecture slides following CLP1 by Feldman, Rechnitzer, and Yeager
CLP3
Repository for source files for CLP3 Multivariable Calculus
go-tutorials-core-async
Some go tutorials converted to core.async
linux-capslock-delay-fix
MATH-8510-Galois-Theory
stable-matching
This is a Clojure implantation of the Gale–Shapley algorithm.
hinamizawa's Repositories
hinamizawa/stable-matching
This is a Clojure implantation of the Gale–Shapley algorithm.
hinamizawa/linux-capslock-delay-fix
hinamizawa/clojure-essential-reference
Code examples from "Clojure: The Essential Reference" book by Manning.
hinamizawa/CLP1
"CLP-1 Differential Calculus" open source textbook
hinamizawa/CLP1Slides
Lecture slides following CLP1 by Feldman, Rechnitzer, and Yeager
hinamizawa/CLP3
Repository for source files for CLP3 Multivariable Calculus
hinamizawa/go-tutorials-core-async
Some go tutorials converted to core.async
hinamizawa/hinamizawa
Config files for my GitHub profile.
hinamizawa/icfpc2019
hinamizawa/LaTeX-Code-Collection
Some Basic code scripts when using latex.
hinamizawa/MATH-8510-Galois-Theory
hinamizawa/MATH7300
hinamizawa/bilibili-backup-backup
你还要我怎么样嘛 备份的备份（
hinamizawa/homepage
hinamizawa/KnotTalk
hinamizawa/LearnProlog
hinamizawa/Magma
hinamizawa/new-reliquary
Clojure wrapper for New Relic
hinamizawa/newrelic-sample
hinamizawa/openbilibili
哔哩哔哩 bilibili go-common
hinamizawa/openbilibili-1
哔哩哔哩后台源码
hinamizawa/prolog-examples
Some simple examples for new Prolog programmers
hinamizawa/swipldcgtut
A tutorial for DCG's in swi-Prolog
hinamizawa/the-power-of-prolog
Introduction to modern Prolog