urbicide

Pinned Repositories

• leanbot

  IRC-bot written in Lean (https://leanprover.github.io/)

  Language:Lean11200

• chlor-web

  chlor.ga - official webpage

  Language:HTML1101

• lorbooks

  lorbooks.amalofeev.ru - зеркало

  Language:HTML11

• markov

  leaked source code

  Language:Python3200

• piqueserver

  00

• s2ch.ga

  #s2ch homepage

  Language:HTML1100

• wtchat

  Anonymous webchat written in C++/Wt

  Language:C++1150

• sosachkino

  Web interface for viewing sosach' webms

  Language:Python0301

urbicide's Repositories