11 projects for "type" with 2 filters applied:

  • Fully Managed MySQL, PostgreSQL, and SQL Server Icon
    Fully Managed MySQL, PostgreSQL, and SQL Server

    Automatic backups, patching, replication, and failover. Focus on your app, not your database.

    Cloud SQL handles your database ops end to end, so you can focus on your app.
    Try Free
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
    Get Started Free
  • 1
    Whole Platform
    The Whole Platform is a technology for engineering the production of software. We provide an Eclipse based Language Workbench for developing, manipulating and transforming languages using a model driven approach.
    Leader badge
    Downloads: 97 This Week
    Last Update:
    See Project
  • 2

    Xsemantics

    a DSL for type systems, reduction rules, interpreters for Xtext langs

    Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules) for languages implemented in Xtext. It then generates Java code that can be used in your language implemented in Xtext for scoping and validation (it can also generate a validator in Java).
    Leader badge
    Downloads: 95 This Week
    Last Update:
    See Project
  • 3
    The Ptolemy Language
    Ptolemy is an extension of Java whose goal are to enable separation of crosscutting concerns, while retaining our ability to understand separated concerns modularly. It balances modularity and expressiveness for aspect-oriented software development.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    ODT: OCaml Development Tools
    The ODT (OCaml Development Tools) project aims to be like the JDT (Java Development Tools) eclipse plugins. It provides IDE features for OCaml application developments. See more on http://ocamldt.free.fr (tutorial, installation notes and more).
    Downloads: 0 This Week
    Last Update:
    See Project
  • Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure Icon
    Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure

    Native application identity and user-based security for your Azure cloud

    Gain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
    Get a free trial
  • 5
    JetBrains MPS

    JetBrains MPS

    JetBrains Meta programming System

    ...Unlike traditional text editors that treat code as plain text, MPS represents programs as structured models, enabling projectional editing where syntax, constraints, and semantics of DSLs are enforced by the editor itself, reducing parsing ambiguities and expanding expressiveness. Users can build custom languages tailored to specific problem domains and immediately get IDE benefits like intelligent completion, navigation, refactoring, type checking, and code generation for those languages. MPS also supports seamless integration between DSLs and general-purpose languages, allowing mixed projects where different parts are expressed in the most appropriate notation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    XTypeS is a DSL for writing type systems for languages implemented in Xtext.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    ECB is a file/code browser for Emacs. It can be used to browse any type of file and supports parsing of Java, C, C++, Elisp and some other code like perl, TeX, LaTeX. All browsing windows are within one frame and they are deletion-protected (eg by C-x 1)
    Downloads: 1 This Week
    Last Update:
    See Project
  • 8
    Integrated development environment for OCaml programming language. It offers a flexible editor with a content type sensitive content assist processor. It provides the possibility to compile and run OCaml projects together with the convenient presentation
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Kazam is a visual editor and project manager for interactive fiction game creation with Inform, one of the major development tools for this type of games. Kazam is developed with the wxWindows cross-platform GUI package.
    Downloads: 12 This Week
    Last Update:
    See Project
  • $300 Free Credits for Your Google Cloud Projects Icon
    $300 Free Credits for Your Google Cloud Projects

    Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

    Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
    Start Free Trial
  • 10
    SourceForge for collaborative writing projects. A project management system written in PHP designed to aid group work on Creative Commons type written projects.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Dreamweaver extension for Movable Type (http://www.movabletype.org/)
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
Auth0 Logo