Starred Repositories

• CMU-HoTT / scott

  Star

  Selected Papers of Dana S. Scott

  155 6 Starred Oct 12, 2022

• cpitclaudel / monospacifier

  Star

  Convert variable-pitch fonts to monospace (useful for unicode and indentation-friendly programming)

  Python 376 32 Starred Apr 6, 2018

• rems-project / netsem

  Star

  Network Semantics

  HTML 85 7 Starred Aug 11, 2014

• HOL-Theorem-Prover / hol-webpages

  Star

  Webpages for the HOL4 website (currently at hol-theorem-prover.org)

  HTML 3 8 Starred May 24, 2012

• mn200 / ace-jump-mode

  Star

  a quick cursor jump mode for emacs

  Emacs Lisp 1 72 Starred Apr 14, 2012

• mn200 / CFL-HOL

  Star

  Theory of Context-Free Languages in HOL

  Standard ML 7 1 Starred Feb 29, 2012

• winterTTr / ace-jump-mode

  Star

  a quick cursor jump mode for emacs

  Emacs Lisp 607 72 Starred Jul 17, 2011

• mn200 / Cplusplus

  Star

  My C++ in HOL semantics

  Standard ML 1 1 Starred Jun 24, 2011

• mn200 / JSON-SML

  Star

  JSON parsing in SML (from SML/NJ's svn repo)

  6 Starred May 30, 2011

• mn200 / Tasks

  Star
  1 1 Starred May 20, 2011

Starred Topics