Search Results for "program"
Sort By:
Showing 31 open source projects for "program"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Total Network Visibility for Network Engineers and IT ManagersThis means every device on your network, and every interface on every device is automatically analyzed for performance, errors, QoS, and configuration.
-
1
umple
The Umple Model-Oriented Programming Technology
...They can start with a pure model, containing only classes, associations, attributes and state machines, and then gradually add methods in one of the base languages to the Umple code base. Alternatively a developer can start with a normal program in a language like Java, and add modeling constructs in very small increments, gradually moving their system from a code-centric system from a model-centric system. Either way, Umple provides top-quality code generation. Umple is being used, for real systems. In fact the Umple compiler itself was written in Umple. Any Java, C++ or PHP project could use Umple. ... -
2
Automatic Drawing Generation
A canvas library for generating technical drawings
...A demo application is provided in order to show the capabilities of the canvas. Although it is possible to interact with the library directly in C (that is what the adg-demo program is doing), the canvas is expected to be used from higher level languages, much in the same way as what done in the GNOME stack. Lua bindings based on LGI are already provided out of the box. The adg-lua project, downloadable from the "Files" section, provides Lua programs and demos that leverages these bindings. -
3
Z Word Tools
Write, check, index and diagram Z specifications in Microsoft Word.
...Provides: WYSIWYG editing fully integrated into Word; Typechecking using fuzz (for Spivey Z) or CZT (for ISO standard Z); Indexing and cross-referencing; Diagrams of specification structure; Conversion from Spivey to Standard Z- also available as a stand-alone program and Java class for non-windows users. See project website for details. -
4
Brain AutoML
Google Brain AutoML
This repository contains a list of AutoML related models and libraries. Google Brain researchers have introduced a new way of programming automated machine learning (AutoML) based on symbolic programming. The researchers also proposed PyGlove, a general symbolic programming library for Python, to implement the symbolic formulation of AutoML. AutoML, designed to fill the machine learning industry’s talent gap, is gaining traction among various organizations. -
Argos KYC aims to provide a global online identity verification solution for KYC and AML screening.Argos KYC is an identity verification service provider. Identify Anyone Anywhere Anytime. Argos KYC provides a seamless digital Know Your Customer experience. Build the identity management system for your business with a hassle-free KYC solution.
-
5
Blueprint Builder
The markup language for design the programs
Blueprint Builder is an integrate environment for development the blueprint documents. Blueprint is a technology for designing : 1. structure of program 2. process of development 3. business processes The technology is compatible with Rational Unified Process Articles about Blueprint in english and ukrainian reveals the major moments of the using Blueprint technology. Examples of the using technology includes the blueprints of MultiText Editor, Blueprint Builder and Neutrino (Java library for text editing) The program costs $500. ... -
6
DRAKON Editor
A free cross-platform editor for the DRAKON visual language.
DRAKON is a diagram language developed within the Russian space program. Its primary objective is presenting complex software systems in a way which is easy to understand by humans. DRAKON's motto: took a glance - understood at once. DRAKON Editor helps software architects, quality specialists and developers. Architects and quality assurers can express a high-level view of how their product works. -
7
DBDoc
Database to PlantUml or yEd diagrams.
Program creates the database table diagrams from databases metadata. -
8
Tag Cloud Maker
Make a tag cloud from text in your files
The Tag Cloud Maker application allows the specification of a source folder containing files that are parsed and the words counted and displayed in an HTML word tag cloud. -
9
dxf2mod
DXF to Kicad Module File Converter
This program converts DXF line, circle, and arc entities to the Kicad module file format. Possible improvements include pad detection, and scaling. Currently it the unit system must be in inches for all software. The program itself was written in Autohotkey so it must be used on a Windows machine. I chose this language as it is what I am most familiar with. -
Predict and Mitigate Operational Risk While Streamlining Regulatory CompliancePredict360 is a risk and compliance intelligence platform developed by 360factors, an enterprise risk and compliance technology and services company. Predict360 is an artificial intelligence (AI)-powered platform that integrates risks and controls, KRIs, regulations and requirements, policies and procedures, audit and examinations, and training in a unified, cloud-based system. Predict360’s SaaS architecture platform and deliver predictive analytics, data insights for predicting risk, and streamlined compliance.
-
10
glob
OpenGL 3D Mesh generating library
...GLOB doesn't do any rendering to the screen and only builds the attributes for the mesh. Thus, the user must provide his own shader programs. However, if there is no current shader program registered, a default one is used which will depict the mesh under simple lighting and texture map. The GLOB API is very simple and intuitive to use, providing opportunities for customization, including that of normal and texture mapping. -
11
This program is used to create and solve queueing network models using Mean Value Analysis using a GUI front end and the WX widget library.
-
12
The fast2armc program translates source code of a counter automata model for FAST(er) tool to the ARMC prolog syntax.
-
13
Galois sub-hierarchy builder
Visualize Galois sub-hierarchy of 2d matrix
..."Performances of Galois Sub-hierarchy-building algorithms" by Gabriela Arevalo, Anne Berry, Marianne Huchard, Guillaume Perrot and Alain Sigayret In you're in need of other GSH algorithms or their realizations in C++, you might want to investigate a project called Galicia on sourceforge. This program is free software and is licensed under GNU General Public License as published by the Free Software Foundation. Only jre7 compliant at the moment. -
14
XJML
XJML 1.0 is a platform for Verification and Validation of Java classes
XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71) -
15
AMELiA is a collection of libraries developed at the Arts, Media and Engineering Program at Arizona State University. It includes the AME Patterns library, a generic C++ library for modeling, recognition and synthesis of sequential patterns.
-
16
-
17
Introspection JAVA is a student project, where we have to do a Program to discover others JAVA Programs. We are from ENSISA (High School diploma in France) for this project.
-
18
-
19
2D-GraLab is a program that is dedicated to automatically generating schematic representation of nonbonding interactions across the protein binding interfaces.
-
20
this project want to be a must program: with this software many people can modelling a UML Diagram at the same time!!
-
21
ArchMapper is a Tool for mapping architecture descriptions of a program to a Java implementation. It offers two main functions: Generating Java source code stubs from an architecture and checking a Java implementation for conformance with an architecture
-
22
Source code template library for encapsulation of highly-visible program data. Provides storage, access control, and duplication. Enforces modular access pattern, restricting normal functions from object access. Also protects simple objects and POD.
-
23
LSystemBuilder is a program for editing and visualizing L-systems. LSystemBuilder makes it easy to explore fractals, FASS-curves and complex branching structures. Naturally LSystemBuilder comes packed with loads of predefined L-systems.
-
24
This program converts a CSV-file into a dia-file, that can by converted with yadia2sql.py into sql-language for many databases like mysql or oracle.
-
25
A plug-in for Eclipse that allows users to debug programs using UML models in order to detect regions of divergence between the model and the program.
