{"size": 216, "ext": "scrbl", "max_stars_repo_path": "project.scrbl", "max_stars_repo_name": "dannypsnl/racket-tw.github.io", "max_stars_repo_stars_event_min_datetime": null, "max_stars_repo_stars_event_max_datetime": null, "max_issues_repo_path": "project.scrbl", "max_issues_repo_name": "dannypsnl/racket-tw.github.io", "max_issues_repo_issues_event_min_datetime": null, "max_issues_repo_issues_event_max_datetime": null, "max_forks_repo_path": "project.scrbl", "max_forks_repo_name": "dannypsnl/racket-tw.github.io", "max_forks_repo_forks_event_min_datetime": null, "max_forks_repo_forks_event_max_datetime": null}
{"max_stars_count": null, "max_issues_count": null, "max_forks_count": null, "avg_line_length": 24.0, "max_line_length": 79, "alphanum_fraction": 0.6851851852}
#lang scribble/manual

@title[#:tag "project"]{專案}

@itemlist[
  @item{@hyperlink["https://github.com/racket-tw/sauron"]{sauron}：A Racket IDE}
  @item{@hyperlink["https://github.com/racket-tw/k"]{k}：一個實驗中的定理證明器}
  ]
