Pingvidas

Pinned Repositories

lmio21-vjg
Language:C++20
notiondraw
A lightweight sketch webapp to embed in Notion
Language:JavaScript10
PLTL-prover
Sequent prover for PLTL logic
Language:Python10
SpotifyTinyController
Language:HTML00

Pingvidas's Repositories

Pingvidas/notiondraw
A lightweight sketch webapp to embed in Notion
Language:JavaScript10
Pingvidas/PLTL-prover
Sequent prover for PLTL logic
Language:Python10
Pingvidas/SpotifyTinyController
Language:HTML00