Explore @ncatlab Open Source projects

nLab (@ncatlab)

ncatlab

Stars
195
Global Org. Rank 40,946 (Top 14 %)
Registered over 10 years ago
Most used languages

Python
50.0 %

HTML
25.0 %

Ruby
25.0 %

nlab

Source code for the nLab

nlab-content-html

A file-based mirror of the nLab wiki (HTML format).

nlab-content

A file-based mirror of the nLab wiki (Markdown+itex2MML format).

nlab-core

Source code for the nLab

nlab-content-deprecated

A file-based mirror of the nLab wiki as a git repository.

aws_migration

Code that was written for a proposed migration to AWS in 2022