Search Results for "software auth program"

MLton is a whole-program optimizing compiler for Standard ML. MLton generates small executables with excellent runtime performance, utilizing untagged and unboxed native integers, reals, and words, unboxed native arrays, fast arbitrary-precision arithmetic based on GnuMP, and multiple code generation and garbage collection strategies. In addition, MLton provides a feature rich Standard ML programming environment, with full support for SML97 as given in The Definition of Standard ML...

Foreval is compiler of mathematical expressions (formulas) (directly to x86-32 CPU/FPU/SSE instructions) given as string at run-time. Present as "dll" library and Delphi sources. Can be compiled in FPC (Lazarus). Can be direct connection to the program (without dll). Сurrent version ( v. 9.1.1.395B): Examples for Delphi, Lazarus , GCC (Codeblock), MSVC. Demo: Fractals Julia; Visualizing of functions of complex variable - complex domain coloring , graph plotting & finding...

The programming language ATS unifies implementation with formal specification by accommodating a programmer-centric approach to program verification: How do we know a program being implemented correctly? We ask the programmer to demonstrate it with a proof.

CIL (C Intermediate Language) compiles C programs into a simplified subset of C and assists with program analysis and transformation.

After a program has been thrown into the world in binary form, it can boomerang back as source code. The Boomerang reverse engineering framework is the first general native executable decompiler available to the public.

A new way to program on VEX Robotics.Easy vb-style objective program style.

This project is designed to teach begining programers how to program. It implements the best parts of the upper end languges. The compiler is designed to be able to convert into all of the best languges out there, while maintaining speed and power.

The software generates automatically concurrency control code based on a given specification. Specifications consist of a description of the concurrency constraints, a state machine description of the processes and/or threads that are to be coordinated, and the C code associated with each state of the state machines. The output of the software is a C program containing the implementation of the concurrency constraints and the segments of code given in the specification.

UIMP(Unified Image Manipulation Program) is an OS independent Image Processing system, which provides over 1000 algorithms and supports web online, console and GUI program.