40 projects for "https" with 2 filters applied:

  • Run Any Workload on Compute Engine VMs Icon
    Run Any Workload on Compute Engine VMs

    From dev environments to AI training, choose preset or custom VMs with 1–96 vCPUs and industry-leading 99.95% uptime SLA.

    Compute Engine delivers high-performance virtual machines for web apps, databases, containers, and AI workloads. Choose from general-purpose, compute-optimized, or GPU/TPU-accelerated machine types—or build custom VMs to match your exact specs. With live migration and automatic failover, your workloads stay online. New customers get $300 in free credits.
    Try Compute Engine
  • $300 in Free Credit for Your Google Cloud Projects Icon
    $300 in Free Credit for Your Google Cloud Projects

    Build, test, and explore on Google Cloud with $300 in free credit. No hidden charges. No surprise bills.

    Launch your next project with $300 in free Google Cloud credit—no hidden charges. Test, build, and deploy without risk. Use your credit across the Google Cloud platform to find what works best for your needs. After your credits are used, continue building with free monthly usage products. Only pay when you're ready to scale. Sign up in minutes and start exploring.
    Start Free Trial
  • 1
    GCBASIC
    ...Please see the download section for your options. We have two IDEs, we have just the compiler and we have a minimal install - it is your choice. Please see the homepage here: https://gcbasic.com
    Leader badge
    Downloads: 375 This Week
    Last Update:
    See Project
  • 2
    Community Z Tools

    Community Z Tools

    Tool support for the Z formal notation

    Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt
    Leader badge
    Downloads: 163 This Week
    Last Update:
    See Project
  • 3
    Java Modeling Language (JML)
    This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with binary downloads from https://github.com/OpenJML/OpenJML/releases/latest
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    COBOL copybook to XML converter

    Converts cobol copybooks to Xml/Java objects

    ...This project includes utilities to convert an XML instance file into its COBOL copybook equivalent string buffer and vice versa. Source is now available in GitHub: https://github.com/bmTas/cb2xml
    Leader badge
    Downloads: 22 This Week
    Last Update:
    See Project
  • Ship AI Apps Faster with Vertex AI Icon
    Ship AI Apps Faster with Vertex AI

    Go from idea to deployed AI app without managing infrastructure. Vertex AI offers one platform for the entire AI development lifecycle.

    Ship AI apps and features faster with Vertex AI—your end-to-end AI platform. Access Gemini 3 and 200+ foundation models, fine-tune for your needs, and deploy with enterprise-grade MLOps. Build chatbots, agents, or custom models. New customers get $300 in free credit.
    Try Vertex AI Free
  • 5
    Pascal-to-Ada
    ...Recognizes particularities of several Pascal dialects: Turbo/Borland/Delphi (mostly), CodeWarrior, ISO, ISO Extended (a bit). Includes a full ayacc / aflex parser & lexer for Ada 95+ with sources. Mirror: https://github.com/zertovitch/pascal-to-ada
    Downloads: 1 This Week
    Last Update:
    See Project
  • 6

    wCMF

    The wCMF web application framework

    ...It features an object persistence layer, a soap interface and standard views/controllers. This website hosts code and downloads for versions prior to 4.0. For newer versions please visit https://github.com/iherwig/wcmf.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 7

    ColorScheme2CSS

    Colo2CSS Converting color schemes of Vim to CSS files

    This plugin is designed to convert the current color scheme of the program Vim editor into a ready-made Cascading Style Sheets (CSS) file. The CSS files prepared by this plugin meet the requirements CSS Validation Service (https://jigsaw.w3.org/css-validator/) and can be used to connect to an HTML or XHTML document (web page). The plugin can be used both for converting only the current color scheme, and for batch processing of several files of color schemes of the Vim editor. When converting a color scheme, you can set the desired background — dark or light. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    ProGuard Java Optimizer and Obfuscator

    ProGuard Java Optimizer and Obfuscator

    Java class file shrinker, optimizer, obfuscator, and preverifier

    ProGuard has moved to Github now: https://github.com/Guardsquare/proguard ProGuard is a free Java class file shrinker, optimizer, obfuscator, and preverifier. It detects and removes unused classes, fields, methods, and attributes. It optimizes bytecode and removes unused instructions. It renames the remaining classes, fields, and methods using short meaningless names.
    Leader badge
    Downloads: 55 This Week
    Last Update:
    See Project
  • 9
    TMC compiler

    TMC compiler

    Translator from restricted matlab to C

    ...Consists of C-code generator and run-time support library. Support a subset of MATLAB (R) language and an extendable set of in-build functions. Git Repository: https://github.com/csafonov/tinymc
    Downloads: 0 This Week
    Last Update:
    See Project
  • Managed MySQL, PostgreSQL, and SQL Databases on Google Cloud Icon
    Managed MySQL, PostgreSQL, and SQL Databases on Google Cloud

    Get back to your application and leave the database to us. Cloud SQL automatically handles backups, replication, and scaling.

    Cloud SQL is a fully managed relational database for MySQL, PostgreSQL, and SQL Server. We handle patching, backups, replication, encryption, and failover—so you can focus on your app. Migrate from on-prem or other clouds with free Database Migration Service. IDC found customers achieved 246% ROI. New customers get $300 in credits plus a 30-day free trial.
    Try Cloud SQL Free
  • 10

    FCML

    A machine code manipulation library for Intel 64 and IA-32.

    ..., SSE, SSE2, SSE3, SSSE3, SSE4.1, SSE4.2, SSE4A, AVX, AVX2, AES, TBM, BMI1, BMI2, HLE, ADX, CLMUL, RDRAND, RDSEED, FMA, FMA4, LWP, SVM, XOP, VMX, SMX, AVX-512 Source code moved to: https://github.com/swojtasiak/fcml-lib
    Downloads: 2 This Week
    Last Update:
    See Project
  • 11
    ...Where possible, Java API is followed. STL based implementation. Ruby Application Framework (TSC-TPM) extensions. Ruby based utilities for simplifying day-to-day work. Moved to: https://github.com/stemkit-collection
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    ColdFrame generates Ada framework code and documentation from UML models. The project has now moved to Github (https://github.com/simonjwright/coldframe). The software is issued under the GPL Version 2 with the following additional permission: As a special exception, if other files instantiate generics from this unit, or you link this unit with other files to produce an executable, this unit does not by itself cause the resulting executable to be covered by the GNU General Public License. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    adms
    ADMS is a code generator that converts electrical compact device models specified in high-level description language into ready-to-compile c code for the API of spice simulators. Repository migrated to: https://github.com/Qucs/ADMS For checkout do: git clone https://github.com/Qucs/ADMS.git
    Leader badge
    Downloads: 12 This Week
    Last Update:
    See Project
  • 14
    Project 2306 IDE Rad MacOS MCU DeveR

    Project 2306 IDE Rad MacOS MCU DeveR

    Electronic design and programming tools suite like Eagle, MpLab

    ...Tools suite for Arduino, Pinguino, Pic, AVR, ARM, Basic Stamp, Risc, other platform Fully Integrated IDE. Adobe PDF Help section SQL Connectivity Community Avail : https://www.facebook.com/Project-Core-2306-Nextgen-Eda-pcbradide-for-Mcumacoslinuxwindows-138250749681138/?fref=ts
    Downloads: 1 This Week
    Last Update:
    See Project
  • 15
    MicroGP

    MicroGP

    A multi-purpose extensible self-adaptive evolutionary algorithm

    MicroGP (µGP, ugp) is a versatile optimizer able to outperform both human experts and conventional heuristics in finding the optimal solution of hard problems. It is an evolutionary algorithm since it mimics some principles of the Neo-Darwinian paradigm. ⚠️ A new version is available on https://github.com/squillero/microgp4
    Downloads: 6 This Week
    Last Update:
    See Project
  • 16
    Jigy Generator Linux

    Jigy Generator Linux

    The best way to generate a Spring Java Web Application. It just works!

    ...Also the login and file upload modules will be fully functional immediately upon project creation. We promise once you've Jigy Generated a project, you will never want to start from scratch again! https://getjigy.com
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Jigy Generator OSX

    Jigy Generator OSX

    The best way to generate a Spring Java Web Application. It just works!

    ...Also the login and file upload modules will be fully functional immediately upon project creation. We promise once you've Jigy Generated a project, you will never want to start from scratch again! https://getjigy.com
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    ASN.1 library for Python
    ASN.1 types and codecs (BER, CER, DER) implementation in Python programming language. A collection of various ASN.1-based protocols data structures is supplied in a dedicated Python package. Project moved to GitHub: https://github.com/etingof/pyasn1
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19

    flexc++

    A C++ class scanner generator comparable to flex

    Flexc++ has moved to GitHub, and can now be reached at https://fbb-git.github.io/flexcpp/ Please refer to github's location for the latest archive and releases.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    pycrc

    pycrc

    CRC C source generator

    pycrc is an easy to use CRC (cyclic redundancy check) calculator and C source code generator. The generated source code can be optimized for simplicity, speed or space. pycrc contains a long parameter list of common CRC models. The program is self contained and does not require installation. Apart from a python installation, it does not require other libraries to be installed.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21

    Ionflux Tools

    Metaprogramming framework for C++ development with Python bindings

    NOTICE: This repository of IFTools will no longer be maintained. You can find the current version at https://github.com/TehFlux/iftools iftools is an umbrella project for various libraries and utilities that facilitate application development in C++ with full Python bindings. It provides a rich set of features while still maintaining compatibility with other frameworks through a very low overhead and a lack of "tricks". iftools uses its own, easily extensible template system to provide a rich set of metaprogramming techniques for implementing features above the class level.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    YAKINDU Statechart Tools / itemis CREATE
    ...It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms. Visit http://www.statecharts.org for more information! !! YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    cglib has moved to https://github.com/cglib/cglib
    Downloads: 2 This Week
    Last Update:
    See Project
  • 24
    A C++ based lightweight, non-invasive SCA (Service Component Architecture) runtime. Optimized for the use in the embedded domain. We are proud to announce release 0.8 of Trentino Release 0.8 adds a major feature to Trentino. With Service discovery, configuration, deployment and operation of Services on devices is made simple and cost efficient.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25

    Redesigner

    Redesigner is a tool to generate and validate ASP.NET designer files

    Redesigner has moved! The official repository can now be found on GitHub: https://github.com/seanofw/Redesigner
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • Next
MongoDB Logo MongoDB