40 projects for "https" with 2 filters applied:

  • Rezku Point of Sale Icon
    Rezku Point of Sale

    Designed for Real-World Restaurant Operations

    Rezku is an all-inclusive ordering platform and management solution for all types of restaurant and bar concepts. You can now get a fully custom branded downloadable smartphone ordering app for your restaurant exclusively from Rezku.
    Learn More
  • 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
  • 1
    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: 674 This Week
    Last Update:
    See Project
  • 2
    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: 196 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: 7 This Week
    Last Update:
    See Project
  • 4
    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: 9 This Week
    Last Update:
    See Project
  • The Most Powerful Software Platform for EHSQ and ESG Management Icon
    The Most Powerful Software Platform for EHSQ and ESG Management

    Addresses the needs of small businesses and large global organizations with thousands of users in multiple locations.

    Choose from a complete set of software solutions across EHSQ that address all aspects of top performing Environmental, Health and Safety, and Quality management programs.
    Learn More
  • 5

    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: 14 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: 0 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: 61 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
  • Failed Payment Recovery for Subscription Businesses Icon
    Failed Payment Recovery for Subscription Businesses

    For subscription companies searching for a failed payment recovery solution to grow revenue, and retain customers.

    FlexPay’s innovative platform uses multiple technologies to achieve the highest number of retained customers, resulting in reduced involuntary churn, longer life span after recovery, and higher revenue. Leading brands like LegalZoom, Hooked on Phonics, and ClinicSense trust FlexPay to recover failed payments, reduce churn, and increase customer lifetime value.
    Learn More
  • 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: 0 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: 10 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: 0 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: 0 This Week
    Last Update:
    See Project
  • 16
    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: 7 This Week
    Last Update:
    See Project
  • 17
    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
  • 18
    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
  • 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: 52 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