• 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
  • Grafana: The open and composable observability platform Icon
    Grafana: The open and composable observability platform

    Faster answers, predictable costs, and no lock-in built by the team helping to make observability accessible to anyone.

    Grafana is the open source analytics & monitoring solution for every database.
    Learn More
  • 1

    Work Case Toolkit 0.4 beta 1

    Support variant based Java program execution, adapted to support MDE.

    ...The main goal of the program is to design transformation chains based on features diagram variants. The model transformers orchestration is obtained by using Features Diagrams and Transformation Diagrams (a feature that must be re-implemented to support of a Java drawing API). Any help is welcome. Given that we have some good results in running dynamic transformation chains, we decided to extend the tool to support another goal: a Java API to support variant based program's execution. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2

    Z Word Tools

    Write, check, index and diagram Z specifications in Microsoft Word.

    ...Provides: WYSIWYG editing fully integrated into Word; Typechecking using fuzz (for Spivey Z) or CZT (for ISO standard Z); Indexing and cross-referencing; Diagrams of specification structure; Conversion from Spivey to Standard Z- also available as a stand-alone program and Java class for non-windows users. See project website for details.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 3
    Extensible language for portable parallelism. Any visual element may be used to extend program syntax and a re-writing rule defined for it. Syntactic elements have properties attached, enabling symbolic manipulation to specialize to hardware.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Reverse Engineering Java Source to Program Structure Graph represent of relation of Class, Method , Field and Referred of Member
    Downloads: 0 This Week
    Last Update:
    See Project
  • Build Securely on AWS with Proven Frameworks Icon
    Build Securely on AWS with Proven Frameworks

    Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

    Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
    Download Now
  • 5
    jppa is a pointer and purity analysis tool for Java programs. Mainly a purity analysis tool: given a full Java program, it detects pure JML-style methods, i.e., methods that do not mutate existing objects (they may mutate new ones).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    JTombstone is a program for finding dead code in your Java programs. It reports on dead code at the method level, by processing Java class files. No source code is needed to use it. JTombstone is a Java program and requires JDK 1.4 or later.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    ActivityScript takes an activity diagram (created with a UML tool) and executes it's contents. The content of Activity boxes are executed, the Guards of a Decision box are evaluated to control program flow and Fork boxes initiate new threads.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Framework for Java source code analysing, program comprehension and automating software quality. Source code visualisation provided.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Pinnus is a project management tool for Extremme Programming. The program offers options to control stories, iterations and participates of a project. It is based on Eclipse Rich Client Platform and uses HSQLDB database .
    Downloads: 0 This Week
    Last Update:
    See Project
  • AestheticsPro Medical Spa Software Icon
    AestheticsPro Medical Spa Software

    Our new software release will dramatically improve your medspa business performance while enhancing the customer experience

    AestheticsPro is the most complete Aesthetics Software on the market today. HIPAA Cloud Compliant with electronic charting, integrated POS, targeted marketing and results driven reporting; AestheticsPro delivers the tools you need to manage your medical spa business. It is our mission To Provide an All-in-One Cutting Edge Software to the Aesthetics Industry.
    Learn More
  • Previous
  • You're on page 1
  • Next