Search Results for "void-linux" - Page 2
Sort By:
800 projects for "void-linux" with 2 filters applied:
-
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.
-
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.
-
1
eprb_signal_correlations
Simulation of a two-channel Bell test, with closed-form proofs
Derivation, entirely by probability theory, of the correlation coefficient for a two-channel Bell test, with simulation in Ada and other languages. The Nobel Committe for Physics bans this program for subversive content. (Mirror of the repository at https://github.com/chemoelectric/eprb_signal_correlations) -
2
KDIS
DIS(IEEE 1278.1) Fully Implemented in C++
A complete open source implementation of DIS (Distributed Interactive Simulation) in C++. 1278.1 and 1278.1a are fully implemented including enumerations. Includes several utility classes to help with developing your DIS app. DIS 7 work is ongoing. -
3
TexGen is a geometric textile modelling software package to be used for obtaining engineering properties of woven textiles and textile composites. Citing TexGen We would be grateful if you could acknowledge use of TexGen where appropriate and suggest using one of the following references: L P Brown and A C Long. "Modelling the geometry of textile reinforcements for composites: TexGen", Chapter 8 in "Composite reinforcements for optimum performance (Second Edition)", ed. P Boisse,...
-
4
Dike-ED
Simulator for medical emergency departments
Discrete-event simulator for medical emergency department resource allocation. -
Outgrown Windows Task Scheduler?Windows Task Scheduler wasn't built for complex, cross-platform automation. Get a free diagnostic that shows exactly where things are failing and provides remediation recommendations. Interactive HTML report delivered in minutes.
-
5
Digital Logic Design
Digital Circuits Design and Simulation
DLD V 2.0 Released Digital Logic Design is a Software tool for designing and simulating digital circuits. It provides digital parts ranging from simple gates to Arithmetic Logic Unit. You may start your circuit from simple gates and flipflops and keep on converting them into ICs. These ICs, later on, may be incorporated into other circuits to built more complex circuits like CPU. You may even use SOP expressions to generate digital circuits in IC form. You can use this software to... -
6
Frame3DD
Static and Dynamic Structural Analysis of 2D and 3D frames.
FRAME3DD is a program for the static and dynamic structural analysis of two- and three-dimensional frames and trusses with elastic and geometric stiffness. -
7
GridLAB-D is a new power system simulation tool that provides valuable information to users who design and operate electric power transmission and distribution systems, and to utilities that wish to take advantage of the latest smart grid technology. It incorporates advanced modeling techniques with high-performance algorithms to deliver the latest in end-use load modeling technology integrated with three-phase unbalanced power flow, and retail market systems. Historically, the inability...
-
8
-
9
-
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.
-
10
UIBM (= Universal Individual-Based Model) is an agent-based simulation/3d-dvisualization of the dynamics within multispecies plant communities of Northwest Europe, parameterized from databases using universal scaling laws.
-
11
The FMI++ Library
A High-level Utility Package for FMI-based Software Development
The Functional Mock-up Interface (FMI) specification intentionally provides only the most essential and fundamental functionalities in the form of a C interface. On the one hand, this increases flexibility in use and portability to virtually any platform. On the other hand, such a low-level approach implies several prerequisites a simulation tool has to fulfill in order to be able to utilize such an FMI component. The FMI++ library addresses this problem for models and tools with... -
12
ViennaSHE is a modern semiconductor device simulator for 1D, 2D and 3D device simulation. It relies on deterministic solutions of the Boltzmann Transport Equation using Spherical Harmonics Expansions.
-
13
Pysces
PySCeS is the Python Simulator of Cellular Systems
PySCeS is the Python Simulator of Cellular Systems. For a network of coupled reactions it does a stoichiometric matrix analysis, calculates the time course and steady state, and does a complete control analysis. -
14
PeerSim is a simulation environment for P2P protocols in java. Its features include easy configuration, extendability and high performance.
-
15
The Artificial SEM Image Generator (ARTIMAGEN) is a library that generates artificial scanning electron microscope (SEM) and helium-ion microscope images of various samples, including gold-on-carbon resolution sample, or some semiconductor features.
-
16
-
17
StateS
Draw and Simulate Finite States Machines (FSM)
Simple tool for drawing Finite State Machines (FSMs). StateS has moved to GitHub and will no longer be updated on SourceForge. New link: https://github.com/ClementFoucher/StateS -
18
Quan is designed to model physical quantities in C++ programs. Advantages include automated dimensional analysis checking, automatic unit conversions, self documentation of code.
-
19
Pushloc
A wireless push-type network simulator.
A wireless push-type network simulator that considers locality of demand for performance improvement. The network environment consists of multiple directed emitters for parallel data broadcasting. Performance depends on the mean response time of clients. -
20
Common Image Generator Interface (CIGI)
Industry standard communication with compliant image generators.
Software libraries and tools designed for implementation and testing of the Common Image Generator Interface (CIGI), an interface for communication between an image generator (IG) and host device in simulations. -
21
wxProdOp
NMR Product Operator Calculator
...Receiver phase cycling is possible in conjunction with pulse phase cycling to simulate coherence pathway selection. An extensive manual and help files are included. Currently running under Linux and Windows. -
22
Cantera is a suite of object-oriented software tools for problems involving chemical kinetics, thermodynamics, and/or transport processes. It can be used from MATLAB, Python, C++, or Fortran.
-
23
Tahoe is a research-oriented platform for the development of numerical methods and models for the simulation of complex material behavior.
-
24
ModbusPal - a Java MODBUS simulator
Modbus slave simulator
ModbusPal is a project to develop a PC-based Modbus simulator. Its goal is to reproduce a realistic environment, with many slaves and animated register values. Almost everything in ModbusPal can be customized and controlled by scripts. -
25
Quadrotor
Quadrotor control, path planning and trajectory optimization
This MATLAB-based repository contains implementations of quadrotor control systems, path planning, and trajectory optimization algorithms developed as part of an advanced robotics course at the University of Pennsylvania. It includes PD controllers, path planning via Dijkstra and A* algorithms, and trajectory optimization (minimum snap/acceleration). Run code: change trajectories in file control/runsim.m and run. See quadrotor_dynamics.pdf for dynamic modeling of the quadrotor. See...
