Put idle assets to work with competitive interest rates, borrow without selling, and trade with precision. All in one platform.
Geographic restrictions, eligibility, and terms apply.
Get started with Nexo.
Compliant and Reliable File Transfers Backed by Top Security Certifications
Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.
Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
This project aims to provide libraries in a few languages which allow for NORAD general perturbation element sets to be used in calculating the position and velocity of space objects.
This project going to develop a thermodinamical server for chemical simulation, equip design, scientific module for other aplication or chemical education. Also the thermo server is developed to complete the project of chemical simulation Sim42.Spanish
Little b is a Lisp-based language which allows scientists to build shareable, reusable mathematical models of complex systems based on shared parts. The initial focus is molecular and multicellular networks.
Project web page: http://www.littleb.org
The objective of SPUC is to provide the Digital Communications Systems Designer or DSP Algorithm designer with simple, efficient and reusable DSP building block objects written in C++.
"Java Artificial Intelligence Markup Language PAD" is a tool that manages ProgramD AI (on local or remote machines) and AIML files with real-time previews and it provides a network support to test AI capabilities over many network protocols.
Ordinary Differential Equation (ODE) solver for Tcl. Handles both stiff and non-stiff sets of equations; does time-evolved initial value problems and root finding. Based on the popular Lawrence Livermore solver LSODE.
Tuatara Turing Machine Simulator is a graphical tool for designing and executing Turing Machines. Designed primarily for teaching purposes, it features a simple point-and-click interface.
Auth0 Token Vault handles secure token storage, exchange, and refresh for external providers so you don't have to build it yourself.
Rolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
Mito-MAS-m is a simulator of the mitochondrial inner membrane and the enzymatic complexes embedded in it, implementing a coarse-grained (CG) model of the molecules using rigid structures and Dissipative Particules Dynamics (DPD) as motion equation.
Matho is a OS Independant Application and API for mathematical operations, features include curve sketching, calculus, iterative formulae, algebra solver, 2d/3d geometry and mechanical and statistical functionality.
RDV is a visualization environment for scientific and engineering data. Built on top of the RBNB dynamic data server, it supports local and remote data sources and can visualize numeric, video, image, and audio data in a number of different ways.
ComLinC (a COMmunications Library IN C programming language), a C library for communications research and simulation. It's based on GSL. ComLinC aims at providing elegent, fast functionality to the frequently encountered problems in communications area.
A MATLAB package to simulate sample paths of the solution of a Itô or Stratonovich stochastic differential equation (SDE), compute statistics and estimate the parameters from data.
A note of caution: SDE Toolbox is no more developed but it's still downloadable. Its inferential capabilities can be considered surpassed (at best). Actually the parameter estimation methods were already far from the state-of-art when the project began in 2007 (!). The considered implemented parametric and...
The Automatic Model Optimization Reference Implementation, AMORI, is a framework that integrates the modelling and the optimization processes by providing a plug-in interface for both. A genetic algorithm and Markov simulations are currently implemented.
This project about providing run-time support for developing Decentralized Autonomic Computing systems (Eclipse Innovation Grand). Currently the project contains a automatic guided vehicle (AGV) simulator and an editor and visualisation as eclipse plugin
SpiNet is a neural simulation tool for large spiking networks with highly heterogeneous synapses. Neurons are modelled as I&F units with dual exponential synaptic conductances. Complex network models can be easily built using the included tool NetBuilder
A Java-written MIPS simulator developed to stimulate people learning the Assembly language. It adds graphics, sounds and user interation to make writing assembly programs more interesting.
FSEM is a set of freeFEM++ scripts and C++ code to solve the drift-diffusion (DD) semiconductor device equations by the finite element method (FEM). It was initially developed for the nonlinear study of semiconductors under high optical injection.
Neurofitter is a parameter tuning package for electrophysiological neuron models. For more information please take a look at http://neurofitter.sourceforge.net
JavArch is a simple gate-level and above simulator. It is written in Java so it is portable and uses Java's builtin event-driven mechanisms to reflect how electronics actually work.
libLCS is a hardware description library in C++ aiming to be as powerfull and easy as the Verilog HDL. It currently supports logic gates, flipflops, clock, and facilitates delays, continuous assignments and variable value dumping into VCD files.
Algorithm::MatchingModel is a perl library for running match simulations and statistics for two-sided matching problems. It includes classes for a preference factory, algorithm plug-ins, and gathering statistics between rounds.
The GPS Simulator simulates a GPS receiver which emits NMEA sentences over Bluetooth. It can be used to test location based applications on real mobile devices, in particular on mobile devices which have a JSR 179 implementation based on a connected GPS.