tasosxak

goHome

nectar-lang

A new general-purposed programming language for Colibri VM

colibri-VM

A virtual machine for executing programs written in Nectar.

Coral-Programing-Language

The executable version of coral programming language

doer

Α program that does what you say

Coral-Virtual-Machine

Stack-based virtual machine for coral programming language

react-native-recorder

Take a photo or record a video in a single screen

asych_message_passing

An Asynchronous Message-Passing Distributed algorithm with channels

RTdejavu

The DejaVu runtime verification system, using BDDs for storing data occurring in observed events.

pepsy

A pythonic reactjs-like web framework in Python

doc

freertos.rs

A Rust wrapper for FreeRTOS.

howto

InstaPy

📷 Instagram Bot - Tool for automated Instagram interactions

mn

mnemosyne

Event Data Preprocessing for DejaVu Runtime Monitor

NNequivCheck_SMT

packed

JSX-style syntax preprocessor for Python

person_list

This is a Flask application that allows you to manage persons data.

pinax-badges

a badges app for Django

react-native-stickerlayer

An instagram-like stickerlayer for react native.

react-native-swiper

The best Swiper component for React Native.

Router-Placement

The problem statement for final round Google Hash Code 2017 with genetic algorithm