tsogp's repositories
Dat3M
A verification tool for many memory models
MIT000
Language:C++000
chat-app-react-frontend
Chat app made with React.js, powered by Socket.io
Language:JavaScript000
chat-app-react-backend
Backend for the chat app powered by Socket.io and Node.js
Language:JavaScript000
Language:Java000
practice-pals-bot
Scalable Telegram-bot solution to help you find friends and future colleagues in IT.
Language:PythonGPL-3.0000
Language:JavaScript000
Language:JavaScript000