编程历史学家Jekyll+GitHub Pages课程的演示Jekyll站点
Demo Jekyll site for Programming Historian Jekyll+GitHub Pages lesson (2022-10-05, Ruby, 0KB, 下载0次)
Idris编程语言快速入门的代码段
Code snippets to quickly get started with Idris programming language (2021-09-28, Ruby, 27KB, 下载0次)
一种深奥的编程语言，其中程序由Git存储库中的提交图定义。
An esoteric programming language where programs are defined by the graph of commits in a Git repository. (2019-06-17, Ruby, 365KB, 下载0次)