Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Hrb-mode: an Emacs mode for hilighting ruby blocks (paren-mode)
(github.com/ckruse)
1 point
cjk101010
13 years ago
discuss
2.
▲
CSE 331: Software Design and Implementation (taught by Michael Ernst)
(github.com/ldfaiztt)
4 points
kruse-tim
9 years ago
discuss
3.
▲
Elsa: a lightweight proof-checker
(github.com/ucsd-progsys)
2 points
kruse-tim
9 years ago
discuss