Search Results for "user mode linux"
Sort By:
Showing 14 open source projects for "user mode linux"
View related business solutions-
Deploy Red Hat Ansible Automation Platform on Microsoft Azure for a strategic automation solution that allows you to orchestrate, govern and operationalize your Azure environment.
-
Save time, money and your sanity. Deluxe Payment Exchange+ (DPX+) is our integrated payments solution that streamlines and automates your accounts payable (AP) disbursements. DPX+ ensures secure payments and offers suppliers alternate ways to receive funds, including mailed checks, ACH, virtual credit cards, debit cards, or eCheck payments. By simply integrating with your existing accounting software like QuickBooks®, you’ll implement efficient payment solutions for AP with ease—without costly development fees or untimely delays.
-
1
Icarus Verilog is an open source Verilog compiler that supports the IEEE-1364 Verilog HDL including IEEE1364-2005 plus extensions.
-
2
XSCHEM
Schematic circuit editor for VLSI and Mixed mode circuit simulation.
... top speed performance, even on very big circuits. I have succesfully managed to simulate complete VLSI projects with this tool, both digital (Verilog / VHDL) and analog (Spice). Schematics can be printed in SVG, PNG, PDF, formats. XSCHEM runs on Linux or other Unix-likes with Xorg server and on Windows with the Cygwin layer and required tools installed. Can be found also on github: https://github.com/StefanSchippers/xschem -
3
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 ...
-
4
Logic Lab
This is a suite of mathematical software solvers GUI
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. -
From improving customer experience through seamless sign-on to making MFA as easy as a click of a button – your login box must find the right balance between user convenience, privacy and security.
-
5
IDL2Matlab is an Automatic translation tool from an IDL program into Matlab and Scilab code. We do not guaranty a 100% conversion efficiency.
-
6
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)
-
7
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.
-
8
Kiel University Relation package
Fast C library for relation algebra using binary decision diagrams.
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. -
9
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.
-
We design our technology to make workforce management easier. APS offers core HR, payroll, benefits administration, attendance, recruiting, employee onboarding, and more.
-
10
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/
-
11
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.
-
12
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!!!
-
13
Phight - a phylogeny tree building program Currently, it supports Likelihood method and distance method. This program will includes diagnostic function as a special feature.
-
14
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.
- Previous
- You're on page 1
- Next