Apify is a full-stack web scraping and automation platform helping anyone get value from the web.
Get web data. Build automations.
Actors are serverless cloud programs that extract data, automate web tasks, and run AI agents. Developers build them using JavaScript, Python, or Crawlee, Apify's open-source library. Build once, publish to Store, and earn when others use it. Thousands of developers do this - Apify handles infrastructure, billing, and monthly payouts.
Learn More
Unimus makes Network Automation and Configuration Management easy.
Deploying Unimus to manage your entire network requires only minutes, allowing for rapid deployment without headaches.
We aim to make automation, disaster recovery, change management and configuration auditing painless and affordable for a network of any size.
This is a suite of mathematical software solvers GUI
This is a suite of mathematical software solvers interface on DLV and other command-line solvers. It helps researchers and students to better comprehend their declarative definitions published on papers. The user can have links to the related papers and to the software of the corresponding definitions.
The Jorne project develops software and open standards for linking Lojban text with WWW and Semantic Web metadata (e.g. RDF/N3, RSS, XML). Lojban is an artificial spoken and written language based on predicate logic.