Search Results for "crowd simulation code" - Page 2
Sort By:
Showing 75 open source projects for "crowd simulation code"
View related business solutions-
Stop Storing Third-Party Tokens in Your DatabaseRolling 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.
-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
1
G4LTL-ST
Generating PLC programs from formal specifications
G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications. See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv. -
2
Attitude Estimator
A C++ implementation of a nonlinear 3D IMU fusion algorithm.
Attitude Estimator is a generic platform-independent C++ library that implements an IMU sensor fusion algorithm. Up to 3-axis gyroscope, accelerometer and magnetometer data can be processed into a full 3D quaternion orientation estimate, with the use of a nonlinear Passive Complementary Filter. The library is targeted at robotic applications, but is by no means limited to this. Features of the estimator include gyro bias estimation, transient quick learning, multiple estimation algorithms,... -
3
flAVR
A simulator for Atmel's 8/16-bit AVR microcontrollers
flAVR is a simulator for the Atmel(tm) AVR(tm) microcontrollers written in C. The project aims to implement a cycle-accurate AVR CPU core simulator along with a range of peripherals, allowing firmware written for a variety of parts to be run on a host PC. In addition, flAVR provides enhanced interactive debugging functionality - featuring breakpoints, data watchpoints, execution tracebuffers, flash/RAM/EEPROM viewers, and run-time disassembler. flAVR also implements the GDB remote... -
4
SVUnit
Systemverilog Unit Test Framework
SVUnit is a unit test framework for developers writing code in systemverilog. Verify systemverilog modules, classes and interfaces in isolation with SVUnit to eliminate bugs before they infest your design! -
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
5
The SoapUI download has moved to https://www.soapui.org/downloads/soapui/source-forge.html With more than 9 million downloads SoapUI is the de-facto standard for REST and SOAP API functional, security and performance testing.
-
6
Mock.js
A simulation data generator
...Without modifying the existing code, you can intercept Ajax requests and return simulated response data. An intuitive interface. Support the generation of random text, numbers, Boolean values, dates, emails, links, pictures, colors, etc. Support to expand more data types, support custom functions and regulars. -
7
Petri-LLD is a graphical development environment for real-time automation control and is written in Java. It is based on a form of Petri net, and compiles to a number of programmable logic controller (PLC) languages as well as Java and Visual Basic.
-
8
============================= THIS CODE IS DEPRECATED ============================= For updated information about MTSA visit: http://mtsa.dc.uba.ar
-
9
Qfsm
A graphical Finite State Machine (FSM) designer.
A graphical tool for designing finite state machines and exporting them to Hardware Description Languages, such as VHDL, AHDL, Verilog, or Ragel/SMC files for C, C++, Objective-C, Java, Python, PHP, Perl, Lua code generation. -
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
10
RANGE: produce random genetic transcription networks in the NEMO language, which when compiled outputs models in Systems Biology Markup Language. Generate synthetic microarray data, or use NEMO alone to SBML-ize a network, or visualize it in cytoscape.
-
11
Keep-Cool
Smart controller for the fan(s) of your Mac
This project is a simple daemon (aka service) for Apple Mac Computers developed from the source code of the famous smcFanControl command line tool. It runs in background as system service and dynamically changes the speed of you Mac's fan(s) in order to keep it cooler. This tool can be fully configured from command line and can also run in simulation mode from the terminal. -
12
Electro-Mechanical Computer Simulation
An electromechanical computer simulation.
This project is a simulation of an electromechanical computer based upon the design presented in Charles Petzold's book "CODE: The Hidden Language of Computer Hardware and Software" -
13
The target system of this project is to develop mathematically efficient program code generator from cellml like biological models described by mathematical markup languages.
-
14
UCS (Ultra Corba Simulator) is one powerful corba client/servant simulator tool. It doesn't need idl-related helper class or IR service.
-
15
itemis CREATE - formerly known as Yakindu Statechart Tools (SCT) - is a tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms. Visit http://www.statecharts.org for more information! !! YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools
-
16
Open HLA (oh-la) provides an open-source implementation of the HLA RTI spec 1.3, IEEE 1516 and IEEE 1516 Evolved. It also provides a framework to wrap the standard RTI classes and FOM to code generation to make life simpler.
-
17
Japrosim is a java library for both discrete event and continuous simulation. GUI for modeling and automatic code generation are offered. An explanation module is integrated. Models are described in XML and owl for interoperability.
-
18
CrowdDoc for Eclipse
CrowdDoc provides a context-driven documentation from the web
CrowdDoc is an Eclipse plugin aiming to provide most relevant information for the currently selected code element. The behaviour is similar to JavaDoc view, but is not limited to single language, and uses crowd-sourced documentation resources, such as StackOverflow. The project is inspired by a work from Ninlabs Research (http://blog.ninlabs.com/2012/05/crowd-documentation/) Eclipse p2 update site: http://crowddoc.sourceforge.net/updates -
19
PIN
Provenance in NetLogo
This tool can trace, capture, query and visualize the dependency provenance in NetLogo. It consists of four main components: a source code analyzer used to automatically add probes to the model's source code, a NetLogo extension for capturing the provenance traces generated from probes, a non-preprocessing (NP) provenance slicing technique for computing provenance slices using provenance traces, and a visualization component for visualizing the provenance slices. It is compatible with... -
20
parFE is fully-parallel high-performance finite element code targeted to the modeling of trabecular bones in humans. It employs scalable multigrid solvers for efficient solutions on massively parallel computers.
-
21
scd_EUgran
EUgran solver for OpenFoam with new Boundary Conditions.
In the spirit of open source software, feel free to use the code for the boundary conditions. We have tested it last year for the simulation of fluidized beds. It is an extension of the standard twoPhaseEulerFoam. It includes J&J BC's and the newer BC's for the solid phase of Schneiderbauer et. al., which are a modification of the work of Jenkins and decide between sliding and non-sliding particle-wall collisions. -
22
Frc Robot Simulator
A library that allows programs for a NI CRIO to be run on a computer.
...Some things we've fixed since 0.1a: Kinect no longer throws an exception upon instantiation, the Watchdog is usable, array elements can now be edited in the gui, and lots of under the hood reimplementation to replace native methods. DISCLAIMER: this is not like the diamond bullet studios simulation, this only simulates how the hardware would act, so that code can be tested. It is not our goal to provide a program that allows simulation for strategy testing, nor will it ever be. -
23
ACADO Toolkit
Toolkit for Automatic Control and Dynamic Optimization
ACADO Toolkit is a software environment and algorithm collection for automatic control and dynamic optimization. It provides a general framework for using a great variety of algorithms for direct optimal control, including model predictive control, state and parameter estimation and robust optimization. ACADO Toolkit is implemented as self-contained C++ code and comes along with user-friendly MATLAB interface. The object-oriented design allows for convenient coupling of existing optimization... -
24
GeneSim is a code generator for dynamic systems: it takes an XML description of the system and produces the code that executes it. The typical usage of GeneSim is to generate simulators of engineering systems.
-
25
The fast2armc program translates source code of a counter automata model for FAST(er) tool to the ARMC prolog syntax.
