Giters
topoi-lang

topoi-lang

Geek Repo

Github PK Tool:Github PK Tool

topoi-lang's repositories

topos

Topos is a learn-by-doing compiler project.

Language:HaskellStargazers:4Issues:0Issues:0

topoi

Monorepo for topoi-lang

Language:HaskellLicense:MITStargazers:2Issues:0Issues:0

topoi-core

A simple, explicit core language for topoi programming language.

Language:RustLicense:MITStargazers:2Issues:0Issues:0

lambda-cube

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

topoi-lang.github.io

The landing page of topoi-lang

Language:HTMLLicense:MITStargazers:1Issues:0Issues:0