Search Results for "https"
Sort By:
30 projects for "https" with 2 filters applied:
-
The Most Powerful Software Platform for EHSQ and ESG ManagementChoose from a complete set of software solutions across EHSQ that address all aspects of top performing Environmental, Health and Safety, and Quality management programs.
-
The AI workplace management platformBy combining AI workflows, predictive intelligence, and automated insights, OfficeSpace gives leaders a complete view of how their spaces are used and how people work. Facilities, IT, HR, and Real Estate teams use OfficeSpace to optimize space utilization, enhance employee experience, and reduce portfolio costs with precision.
-
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
...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
-
3
...SSHOSX is ssh application client to establish an ssh connection from client to server, Nmaposx is nmap port scanner invoked from the application Nmaposx (Syntax of nmap is inside the application). Packetstorm is all packet storm exploits database all inserted inside in the application Packetstorm, Shoppingosx an example of https connection. The application Ob open four browsers, Tesseract applications container, TAL, Chatosx, AndroMac, AndroEmu, MySMS, Shutdown, Updater, Search for, MyMaps, SOA, BLI, Xcoder, BasicProg, BasicProg2, VM, D,M&Z Suite Basic and D,M&Z Suite Advanced (POSIX based).
-
4
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. -
Turn traffic into pipeline and prospects into customersDocket is an AI-powered sales enablement platform designed to unify go-to-market (GTM) data through its proprietary Sales Knowledge Lake™ and activate it with intelligent AI agents. The platform helps marketing teams increase pipeline generation by 15% by engaging website visitors in human-like conversations and qualifying leads. For sales teams, Docket improves seller efficiency by 33% by providing instant product knowledge, retrieving collateral, and creating personalized documents. Built for GTM teams, Docket integrates with over 100 tools across the revenue tech stack and offers enterprise-grade security with SOC 2 Type II, GDPR, and ISO 27001 compliance. Customers report improved win rates, shorter sales cycles, and dramatically reduced response times. Docket’s scalable, accurate, and fast AI agents deliver reliable answers with confidence scores, empowering teams to close deals faster.
-
5
...Provided project description rules shift emphasis from how to build the software to what the software to build with central configuration of concrete build actions. Moved to: https://github.com/tsc-collection/tsc-build Now part of GitHub's TSC Collection available at https://github.com/tsc-collection
-
6
...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
-
7
MTProxy
Simple MT-Proto proxy
MTProxy is Telegram’s official MTProto proxy server implementation that enables users to create and run proxy nodes for the Telegram messaging platform, helping people connect securely and reliably when direct access to Telegram is restricted or blocked. It implements the MTProto proxy protocol, which obfuscates encrypted Telegram traffic so it appears indistinguishable from normal HTTPS/TLS flows, making it harder for ISPs or authorities to detect and block Telegram traffic based on signatures. The repository includes C source code, build instructions, and configuration files for compiling and running the proxy on Unix-like systems, with dependencies including OpenSSL and zlib. By launching an MTProxy instance with a secret and configuration file, system administrators can allow clients to connect through custom proxies and generate shareable proxy links for Telegram clients. -
8
NOTE: This is a sf.net/subversion clone from https://github.com/wipu/iwant A java-based declarative, multi-threaded and incremental build system that provides a fluent java API for writing build programs. Can use ant tasks and ant and shell scripts as backend.
-
9
**NOTE**: As of 2017-Sep-14, this project was **moved to [github](https://github.com/15knots/cmakeed)**. Please file any issues there. ----- Eclipse plug-in for editing CMake files such as CMakeLists.txt. Provides syntax coloring, CMake command content assist, and the CMake command reference incorporated into the Eclipse help system. Requires Java 5 or higher and Eclipse 3.4 or higher.
-
Failed Payment Recovery for Subscription BusinessesFlexPay’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.
-
10
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 -
11
We have moved to github! https://github.com/pfichtner/purgeannotationrefs Purge references to annotations out of the java bytecode/classfiles (remove the @Anno tag from annotated elements). Now you can use annotations to check constellations in bytecode after compilation but remove the used annos before releasing the jars.
-
12
The Universal Binary Repository Manager. This page is deprecated. Please see: https://www.jfrog.com/artifactory/
-
13
XML Unit
XMLUnit provides assertions that help testing code that produces XML.
...We keep using the Sourceforge infrastructure that has served as well for many years to host forums and mailing lists. XMLUnit for .NET 0.x is not maintained any longer. [1] https://github.com/xmlunit [2] https://sourceforge.net/p/xmlunit/mailman/xmlunit-general/ -
14
...All of the software on this web site has been deprecated, and has not been maintained since 2014. All of this software is now being maintained on Github - and can be obtained from https://github.com/jpaulm . Changes and enhancements are still ongoing, and while older software should still work, newer features described in the literature will not be available in SourceForge. The old license was the Artistic license - the software is now in process of being converted to LGPL. This will gradually take place (on Github) over the next few months (in 2016). ...
-
15
-
16
CRASM is a portable cross-assembler for 6800/6801/6803/6502/65C02/Z80. New repository: https://github.com/colinbourassa/crasm
-
17
Bakefile
Native makefiles generator
==== Bakefile development was moved to GitHub: https://github.com/vslavik/bakefile ==== Bakefile is cross-platform, cross-compiler native makefiles generator. It takes compiler-independent description of build tasks as input and generate native makefile (autoconf's Makefile.in, Visual C++ project, bcc makefile etc.). -
18
TICO
Interactive communication boards for people with severe disabilities.
TICO is currently a part of ARASUITE!!!! Please, look for ARASUITE in Sourceforge!!!! https://sourceforge.net/projects/arasuite/ TICO is a tool for the design and execution of interactive communication boards. Communication boards are highly used in augmentative and alternative communication (AAC) environments. -
19
Make Targeter for Eclipse/CDT
Compose build options with the declarative UI
The project moved to GitHub. SF version is no longer updated. See https://github.com/mikhail-barg/maketargeter for the latest versions. --- Make Targeter aims to help creating and building C/C++ make targets for projects where lots of build options are available in makefile. -
20
llvm-z80
LLVM backend for Z80
This project moved to https://github.com/earl1k/llvm-z80 -
21
Maven plugin for invoking JAX-RPC wscompile tool. Moved to https://github.com/anomen-s/maven-jaxrpc-plugin
-
22
...Pexpect can be used for automating interactive applications such as ssh, ftp, passwd, telnet, etc. Pexpect is pure Python. Note that Pexpect development has moved to Github: https://github.com/pexpect/pexpect
-
23
PHP MSSQL Server Admin - Query Analyzer
You can admin a SQL Server with php, like PHPMyAdmin for MySQL
Github repository: https://github.com/miguelaxcar/PHP-MSSQL-Server-Admin Web based tool written in PHP by Luiz Miguel Axcar to build and run queries on a remote or local MSSQL (Microsoft SQL Server). Support for SQL code highlight (!), table browser, field browser, TOP records, most used tables, CSV results export, etc. Most tested in SQL 2000 version. -
24
This multilanguage version of GJar (https://gjar.dev.java.net/) is a simple GUI tool to help developer to create JAR files. Since version 1.0.3 it can unpack jar files to join them into one. See internal help (Menu -> ? ->Help) for more details.
-
25
LIME (Less-is-More) is parallel/concurrent programming environment based on C. Internally, it uses XML technology to describe tasks and their dependencies. Externally, it offers the ANSI C99 programming as well as a set of visually-oriented interfaces.
