Pinned Repositories
ReadingHood-Server
The server of the ReadingHood app.
colibri-VM
A virtual machine for executing programs written in Nectar.
Coral-Programing-Language
The executable version of coral programming language
Coral-Virtual-Machine
Stack-based virtual machine for coral programming language
doer
Α program that does what you say
goHome
nectar-lang
A new general-purposed programming language for Colibri VM
pepsy
A pythonic reactjs-like web framework in Python
RTdejavu
The DejaVu runtime verification system, using BDDs for storing data occurring in observed events.
Buzz
A quiz game developed in Java, with categories, music, graphics, high scores, multiplayer and two languages (Greek and English).
tasosxak's Repositories
tasosxak/goHome
tasosxak/nectar-lang
A new general-purposed programming language for Colibri VM
tasosxak/colibri-VM
A virtual machine for executing programs written in Nectar.
tasosxak/Coral-Programing-Language
The executable version of coral programming language
tasosxak/doer
Α program that does what you say
tasosxak/Coral-Virtual-Machine
Stack-based virtual machine for coral programming language
tasosxak/react-native-recorder
Take a photo or record a video in a single screen
tasosxak/asych_message_passing
An Asynchronous Message-Passing Distributed algorithm with channels
tasosxak/RTdejavu
The DejaVu runtime verification system, using BDDs for storing data occurring in observed events.
tasosxak/pepsy
A pythonic reactjs-like web framework in Python
tasosxak/doc
tasosxak/freertos.rs
A Rust wrapper for FreeRTOS.
tasosxak/howto
tasosxak/InstaPy
📷 Instagram Bot - Tool for automated Instagram interactions
tasosxak/mn
tasosxak/mnemosyne
Event Data Preprocessing for DejaVu Runtime Monitor
tasosxak/NNequivCheck_SMT
tasosxak/packed
JSX-style syntax preprocessor for Python
tasosxak/person_list
This is a Flask application that allows you to manage persons data.
tasosxak/pinax-badges
a badges app for Django
tasosxak/react-native-stickerlayer
An instagram-like stickerlayer for react native.
tasosxak/react-native-swiper
The best Swiper component for React Native.
tasosxak/Router-Placement
The problem statement for final round Google Hash Code 2017 with genetic algorithm