Euler Yet another proof Engine
Eva is an A.I. assistant that helps users multi-task.
Satellite Procedure Execution Language and Library
Powerful framework for rogue access point attack
View and edit grids of meteorological values
Desktop application for merging multiple SDF files into a single SDF
Video,audio&Files Downloader&Convert with built-in browser with AI.
Program for live 2d graphical representation of data streams
LIXA, LIbre XA, is a free and open source XA transaction manager
GameServer is a sophisticated, game server designed for online games
A C++ library for AVR and NodeMCU
Command line tool for managing Amazon S3 and CloudFront services
FAIR's research platform for object detection research
Distributed Crawler Management Framework Based on Scrapy
Distributed web crawler admin platform for spiders management
A versatile building control system using ESP32 type controllers.
Google Update for Windows
Elegant, modern and asynchronous Telegram MTProto API framework