Combining the benefits of static and dynamic source code analysis to deliver the most advanced & exhaustive code verification tool.
TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
Learn More
Assembled is the only unified platform for staffing and managing your human and AI support team.
AI for world-class support operations
Assembled is the only platform that unifies AI agents and intelligent workforce management to power fast and flexible support operations. Built for scale, we help teams automate over 50% of customer interactions, forecast with 90%+ accuracy, and optimize staffing across in-house and BPO teams. Orchestrate every chat, email, or call, balancing workloads between human and AI agents in real time — without sacrificing quality or control. Trusted by Stripe, Canva, and Robinhood, Assembled transforms support from a cost center into a strategic advantage. Our Workforce and Vendor Management tools connect forecasting, scheduling, and performance for smarter staffing decisions. AI Agents automate conversations across channels with your workflows and brand voice. AI Copilot empowers agents with real-time guidance, suggested replies, and one-click actions for faster, higher-quality resolutions.
This project is an customised, highly evolved open source L2J server emulation software. Main source bases mostly on L2JOfficial project files. Project is written in Java, Python, XML, HTML, SQL and so on. //// and is not available to all anymore. ho
Muffinbot is an IRC bot that makes having a bot easy. Muffinbot is simple to install, run, configure, and make work for your purposes. The source and plugins are written in PHP. Muffinbot is configured through either the web or the command line.
Hybrid Share is a User Friendly Mono C#/Gtk# Application that allow Mac, Windows and Linux Users To Share Files. The Application is extensible via Plugins, so you can Talk with connected people, check your mailbox or other things that plugins could do.
Tiny Translator is a very simple class for easily organizing dialogue outputs and creating language tables for multilingual projects. It supports flat files (comma seperated, .csv) and MySQL databases to store phrases.
Papirfly: Best user-friendly DAM and Content Creation Software
The #1 solution to create and manage content. On‑brand. At scale.
Papirfly provides a single online destination for all your employees and other stakeholders who are engaging with your brand, ensuring consistency in all aspects of their communications. Teams can produce infinite studio-standard marketing materials from bespoke templates, store, share and adapt them for their own markets and stay firmly educated on the brand’s purpose, guidelines and evolution – with no specialist skills or agency help necessary.
LanguageSys is a class/libary for internationalizing applications written in PHP/Python.
It uses language tags as recommended by rfc1766 and handles the access to separated files for storage of language specific datas. With precompilation support.
...It allows you to translate GNU GetText PO files using a browser. This allows a comunity to work on the same file at the same time and speeds up development. Uses: PHP, MySQL and Python.
...This project has the aim to build a highly customizable free opensource UO emulator. Our secondary goal is to build a highly customizable compatible Ultima Online client. Languages: C++/PHP/Perl/Python/XML
This project is for credit in UIUC's CS327 Software Engineering class.
This is a class scheduler written in ocaml and python, using a web interface. The feature list will be decided as the project progresses.
For organizations that need to automate secure file transfers to protect sensitive data.
Diplomat MFT by Coviant Software is a secure, reliable managed file transfer solution designed to simplify and automate SFTP, FTPS, and HTTPS file transfers. Built for seamless integration, Diplomat MFT works across major cloud storage platforms, including AWS S3, Azure Blob, Google Cloud, Oracle Cloud, SharePoint, Dropbox, Box, and more.
DEVELOPMENT IS MOVED ON PYTHON!!
Something like \'leafnode\', but IMHO with better configuration for news feeds. It will implement latest standard for NNTP (currently draft-ietf-nntpext-base-15)
Spatial Disruption is a Web based Strategy Warfare game. This project houses both Version 1(Perl, C++, and Flat text Files), and Version 2(PHP, Python, C++, and Various SQL databases). Our game already features a 2-D map, built-in alliances, and more!
The project is being migrated to http://code.google.com/p/ciform...
IMPORTANT : The project is now being hosted at http://code.google.com/p/ciform
Plug'n Auth is an API providing easy integration of different authentication mechanisms into web applications. Within a few steps web admins will be able to change both the authentication backend and the logon frontend at any time with no further effort