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

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.

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.

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/

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.

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

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

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.

>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> dub is now available at github: https://github.com/galan/dub >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>

ccTrayIcon is a Java application which displays a 'traffic light' icon in your system tray, showing the current build status of projects on a CruiseControl integration server. It should run on any platform supported by JDIC [https://jdic.dev.java.net/].

The CrazyBeans project is now hosted at https://github.com/BITPlan/CrazyBeans