kyagrd's Stars
overleaf/overleaf
A web-based collaborative LaTeX editor
ekalinin/github-markdown-toc
Easy TOC creation for GitHub README.md
viskell/viskell
Visual programming meets Haskell
SWI-Prolog/swish
SWI-Prolog for SHaring: a SWI-Prolog web IDE
ditto/ditto
A Super Kawaii Dependently Typed Programming Language
kyagrd/mininax