RSS 33 projects tagged "YACC"

Download No website Updated 25 Jun 2004 logictree

Screenshot
Pop 8.37
Vit 59.87

logictree solves propositional formulas and tries to solve predicate formulas, using semantic tableaux.

Download Website Updated 02 Mar 2005 Xross Tab Compiler

Screenshot
Pop 11.14
Vit 57.74

xtcc is a set of tools being developed for market research data processing. It is comprised of the following components: xtcc compiler, a data processing backend, qscript, a questionnaire scripting language, a data conversion program for converting data from the qscript format to data processing backend format, and dpassist, a tool to aid in the writing of tabulation and edit specs. The input for this program will be the questionnaire script or map file for the data.

No download No website Updated 08 Jul 2010 FSMGen

Screenshot
Pop 16.16
Vit 37.16

The FSMGen program is a compiler that assembles a state machine definition into executable code in C. The output is designed to be generic and is not bound to any particular input. The tarball contains source code and a Makefile for building it on Linux systems.

No download Website Updated 16 Jul 2011 OpenSMTPD

Screenshot
Pop 20.69
Vit 31.78

OpenSMTPD is an RFC compliant, secure, and simple SMTP server ported from OpenBSD to Linux. It supports the SMTP protocol, including SSL versions for added security, virtual domains, forward files, and external delivery agents like procmail, and can do most of the basic things that other MTA implementations do.

Download Website Updated 01 Jan 2014 cproto

Screenshot
Pop 164.61
Vit 16.58

cproto generates function prototypes for functions defined in the specified C source files to the standard output. The function definitions may be in K&R or ANSI C style, or in the lint library form. cproto can also convert function definitions in the specified files from the K&R style to the ANSI C style.

Download Website Updated 02 Mar 2014 HGL Suite

Screenshot
Pop 389.34
Vit 15.20

HGL is a compiler/interpreter suite for developing images. It features its own simple but powerful language, Lua integration, output in various formats as well as runtime input handled by plugins, and easy integration into various environments like Web servers or graphical applications. The input is taken from a source file, which has to be compiled for quick and frequent access by the interpreter. An interpreter then runs the compiled files, takes input from custom plugins (if neccessary), and outputs its result via custom plugins.

Download Website Updated 02 Nov 2013 Fbi IMproved

Screenshot
Pop 90.05
Vit 10.08

FIM (Fbi IMproved) aims to be a highly customizable and scriptable image viewer targeted at the users who are comfortable with software like the Vim text editor or the Mutt mail user agent. It is based on the Fbi image viewer and works either in the Linux framebuffer console or in the X system. It features the ability to filter the list of images with regular expressions, Vim-like autocommands, command line autocompletion and history, completely customizable key bindings, external/internal scriptability, and much more.

Download Website Updated 09 Jul 2013 dwarf-ng

Screenshot
Pop 65.04
Vit 6.45

dwarf-ng is a small and powerful object file manipulator. With dwarf-ng, you can read, edit, and manipulate section headers, inject code or data, and create new section headers of object files. Currently, it handles object files in the PE, Mach-O, and ELF formats. For the moment, dwarf-ng only has a command-line interface. dwarf-ng is fully scriptable (as it has a scripting language), and is flexibly configurable.

No download Website Updated 30 Oct 2006 Nonpareil

Screenshot
Pop 101.56
Vit 6.42

Nonpareil is a microcode-level simulator for HP calculators introduced between 1972 and 1982, including the HP-35, HP-45, HP-55, HP-25, HP-34C, HP-38C, HP-41CV, HP-11C, HP-12C, HP-15C, HP-16C, and other models. The necessary microcode is included, as is a microcode assembler. The GTK+ toolkit is used for the user interface.

Download Website Updated 04 Oct 2009 fsc2

Screenshot
Pop 51.87
Vit 6.28

fsc2 is a program for controlling spectrometers. Experiments are done by interpretation of scripts written in a simple language, EDL. Devices are handled via modules in order to allow easy integration of new devices. More than 50 devices are supported, connected via serial port, GPIB, LAN, or USB as well as data acquisition cards, etc. The state of an experiment can be remotely monitored via a built-in Web server.

Screenshot

Project Spotlight

launch4j

A cross-platform Java application wrapper for creating Windows native executables.

Screenshot

Project Spotlight

Dada Mail

A simple, Web-based mailing list manager.