Transform your applications and workflows into powerful agentic systems at global scale.
Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
Get Started Free
Compliant and Reliable File Transfers Backed by Top Security Certifications
Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.
Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
Voikko is a spell checking, grammar checking, morphological analysis and hyphenation system. Spell checkers are available for multiple languages, other features for Finnish only.
Instigate GUI Toolkit is an Abstraction for multiple GUI Toolkits allowing to write single GUI code which can run on multiple platforms and with multiple GUI back-ends. Now it supports QT and gtkmm back-ends on Linux. Work on GTK+ and EWL is ongoing.
Yann is Yet Another Neural Network. Yann is a library to create fast neural networks. It is also a GUI to easily create, edit, train, execute and investigate networks. Multiple topologies, runtime properties and ensemble learning are supported.
Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.
Clint is a library for Qt projects to create charts, trees, etc.
Clint can display data containing in a QAbstractItemModel as charts, trees or timelines.
A chart can be linear ( data are displayed as curves, bars or points), radial ( data are displayed like a bar chart but in circle) or a piechart (2D or 3D).
A tree displays data from a model like QTreeItemModel in a classic tree (horizontal or vertical) or radial (in circle).
A timeline displays data from a model like a QListItemModel following a path.