Code for the paper "Code Generation From Flowcharts with Texts: A Benchmark Dataset and An Approach"

INACTIVE: Move your mouse, generate code from flow chart

A Toolkit for Converting Flowcharts to Pseudocode

A Python model checking package

Tool for learning linear temporal logic formulas using combinatorial approach

Natural Language (NL) to Linear Temporal Logic (LTL)

TChecker is an open-source verification tool for timed automata

PyUPPAAL is a python package basically for reflecting UPPAAL's model editing, verification, and counter-example parsing operations into scripts.

Python 3.9+ installers that support Windows 7 SP1 and Windows Server 2008 R2

An introduction to the Papyrus plug-in for Eclipse

A fully featured & always updated python binding for libclang.

Converts golang AST to JSON and JSON to AST

Collected Concurrency Bugs in Our ASPLOS Paper

Mini Drone/Quadcopter Firmware for ESP32 and ESP32-S Series SoCs.

ESPHome is a system to control your ESP8266/ESP32 by simple yet powerful configuration files and control them remotely through Home Automation systems.

A curated list of awesome Arduino hardwares, libraries and softwares with update script

Arduino and CMake library for communicating with SBUS receivers and servos.

Arduino library for communicating with SBUS receivers and servos.

Open Source CRM based on Django

Static Python call graph generator

A curated list of awesome Python asyncio frameworks, libraries, software and resources

A curated list of awesome things related to Flask

Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019

Pure Python Java parser and tools

CREST is a concolic test generation tool for C.

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

SWORD: A Whole Program Race Detector for Java

Ticket shop application for conferences, festivals, concerts, tech events, shows, exhibitions, workshops, barcamps, etc.

A concurrent program model checking tool based on PDNet