Search Results for "linux-kernel-webassembly" - Page 13
Sort By:
Showing 1976 open source projects for "linux-kernel-webassembly"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Turn more customers into advocates.The platform's advanced capabilities ensure companies get the most out of their referral programs. Leverage custom events, profiles, and attributes to enable dynamic, audience-specific referral experiences. Use first-party data to tailor customer segment messaging, rewards, and engagement strategies. Use our flexible APIs to build management capabilities and consumer experiences–headlessly or hybrid. We have all the tools you need to build scalable, secure, and high-performing referral programs.
-
1
RPM files of CalculiX, a free FEM package. See www.dhondt.de for the non-rpm base packages (cgx, ccx)
-
2
FUMOLA - Functional Mock-up Laboratory
An FMI-based co-simulation framework.
FUMOLA is a co-simulation framework specifically designed to support the features offered by the FMI specification. It provides a flexible platform that allows to configure and execute co-simulation setups in an easy way. FUMOLA is developed on top of the Ptolemy II framework (https://ptolemy.eecs.berkeley.edu) and the FMI++ library (http://fmipp.sourceforge.net). The online documentation of FUMOLA is available here: https://sourceforge.net/p/fumola/wiki/Home/ -
3
-
4
CoSMoSim
Visual & persistent families of models for CA, DEVS, and Statecharts
CoSMoSim offers an integrated framework for model development, simulation, & experimentation. Its unified logical, visual, and persistence framework supports specifying families of parallel CA, DEVS, Statecharts, and XML-Schema models (see DEVS-Suite simulator). -
DAT Freight and Analytics - DATDAT Freight & Analytics operates DAT One, North America’s largest truckload freight marketplace; DAT iQ, the industry’s leading freight data analytics service; and Trucker Tools, the leader in load visibility. Shippers, transportation brokers, carriers, news organizations, and industry analysts rely on DAT for market trends and data insights, informed by nearly 700,000 daily load posts and a database exceeding $1 trillion in freight market transactions. Founded in 1978, DAT is a business unit of Roper Technologies (Nasdaq: ROP), a constituent of the Nasdaq 100, S&P 500, and Fortune 1000. Headquartered in Beaverton, Ore., DAT continues to set the standard for innovation in the trucking and logistics industry.
-
5
libbencl
OpenCL wrapper to use with the gloost framework
-
6
Mathematica-SPICE
Call SPICE from Mathematica to enable advanced circuit optimization
This project connects the ubiquitous circuit simulation software, SPICE, with the powerful tools of Mathematica. This allows the optimization of circuits based on arbitrarily complex criteria. For example, automatically tune component values to match a desired filter profile. Tweak a circuit to maximize its efficiency. Match a circuit's output to an arbitrary waveform. As long as you can quantify your goal as a fitness function, you can automate the search for the optimal component specs. -
7
salomebinaries
Binary files of Salome-Platform
Version of Salome, tested with CalculiX Launcher: http://www.calculixforwin.com/ -
8
KMC-KaiC
Kinetic Monte Carlo simulation of the in-vitro Kai Circadian clock
This code is a dedicated Kinetic Monte Carlo (KMC) algorithm which simulates a model of the post-translational Kai circadian clock. The code allows you to simulate the Kai system at the level of individual KaiC hexamers and monomers and explicitly tracks the turnover of every ATP nucleotide. Apart from ATP hydrolysis, all reactions obey detailed balance. The application of the code is described in our article titled "A Thermodynamically consistent model of the post-translational Kai... -
9
QSS Solver
Modeling and simulation tool for continuous and hybrid systems.
UPDATE: ----------- This repository is no longer maintained, the new version of the QSS Solver is available at: https://github.com/CIFASIS/qss-solver -
Rent Manager SoftwareRent Manager is award-winning property management software built for residential, commercial, and short-term-stay portfolios of any size. The program’s fully customizable features include a double-entry accounting system, maintenance management/scheduling, marketing integration, mobile applications, more than 450 insightful reports, and an API that integrates with the best PropTech providers on the market.
-
10
FARSA
Framework for Autonomous Robotics Simulation and Analysis
FARSA is a collection of integrated open-source object-oriented C++ libraries that allow to experiment with autonomous robots. It allow to simulate different robotic platforms (the iCub humanoid and the khepera, e-puck, and marxbot wheeled robots), design the sensory-motor system of the robot/s, design the environment in which the robot/s operate, design the robot neural controller, and adapt the free parameters of the robot. -
11
RElt
calculates overlap, kinetic integrals for numerical atomic orbitals.
The efficient algorithm calculating the overlap and the kinetic integrals for the numerical atomic orbitals is implemented. The described algorithm exploits the properties of the prolate spheroidal coordinates. The overlap and the kinetic integrals in R^3 are reduced to the integrals over the rectangular domain in R^2, what substantially reduces the complexity of the problem. We prove that the integrand over the rectangular domain is continuous and does not have any slope singularities. For... -
12
A spring-based 3D graph layout tool written in Java. Rendering is performed in OpenGL via the JOGL library.
-
13
mzsystem
Simulator of planetary systems
This is a Delphi/Pascal class that implements a realistic simulator of planetary systems. You can design your own solar system, create custom planets or other objects and establish their gravitational relations using groups. See demos for Windows using OpenGL. -
14
BioFVM
3-D diffusion solver for biological problems
BioFVM is an open source diffusive transport solver for biological problems. It can solve for the diffusion of tens or hundreds of substrates on large 3-D domains. For simplicity, the code has minimal external dependencies. BioFVM was first published in: A. Ghaffarizadeh, S.H. Friedman, and P. Macklin. BioFVM: an efficient, parallelized diffusive transport solver for 3-D biological simulations. Bioinformatics 32(8): 1156-8, 2016. DOI: 10.1093/bioinformatics/btv730 method... -
15
circuitmod
The Future of the Java Circuit Simulator
Circuitmod is a circuit simulator that extend the capacity of the original Falstad's Java Circuit Simulator into CMOS Chips, Led Arrays, Led Matrix and PIC Programming. The Horizon is limitless. Try today. -
16
Scripted Roulette
Simulation tool for the casino game Roulette
Scripted Roulette is an original application which helps you to develop and analyze new betting strategies for the casino game Roulette. Learn and understand more about the chances you really have to win. -
17
MED-FOES
An Agent-Based Simulation of Invasive Pest Insects
MED-FOES is an implementation of a stochastic Agent-Based Simulation (ABS) system for analyzing demographic changes in a single population of Medfly (Ceratitis capitata) over time. The simulation currently takes population extinction as a given because it aims to give us better estimates of necessary quarantine lengths in areas where Medfly is not currently established but does repeatedly invade. Thus the objective of this software is to estimate the time to local extirpation based on known... -
18
That project aims at providing a clean API, and the corresponding C++ implementation, for the basis of Airline IT Business Object Model (BOM), ie, to be used by several other Open Source projects, such as RMOL, Air-Sched, Travel-CCM, OpenTREP, etc.
-
19
NGSolve is a general purpose Finite Element Library on top of Netgen. With the basic library one can solve heat flow equations, Maxwell equations, and solid mechanical problems. Several add-ons are available for particular application classes. New paper: J. Schöberl: "C++11 Implementation of Finite Elements in NGSolve", ASC Report 30/2014, Institute for Analysis and Scientific Computing, Vienna University of Technology,...
-
20
Spark is a physical simulation system. The primary purpose of this system is to provide a *generic* simulator for different kinds of simulations. In these simulations, agents can participate as external processes.
-
21
Nifty Sim is a high-performance nonlinear finite element solver, developed at University College London. A key feature is the option of GPU-based execution, which allows the solver to significantly out-perform equivalent commercial packages.
-
22
diauxic growth model ensemble
An ensemble of models showing diauxic growth behavior
An ensemble of mathematical model is presented that all show diauxic growth behaviour of a bacterial culture. Carbon catabolite repression (CCR) is the main mechanism controlling carbohydrate uptake in bacteria, and therefore also controlling whether or not different carbon sources are metabolized in parallel or sequentially. Although described as a paradigm of the regulation of bacterial metabolism, the underlying mechanisms remain controversial. The models in the ensemble can... -
23
Epidat
Statistical data analysis
Programa multiplataforma de libre distribución para el análisis estadístico y epidemiológico de datos. Free distribution cross-platform program for statistical and epidemiological analysis of data. Sitio web: http://www.sergas.es/Saude-publica/EPIDAT Souceforge: https://sourceforge.net/projects/epidat/ Wikipedia: https://es.wikipedia.org/wiki/Epidat -
24
In 2010, I reprogrammed the S7-200 emulator according to the manufacturer's specifications. The special feature I've added to it is the ability to connect to WinCC over the OPC protocol. Support: andrewpham.freelancer@gmail.com, live:andrewpham.freelancer, telegram:andrewphamvn Donate me: https://paypal.me/cnavn
-
25
Kinetic Model Builder
GUI for building, simulating and optimizing kinetic models.
A 3D graphical interface for building, simulating and optimizing Markov kinetic models in response to user defined time dependent stimuli. Models can be represented as either states and connecting transitions or interacting allosteric elements (see http://dx.doi.org/10.1085/jgp.201411183). Model parameters can be optimized by fitting model responses to user data. Optional user defined constraint equations for model parameters are parsed with EigenLab...
