Search Results for "https"
Sort By:
28 projects for "https" with 2 filters applied:
-
Junie, the AI coding agent by JetBrainsJunie is an AI-powered coding agent developed by JetBrains designed to enhance developer productivity by integrating directly into popular IDEs such as IntelliJ IDEA, PyCharm, and Android Studio. It supports developers by assisting with code completion, testing, and inspections, ensuring code quality and reducing debugging time.
-
Propel Software: Product Value Management Platform for ManufacturersPropel is a cloud-native Product Value Management platform that unifies PLM, QMS, and PIM in one connected system, giving manufacturers complete visibility and control across the entire product lifecycle. It provides a single source of truth for all product data, streamlines change management, strengthens quality and compliance processes, and accelerates time-to-market by eliminating the silos and manual steps that slow teams down.
-
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
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
-
3
...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
-
4
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 -
Contract Management Software | ConcordConcord serves small and mid-sized businesses and Fortune 500 companies. This robust, web-based platform is used by human resource, sales, procurement, and legal teams, and virtually anyone who deals with contracts.
-
5
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. -
6
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. -
7
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 -
8
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. ...
-
9
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 -
Remotely access and manage devices to provide on-demand IT support. View the screen and control a remote computer or mobile device.ISL Light is an easy-to-use remote desktop software for security-conscious users. It comes at a great price-performance. ISL Light is a powerful tool that helps IT staff and support technicians solve problems remotely, either through unattended access, remote support or even though screen-sharing on mobile devices. It works cross-platform and offers 256-bit encrypted sessions with all standard remote access features plus some important extras: session recording, live chat, videocall, multi-monitor support, file transfer, reporting and many more. Users can choose between cloud or on-premise service. ISL Online license does not limit the number of users, workstations and clients you support. It's a reliable and highly secure software used in all industry sectors including banks, hospitals, governmental institutions and insurances.
-
10
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
-
11
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. -
12
...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
-
13
-
14
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 -
15
The cobcurses project has moved to github.com. Visit https://github.com/ve3wwg/cobcurses for all future project updates and documentation. This project consists of a Cobol interface to curses(3X) using a Screen Designer utility. This project is being developed for use with the Open-Cobol compiler project.
-
16
C+- programming language and WinC+- pack
also download updates from files section
Please, read Wiki for more information: https://sourceforge.net/p/cplusminus/wiki/Home/ -
17
** We moved ** Website: http://ecoder.info/ Github: https://github.com/Ecoder/Core Google Group (support): https://groups.google.com/d/forum/ecoder-support
-
18
-
19
Dresden OCLallows to query arbitrary EMF-based models. It provides an advanced OCL2 Editor, a Parser, an Interpreter, and a Codegenerator for Java and SQL. WE MOVED TO GITHUB. PLEASE VISIT https://github.com/dresden-ocl/dresdenocl
-
20
Platform-independent PostgreSQL diff tool that is useful for schema upgrades. The tool compares two schema dump files and creates output file that can be used for upgrade of old schema. Project sources and issue tracker has been moved to https://github.com/fordfrog/apgdiff.
-
21
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.
-
22
Moved to https://sourceforge.net/projects/thelei A code Generator which generate files like RoR based on database schema using user defined javascript file template, support multiple databases
-
23
Remote Invocation Framework (RIF) is a framework for RMI that is 100% dynamic and uses WS over HTTP and HTTPS for brokering. Finally a framework exists to enable RMI with less that 6 lines of code including both the client & server side.
-
24
xbgtk - an xbase/Harbour/xHarbour object-oriented wrapper for using the GTK+ GUI. This project has been deprecated in favour of https://github.com/tuffnatty/hbgi, an approach that uses GObject Introspection for automatic bindings.
-
25
Parser OBjectS (POBS)
Native Java parser framework
Native Java parser framework, no (pre-)compilers needed. Closely follows BNF syntax. Optimized for performance and low overhead. Highly flexible and extendable using a streamlined API. Integrate semantics, tracing and even context sensitive parsers.
