• Simple, Secure Domain Registration Icon
    Simple, Secure Domain Registration

    Get your domain at wholesale price. Cloudflare offers simple, secure registration with no markups, plus free DNS, CDN, and SSL integration.

    Register or renew your domain and pay only what we pay. No markups, hidden fees, or surprise add-ons. Choose from over 400 TLDs (.com, .ai, .dev). Every domain is integrated with Cloudflare's industry-leading DNS, CDN, and free SSL to make your site faster and more secure. Simple, secure, at-cost domain registration.
    Sign up for free
  • Gen AI apps are built with MongoDB Atlas Icon
    Gen AI apps are built with MongoDB Atlas

    The database for AI-powered applications.

    MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
    Start Free
  • 1
    Design by Contract with seamless integration into the Spring Framework, based on Annotations, AOP and a pluggable Specification Language (supports Expression Language (EL) with Extensions, Groovy, OGNL out of the box).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Stylebase for Eclipse is a tooling environment for software architects and designers. Stylebase is a reuse repository for architectural styles and patterns and it assists in applying quality-driven architecture design (QADA) into software engineering.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    The goal of this project is the "continuous quality assurance of implemented architecture models". For more information visit our web site: http://jmd.sf.net
    Downloads: 0 This Week
    Last Update:
    See Project
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    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.
    Try free now
  • 5
    kNOdeps is a tool for managing #include-dependencies in C/C++ projects. It is implemented as internal DSL in Ruby. The main features are: define components, forbid/allow dependencies between components, visualize dependencies, ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Format, clean-up, beautify and standardize your php code with a comprehensive set of 34 options. A single 50Kb file that will highly improve the quality of your code. 3 operation modes: web interface, command line and PSPad integration.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    A lightweight Approach for GUI Developing. The Main Goal of this Project is reducing costs of GUI Developing in Enterprise Applications. Its more than a technical Framwework. Its a also set of Rules to help Developers to handle complexity. Please visit
    Downloads: 0 This Week
    Last Update:
    See Project