Search Results for "software auth program"

4tH is a Forth compiler with a little difference. Instead of the standard Forth engine it features a conventional compiler. 4tH is a very small compiler that can create bytecode, C-embeddable bytecode, standalone executables, but also works fine as a scripting language. It supports about 95% of the ANS Forth CORE wordset and features conditional compilation, pipes, files, assertions, forward declarations, enumerations, structures, suspended execution, recursion, include files, etc. It comes...

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.

devFlowCharter is a complete environment for creating program flowchart, source code generation, and compilation. Its main goal is to be straightforward, educational tool for use during procedural programming classes.

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 tools to speed up the development on php Package included the: 1. Generator for php & c# code 2. Sample code of php

The C++ Basic is an object-oriented language with features from C++, Java, Basic and Euphoria programming languages. A C++ Basic program is converted to C++, that looks similar to the original C++ Basic code.

Programa de formatação de código Delphi (Object Pascal) para Html para postar códigos em Blogs em especial para o Blogspot. Program code formatting Delphi (Object Pascal) to Html codes to post in Blogs in particular for Blogspot. Vídeo de Demonstração Demo video http://www.youtube.com/watch?v=7LbdhOzDxwA

This is a program designed for programmers who may have to write code that is almost identical except for a few values that change along the way. Enjoy :)

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.

Parse software messages and transform them into actions. LazyBat has a command line utility which can transform input data, and also a parser generator for C/C++. LazyBat doesn't support recursive parsing, but rather focuses on common parsing jobs.

A graphical interface programming system allowing the visualization of code and capability to generate threaded code. The user constructs code segments using visual boxes. The program flow is represented as links between the boxes.

Set of Add-ins to run standard Cygwin/Unix command line facilities from Excel. Creates batch files, runs them as part of excel (or independent of) to : ZIP, GZIP, BZIP2 files, dos2unix & unix2dos files. Also automates DOS DIR to list files to spreadsheet

Introduction: A set of macros to provide C/Pascal -like structures in assembly program: if-else-endif, while-endWhile, repeat-until, switch-EndSwitch, for-EndFor, downFor-EndDownFor, try-catch-finally-EndTry. Objective: Encourage writing of assembly

Generate Pascal and/or C code starting from a simple HTML-like file. You insert then the output in your program and with a simple call to a function you'll see on the screen the linked HTML! In the future the format will be HTML/XML.