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.
Start Free Trial
Full-stack observability with actually useful AI | Grafana Cloud
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.
Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.
Code generation from UML to any language (Java, Objective-C, PHP...)
Code generation plugin for Astah* UML. It enables to generate source code from UML class diagrams to various languages (Java, JPA, PHP, C#, Objective-C...) with custom templates.
It now makes source code generation easy thanks to built-in directives.
Trad4 is a fully concurrent, thread safe, graph-based programminglanguage that scales linearly on multiple cores. It is initially intended for deployment in the financial industry to model real-time risk.
The Java Light Component Framework (JLCF) is a framework for developing modular applications for the java language. It allows designing an application using building blocks with well-defined inputs and outputs (aka software components). Using this well-defined modular approach, the application has a clear and explicit design which facilitates the development and maintenance of a software system.
JLCF focuses on usability on a simple programming model and also provides advanced features such as interceptors, callbacks and dynamic component replacement.
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
EasyCP is a modern, user-friendly C++ library that lets you use constraint programming in a very natural way, taking advantage of its expressive power.
Just model and let the CSP (Constraint Satisfaction Problem) solver do the job !
A Python programming environment providing memory sizing, profiling and analysis, and a specification language that can formally specify aspects of Python programs and generate tests and documentation from a common source.
Pi combines a programminglanguage (comparable to 'R') with an advanced GUI including 3D and 2D visualizations and a highly flexible interface to analyse, visualize and manipulate data. It is extendible by C++ librarys as well as by Pi-scripts
Frag is a dynamic programminglanguage, specifically designed for being a tailorable language, building Domain-Specific Languages (DSLs), supporting Model-driven Software Development, and for being easily embeddable in Java.
Learn basic constraint logic programming by solving logic word puzzles. Go to http://eclipse.dougedmunds.com . This tutorial will show you how to solve easy 1 star to hard 5 star puzzles, using the eCLiPSe-CLP language (available at http://eclipseclp.org/).
Don't confuse this programminglanguage (a prolog language) with the IDE for Java.