Get full visibility and control over your tasks and projects with Wrike.
A cloud-based collaboration, work management, and project management software
Wrike offers world-class features that empower cross-functional, distributed, or growing teams take their projects from the initial request stage all the way to tracking work progress and reporting results.
Learn More
Striven | All In One Business Management Software
Striven is an all-in-one business management software suite with everything your organization needs for success.
Striven is the all-in-one business management software that lowers your costs, improves your operations, and makes work easier. Make your company’s data coherent, connected, and relevant.
Synthesizing embedded control software from formal specifications
autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL).
Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code.
The LTL specification captures...
C3PO is a software synthesis tool that provides a solution for building maintainable, reliable and robust software infrastructures and/or compiler frontends from a set of attributed grammar rules in EBNF notation.
SourceSquare is a free open source scanning solution, based on Antepedia, the world's largest open source knwoledge base, including more than 1,000,000 open source projects from the main forges. SourceSquare is a free (as in free beer) and free (as in free speech, licensed under GNU Affero Public Licence V3) product, which scans a folder on your hard drive and displays a treemap that shows which part of your sourcecode is open source.
Dynamic tree of Java objects encapsulates hard-drive and Jar/Zip files (and their inner files) and Java objects all the same way. Create new ways of communication as executable Jar files, like a paint program that creates/uses paint programs as tools
Regpack is a powerful onboarding, registration, and payments platform trusted by thousands of organizations worldwide. Our mission is simple: to give you the tools to automate busywork, streamline your processes, and keep your focus where it belongs, on growing your programs and serving your clients.
Scalable Language API (SLAPI) The most comprehensive architecture for conversational natural-language applications including speech recognition/synthesis, semantics, & machine translation. Used on Android & other mobile app platforms.
A module for netbeans that allows quick implementation of the jvstWrapper java-vst programming interface from the new project dialog, including automatically created gui and parameter control.
Virtual News Reader is a computer desktop application that can convert text (idealy for online news) into Virtual Voice and can be saved on computer. The project is using Java, (JSAPI), FreeTTS (Text-To-Speech synthesis), DJProject, Substance, & other.
The jTTS project provides a refactored implementation of the FreeTTS software speech synthesizer. Rather than building upon the flite implementation of a TTS engine, it implements engine capabilities from Festival. It also supports British English.
Get your database online quickly using configuration not code. Use this secure, scalable and proven enterprise technology to publish any relational data, any custom process on the internet. MySQL, Java, XML, XSL. xHTML GUI, beta voiceXML and WML/WAP.
dbt Labs empowers data teams to build reliable, governed data pipelines—accelerating analytics and AI initiatives with speed and confidence.
Data teams use dbt to codify business logic and make it accessible to the entire organization—for use in reporting, ML modeling, and operational workflows.
Hippal is an integrating GUI-framework for a multimodular symbolic A.I.-system IPAL, which combines A.I. Planning, Inductive Program Synthesis, Analogical Reasoning and Learning.
Hippal is client-/server-based and uses the Lili Lisp Interpreter as Centr
Time of day service over telephone using Voicent Gateway, a VoiceXML gateway that specially designed for voice modems. A Free version is available for download at http://www.voicent.com/download. Sample code for interactive telephony applications.
A behavioral synthesis tool infrastructure and software framework, translating sequential algorithms into hardware descriptions expressed in a hardware description language (HDL).