Search Results for "https"
Sort By:
40 projects for "https" with 2 filters applied:
-
GWI: On-demand Consumer ResearchNeed easy access to consumer insights? Our intuitive platform is the answer. Get the ultra-reliable research that brands and agencies need to stay ahead of changing consumer behavior.
-
Free Website Monitoring Service | UptimeRobotWith the Free Plan, you can monitor up to 50 URLs, check for a website's content (using the keyword monitor), ping your server or monitor your ports in 5-minute intervals. You can create a status page to showcase your uptime. SMS or Call alerts can be bought anytime.
-
1
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 -
2
...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
-
3
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
-
4
...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
-
Diagnose and Resolve IT Issues in Real TimeScreenMeet’s unique combination of video calling, screen share, and remote desktop functionality lets you quickly diagnose hardware and software issues with no frustration.
-
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 -
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. -
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. ... -
8
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. -
9
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 -
Pylon is an All-in-one B2B Support Platform for modern B2B businesses.We bring together everything a post-sales teams team needs including a ticketing system, B2B omnichannel integrations (Slack Connect, Microsoft Teams), modern chat widget, knowledge base, AI support bot, account management, customer marketing, and 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 -
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
-
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. ...
-
13
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
-
14
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 -
15
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 -
16
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
-
17
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 -
18
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 -
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. -
20
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. -
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. -
22
...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
-
23
-
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.
-
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
