Search Results for "linux-kernel-webassembly" - Page 23
Sort By:
Showing 1319 open source projects for "linux-kernel-webassembly"
View related business solutions-
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
Find Hidden Risks in Windows Task SchedulerWindows Task Scheduler might be hiding critical failures. Download the free JAMS diagnostic tool to uncover problems before they impact production—get a color-coded risk report with clear remediation steps in minutes.
-
1
PetriNetExec: Java Embeddable Petri Nets
PetriNetExec a library for embedding Petri Nets into Java applications
Briefly said, PetriNetExec is an open-source Java library which allows you to embed Petri Nets into your Java application. Using PetriNetExec you can define places and transitions, connect them using arcs and inhibitors, define the initial marking and then fire events and see how tokens flow into the network. * PetriNetExec does not provide a GUI for editing the network nor will it provide in the near future. That is not really a feature :-) but to those of you able to cope with this... -
2
MIDA
Mitochondiral Infectious Damage Adaptation (MIDA) model of aging
This project provides the source code for the Mitochondiral Infectious Damage Adaptation (MIDA) model of aging. A probabilistic modeling approach is applied by solving the master equation in mitochondrial quality state space in the presence of fusion-fission events, decay of functional quality, mitophagy and mitochondrial biogenesis, as well as molecular damage originating from a random source or from infectious events during fusion and fission. The provided source code is written in... -
3
Bio.Cairn is a library of highly-configurable high-performance modules to support numerical simulators for biological processes. Written in ANSI-standard C++, it makes extensive use of template metaprogramming and the BOOST libraries.
-
4
nanoTuring
A minimal Turing machine simulator
https://github.com/thibaultduponchelle/nanoturing -
Atera all-in-one platform IT management software with AI agentsAtera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
-
5
ViennaFEM
A finite element solver using state-of-the-art programming techniques.
ViennaFEM is a library-centric implementation of the finite element method in C++. It features a symbolic math kernel, which manipulates the strong or weak form of the problem and automatically derives the discrete form. ViennaFEM is built on top of the following libraries: ViennaMath provides the symbolic math kernel, ViennaGrid (with ViennaData) allows for a generic grid handling and quantity storage, while ViennaCL provides the linear solvers and GPU acceleration. -
6
QDC (quick direct-method controlled) is an optimized exact implementation of the Gillespie's direct-method. It is designed for biochemical simulations when there is the need of dynamic parameters whose values can change during the simulation.
-
7
LIME
LIME is a software tool for creating multiphysics simulation codes.
The Lightweight Integrating Multiphysics Environment for coupling codes (LIME) is a small software package for creating multiphysics simulation codes. LIME is intended to be especially useful when separate computer codes (which may be written in any standard computer language) already exist to solve di fferent parts of a multiphysics problem. LIME provides the key high-level software (written in C++), a well defi ned approach (with example templates), and interface requirements to enable the... -
8
WindTunnel
A 3D wind tunnel simulator created in 2008 by a group of undergrads
A 3D wind tunnel simulator created in 2008 by a group of COMP314 students at The University of Waikato. The user is able to insert objects into the windtunnel and view a (very) rough simulation of the wind flowing around it. View the Wiki for detailed instructions on how to use it. Created by: Sam Sarjant, Kias Hafiz, David Spooner, Sam McIntosh, Kieran Ryan, Yong Chun Fu -
9
Powersim
Energy Estimation in SystemC.
Power/Energy simulation in SystemC. Powersim is a SystemC class library aimed to the calculation of power and energy consumption of hardware described at system level. To this end C++ operators are monitored and different energy models can be used for each data type. Powersim does not require any change in the application source code. Current version is 0.3.0. -
Skillfully - The future of skills based hiringSkillfully transforms hiring through AI-powered skill simulations that show you how candidates actually perform before you hire them. Our platform helps companies cut through AI-generated resumes and rehearsed interviews by validating real capabilities in action. Through dynamic job specific simulations and skill-based assessments, companies like Bloomberg and McKinsey have cut screening time by 50% while dramatically improving hire quality.
-
10
TRMSim-WSN (Trust and Reputation Models Simulator for Wireless Sensor Networks) is a Java-based simulator aimed to test Trust and Reputation models for WSNs. It provides several Trust and Reputation models and new ones can be easily added.
-
11
The software is related to the PhD thesis of Zoltán Farkas, used to simulate work distribution and processing in hierarchical desktop grid systems.
-
12
VERTIS Virtual Scanner
A virtual scanner for 3D models.
A virtual scanner that converts 3D models (in Wavefront .obj format) into pointcloud files (in PCL .pcd format). Useful for simulating robotic input. NOTE: This project has been merged into the project at https://github.com/canderegg/cfg_obj -
13
IPSA - Inventor Physics Simulation API
Easy to use physics simulation combining ODE with OpenInventor.
Create phyiscal simulations easily through IPSA which combines the OpenInventor 3D API with the Open Dynamics Engine (ODE). Scenes are read from .iv files and simulated in the supplied viewer applications. Find it at: http://ipsa.sourceforge.net -
14
Delayed Response Network
Neural network based on signal delays.
An artificial neural network, currently specialized to save a specific bit pattern, mainly by changing the signal propagation delays in links. More features, variables and algorithms will be added in time. -
15
Scicoslab Graphic Editor
Graphic Editor for Scicoslab
Graphic Editor for Scicoslab developed in Java with a 2D graphic editor and XML file output. -
16
smPla
SystemVerilog module to substitute Verilog PLA system tasks.
SystemVerilog module that models the following PLA system tasks of Verilog: $a/sync$and$array $a/sync$nand$array $a/sync$or$array $a/sync$nor$array $a/sync$and$plane $a/sync$nand$plane $a/sync$or$plane $a/sync$nor$plane. -
17
pyFormex is a program for generating, transforming and manipulating large geometrical models of 3D structures by sequences of mathematical operations.
-
18
Global Epidemic Simulator
A platform for modelling influenza-like epidemics and containment
The Global Epidemic Simulator is a platform for modelling directly transmissible human diseases such as influenza, and testing intervention policies that may reduce the duration or severity of an outbreak of such a disease. Building on previous work, this model is spatial and individual-based, using various geographical and demographic data sources to place households at absolute locations, populated with individuals of specific ages who each attend schools or workplaces situated in their... -
19
A language and a compiler for the solution of differential equations (ODE). Both lumped and distributed variables (PDE) will be possible. The ability to solve DAEs is a long term goal. The compiler generates a Python program that does the computation.
-
20
-
21
-
22
SMMP (Simple Molecular Mechanics for Proteins) is a program library for protein simulations with an emphasis on advanced Monte Carlo algorithms. It includes various force fields to calculate the energy of a protein and protein-protein interactions.
-
23
Tina's Random Number Generator Library (TRNG) is a state of the art C++ pseudo-random number generator library for sequential and parallel Monte Carlo simulations.
-
24
TuringIDE is an integrated development environment (IDE) for simulating Turing Machines with multiple tapes and states. It offers debugging tools, XML import/export, and other advanced features for scientific experiments on formal symbol allocations.
-
25
DIFFR is a menu-driven graphical software whereby the problem of a plane wave diffraction on a rough surface can be solved using several numerical and approximate methods.
