Search Results for "user"

Icarus Verilog is an open source Verilog compiler that supports the IEEE-1364 Verilog HDL including IEEE1364-2005 plus extensions.

Xschem is a schematic capture program, it allows to create a hierarchical representation of circuits with a top down approach . By focusing on interconnections, hierarchy and properties a complex system (IC) can be described in terms of simpler building blocks. A VHDL, Verilog or Spice netlist can be generated from the drawn schematic, allowing the simulation of the circuit. Key feature of the program is its drawing engine written in C and using directly the Xlib drawing primitives; this...

NOTE: Moved to https://github.com/vapier/pcalc Pcalc is a command line calculator handling HEX DEC OCT BIN. It can process a script, save variables to file, full math parser, parentheses, exponential, sin/cos, sqrt, date, inch/mm celsius/f, compound expressions ...

This is a suite of mathematical software solvers interface on DLV and other command-line solvers. It helps researchers and students to better comprehend their declarative definitions published on papers. The user can have links to the related papers and to the software of the corresponding definitions.

IDL2Matlab is an Automatic translation tool from an IDL program into Matlab and Scilab code. We do not guaranty a 100% conversion efficiency.

This project is no longer hosted in sourceforge but in github: https://github.com/ibex-team/ibex-lib/

An Electronic Definition Interchange Format (EDIF) parser which allows exports from one EDA schematic capture system (such as OrCad) for import into another (such as KiCad)

lilpM32 is a MIPS-like processor designed in Logisim, assembler program and documentation for them. Complete assembler and fully functional instruction set with I/O and subroutines features allow to write full-blown complicated programs.

Kure is a C library which provides manipulation of relations and operations of relation algebra using a fast implementation using binary decision diagram. It provides a Lua based domain-specific embedded programming language to conveniently manipulate and work with relations. For instance, given relations R, S, the tupling of them can be computed using [R,S] and they can be composed using R*S.

A strong, yet minimalistic Math-oriented Programming Language (MML) providing an easy-to-use console and a command-line script interpreter, targetted towards fast calculations for extremely big numbers, and bundled with a number of math libraries.

MGFp is open parser implementation for the Mascot Generic Format (MGF). It uses bison/flex to define a formal grammar and provides the necessary C++ adapter classes. The software is provided under a BSD license. Development on SF.net has ceased. You can find the project at http://kirchnerlab.github.com/libmgf/

A compiler to improve relation management between mobile users. This compiler will handle data islands for data transportation between a client mobile phone and a server node accesing a cellular network.

GRAMophone is an algorithmic generator of music composition. The music is generated using two kinds of formal grammar: Chomsky’s grammar for TOP DOWN approach to the composition and a reduced version of Lindenmayer grammar for BOTTOM UP approach.

The LEO-SYSGEN project deals with development of the Sysgen tool for Linux Based ECOS interface for OSEK/VDX Based RTOS. Feel free to download-develop-submit and query about it!!!

Phight - a phylogeny tree building program Currently, it supports Likelihood method and distance method. This program will includes diagnostic function as a special feature.

The Jorne project develops software and open standards for linking Lojban text with WWW and Semantic Web metadata (e.g. RDF/N3, RSS, XML). Lojban is an artificial spoken and written language based on predicate logic.

CHIMP aims to provide a complete suite of tools for the investigation and modeling of chemical systems. It currently is able to parse chemical reaction mechanisms and run kinetic Monte Carlo simulations on the reacting system.