GitHub repository: kamalsaleh/Toposes.jl
Primary language: Julia
Description: [READ-ONLY-SUBSPLIT] Elementary toposes in Julia