Linear Algebra Common Expressions (LACE) is a C++ templated library which allows you to operate with matricies and vectors inside your code as easy as on the whiteboard.
Todays digital nomads own tons of multimedia data. And they own a set of very different devices to record, store and access that data. INTERMEDIA is a European project that aims at user-centric multi media access.
Functions to convert to and from decimal to Canonical Signed Digit representation. Handles fractional numbers.
Useful for multiplierless hardware blocks on ASICs, FPGAs etc.
AI-powered service management for IT and enterprise teams
Enterprise-grade ITSM, for every business
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.
A cross-platform aplication to explore online free maps (OpenStreetMap). Build with python and pygame, full immersive environnement. Actually only source code, require pygame.
This tool translates the text of the selected language to the language of your choice in the status bar and add the translated text in a note. Esta ferramenta traduz o texto do idioma selecionado para o idioma de sua escolha na barra de status..
This software can be used to calculate thermochemical and kinetic quantities like, enthalpy, entropy, heat capacity and transition state theory rate constants from spectroscopic/quantum data.
vtkModeling-beta.zip: it is an extension of Visualization ToolKit 5.0. Basically it's a collection of deformation algorithms, like laplacian surface editing, moving least square, mass spring system, etc.
IFoam is an OpenFOAM derived framework. It uses Python programming language for definition of its API. Itegrates visual components for limited post-processing. Provides access to some GUI components for more efficient set up the simulation cases.
Guanxi is a robust analysis and simulation application for Social Network Analysts. Guanxi allows researchers in the field to create, import, and export an endless array of networks, analyze their structure, and run custom dynamics over them.
The Microchip PICkit 2 has the ability to act as a logic analyzer and I/O probe. This project provides a reverse engineered libusb user space device driver and GUI to provide this functionality for users of unsupported operating systems.
Translates OpenFOAM (Open Source CFD Toolbox, see http://sourceforge.net/projects/foam) data into MED format (see http://www.code-aster.org/outils/med). The initial goal to develop this utility was to be able integrate OpenFOAM functionality with SALOME
BASILISK is a probabilistic model of the conformational space of amino acid side chains in proteins. Unlike rotamer libraries, BASILISK models the chi angles in continuous space, including the influence of the protein's backbone.
The C Protein Folding Library is a minimalistic, high-performance modular library of C functions and data structures for computing folding simulations of proteins on a wide variety of computer hardware.