glacode

Pinned Repositories

aitest
My personal playground to test AI
Language:Python0 1 00
example
a test repository
0 1 00
set.mm
Metamath source file for logic and set theory
Language:HTML0 0 00
smm
sorear's Metamath system engine
Language:JavaScript0 0 00
yamma
VSCode extension for Metamath
Language:TypeScript10 1 172
set.mm
Metamath source file for logic and set theory
Language:HTML272 22 39893
language-server-protocol
Defines a common protocol for language servers.
Language:HTML11.6k 270 1.2k840

glacode's Repositories

glacode/yamma
VSCode extension for Metamath
Language:TypeScript10 1 172
glacode/aitest
My personal playground to test AI
Language:Python0 1 00
glacode/example
a test repository
0 1 00
glacode/set.mm
Metamath source file for logic and set theory
Language:HTML0 0 00
glacode/smm
sorear's Metamath system engine
Language:JavaScript0 0 00