Search Results for "https"

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

...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

...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).

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.

...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

...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

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.

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.

**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.

...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

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.

The Universal Binary Repository Manager. This page is deprecated. Please see: https://www.jfrog.com/artifactory/

...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/

...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). ...

This project has moved. Its new home is https://jpakkane.github.io/meson/

CRASM is a portable cross-assembler for 6800/6801/6803/6502/65C02/Z80. New repository: https://github.com/colinbourassa/crasm

==== 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.).

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.

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.

This project moved to https://github.com/earl1k/llvm-z80

Maven plugin for invoking JAX-RPC wscompile tool. Moved to https://github.com/anomen-s/maven-jaxrpc-plugin

...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

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.

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.

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.