
Gaffa is a REST API built for web scraping and browser automation, allowing developers to run real, full browsers at scale with a single API call. It removes the difficulty of managing headless browser frameworks, rotating proxies, CAPTCHA solving, and scaling infrastructure, all of which are handled automatically.
JavaScript-heavy and dynamic websites render exactly as they would for a human visitor by default. Beyond standard scraping, Gaffa supports AI-driven structured data extraction (extract data into a defined schema without writing CSS selectors), screenshot and PDF capture, infinite-scroll and form-filling automation, and clean Markdown conversion for feeding webpages directly into LLM and RAG pipelines.
A rotating residential proxy network keeps access reliable across regions, and a credit-based pricing model means teams pay only for the browser time and bandwidth they actually use. Gaffa is designed for AI engineers, data teams, and developers who want production-grade web data extraction without having to build and maintain their own infrastructure.
Learn more
TrustInSoft commercializes a source code analyzer called TrustInSoft Analyzer, which analyzes C and C++ code and mathematically guarantees the absence of defects, immunity of software components to the most common security flaws, and compliance with a specification. The technology is recognized by U.S. federal agency the National Institute of Standards and Technology (NIST), and was the first in the world to meet NIST’s SATE V Ockham Criteria for high quality software.
The key differentiator for TrustInSoft Analyzer is its use of mathematical approaches called formal methods, which allow for an exhaustive analysis to find all the vulnerabilities or runtime errors and only raises true alarms.
Companies who use TrustInSoft Analyzer reduce their verification costs by 4, efforts in bug detection by 40, and obtain an irrefutable proof that their software is safe and secure.
The experts at TrustInSoft can also assist clients in training, support and additional services.
Learn more
MWeb
Developed using native macOS technology, the goal is to achieve an ideal synergy with the operating system. The primary focus is on delivering a clean interface alongside exceptional performance, followed by ensuring the application is robust, user-friendly, and feature-rich. It utilizes GitHub Flavored Markdown (GFM) and accommodates a range of functionalities such as Tables, Table of Contents, LaTeX, fenced code blocks, task lists, and footnotes. Additionally, the Markdown graphics capabilities include support for tools like mermaid, viz, echarts, plantuml, sequence, and flow diagrams. Users can export their work in various formats, including Image, HTML, Epub, PDF, RTF, and Docx. Furthermore, it allows publishing to platforms like WordPress, Metaweblog API, WordPress.com, Evernote, Blogger, Medium, and Tumblr. The application supports screenshots and offers features like copy-pasting and drag-and-drop for image insertion, which are displayed directly in the editor. Users can also set image widths while maintaining compatibility with Markdown syntax. It boasts a powerful document library that facilitates category trees and tag management, allowing documents to be organized into multiple categories. Furthermore, users can export an entire category to Epub or PDF and generate static websites, enhancing the overall functionality and versatility of the application. This integrated approach ensures that users have a seamless experience while working with their documents.
Learn more
Bookdown
Create HTML, PDF, ePub, and Kindle books using R Markdown by leveraging the bookdown package, an open-source tool designed to streamline the writing of books and comprehensive articles or reports. This package enables you to produce printer-ready publications and ebooks directly from R Markdown files, utilizing a markup language that is more accessible than LaTeX for crafting various elements such as section headings, lists, quotes, figures, tables, and citations. You can choose from a variety of output formats including PDF, LaTeX, HTML, EPUB, and Word, ensuring your content is versatile. Additionally, you have the option to incorporate dynamic graphics and interactive elements such as HTML widgets and Shiny applications. The package supports multiple programming languages, including R, C/C++, Python, Fortran, Julia, Shell scripts, and SQL, among others. Furthermore, LaTeX equations, theorems, and proofs are compatible across all output formats, enhancing the academic rigor of your work. You can easily publish your books to platforms like GitHub, bookdown.org, and any other web servers, while also benefiting from seamless integration with the RStudio IDE. Finally, with just one click, you can publish your work to https://bookdown.org, making the sharing process incredibly efficient. This combination of features makes bookdown an invaluable resource for anyone looking to produce professional-quality written works.
Learn more