Search Results for "git:/git.code.sf.net/p/docfetcher/code" - Page 3
Sort By:
140 projects for "git:/git.code.sf.net/p/docfetcher/code" with 2 filters applied:
-
The most advanced C and C++ source code analyzerTrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
-
QA Wolf | We Write, Run and Maintain TestsQA Wolf is an AI-native service that delivers 80% automated E2E test coverage for web & mobile apps in weeks not years.
-
1
ViennaGrid is a generic mesh handling library that provides the traversal of structured and unstructured grids in arbitrary spatial dimensions, in particular 1d, 2d and 3d. Quantities can be conveniently stored on mesh elements using ViennaData.
-
2
"gtdev" is an open source tool which assists the engineer in developing a new gas turbine (1D Thermo- and Aerodynamics). It is created by the student research group "Hummingbird - TUM Gas Turbines" placed at the LFA, TU Munich: http://www.hummingbird.tum.de
-
3
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.
-
4
VOpR
VOpR - a virtual optical rail
...The virtual optical rail as a ray-tracing simulation of the optical system. The goal is to provide fast and useful diagnostic images, not realistic blur. Additionally there is full access to the java source code under the terms of the GPLv3. -
Connect with customers in one appDialpad Connect is an AI-powered unified communications platform that combines voice, video, and messaging to enhance team collaboration and customer interactions. It features real-time call transcription, automated call summaries, and AI-generated action items to help users stay focused during conversations. The platform integrates seamlessly with popular business apps like Salesforce, Zendesk, Microsoft Teams, and Google Workspace to streamline workflows. Designed for businesses of all sizes, Dialpad Connect delivers enterprise-grade reliability with 100% uptime SLA and robust disaster recovery. Security and privacy are core priorities, meeting standards like GDPR, HIPAA, and SOC 2 compliance. Dialpad Connect helps companies elevate customer experiences while boosting team productivity.
-
5
Discrete Dipole Aproximation Project
Plugin orientated Discrete Dipole Approximation (DDA) Solver
Discrete Dipole Approximation Project, is a software package designed to solve the Discrete Dipole Problem by the Discrete Dipole Approximation (DDA) method. This software is desgined to be plugin operated allowing for easy implimincation of new solver methods to improve the efficienty of the code. The plugin support also allow the program to write its output in multiple formats and structures defined by plugins. -
6
SunlightDPD
Open source codes related to dissipative particle dynamics
SunlightDPD provides a home for open source codes related to the dissipative particle dynamics (DPD) simulation method. Currently the file release contains the HNC integral equation code. -
7
ASCEND is a modelling environment and solver for large or small systems of non-linear equations, for use in engineering, thermodynamics, chemistry, physics, mathematics and biology. Solvers for both steady and dynamic (NLA & DAE) problems, are provid
-
8
A collection of Java ports of open source terrain and solar system generation packages. Code has been extensively refactored, extended and documented. GPL License with exception for required libraries.
-
9
XCTruck3D _Truck
realistic truck simulator with 3D graphics done from zero
A truck/car simulator,with realistic physics and oldstyle graphics: it displays pixels through the SDL graphics routines, or the X11 if using that version (has some issues:so use the SDL ver).While the 3D graphics is done by the program itself without external libraries.The environment is a hilly terrain:total freedom to drive around.A remake of the classic "Terep 2". Written in the C programming language: although the code is 30 pages long, it's simple. Trailer can be detouched pressming 'l' (minuscle ELL) so to drive a normal car. There's an OpenGL version too: see the CTruck3D _Open,and an ASCII-Art ver (Term_ CTruck3D). This is also a good dydactical software: code is easy to undersand,and drawing procedures and physics sim procedure are written from 0 so it's clearly understandable how a complete 3D game is done in C, starting from a blank page of any plain text editor.Only basic knowledge of C was used. ... -
Optimize every aspect of hiring with Greenhouse RecruitingWhat’s next for many of us is changing. Your company’s ability to hire great talent is as important as ever – so you’ll be ready for whatever’s ahead. Whether you need to scale your team quickly or improve your hiring process, Greenhouse gives you the right technology, know-how and support to take on what’s next.
-
10
GridPACK is a community-developed open-source collection of code for use in power systems research, analysis, and operation.
-
11
PyMbs has moved to Bitbucket: https://bitbucket.org/pymbs/pymbs PyMbs is a Python library for modelling holonomic multibody systems. It is able to generate simulation code for Python, Modelica and Matlab.
-
12
CTruck3D _Open
realistic truck & car simulator, with OpenGL graphics
update: https://sourceforge.net/projects/newctruck3drally/ It's a 3D, physically realistic truck/car simulator, oriented to dirt tracks. This is subsancially kept as hystorical. The environment is a hilly terrain which can also be user-defined in the form of a Bitmap image file (where intensity of red component defines height). It's similar to the classic "Terep 2". Particular care for internal cam. Written in standard C. There's a Windows executable ready for use, but it's compilable... -
13
EduLB
The educational lattice Boltzmann code
EduLB is a small and easy to handle lattice Boltzmann code for channel flow. Main objective is to give interested people the opportunity to play around and see how things work. For feedback, leave a review, leave a comment on the discussion page or send me a private mail. -
14
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.
-
15
Java Evolutionary Computation Library
As of 2012-12-18, this project may now be found at Google Code.
As of 2012-12-18, this project may now be found at http://http://code.google.com/p/paba JECO is a Evolutionary Computation Library deveoloped in Java. It includes a variety of evolutionary optimization techniques such as genetic algorithm, genetic programming, evolutionary mapping methods, particle swarm optimization, ant colonies, etc. -
16
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. -
17
Evrika
Science simulator and advanced calculator based on modules
...Evrika is used for creating both simulations and modules, so you can build your own module of elements, then use them to create virtual experiments and simulations. Also, you can make advanced calculations. Evrika is basically an executable that reads and interprets code, outputing result. Each new version will offer new possibilities to define your elements and use them, so it is important to always have the last release. Of course, Evrika is backward-compatible, cross platform and free to use. In the near future an advanced editor and viewer will be created, so you can better manage your code and view the results. -
18
SunlightLB is an open-source 3d lattice Boltzmann code which can be used to solve a variety of hydrodynamics problems, including passive scalar transport problems.
-
19
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.
-
20
A collection of classes and functions that can be used to simulate 802.11 (a or p) physical layer operations. Makes use of the IT++ library and contains several receiver implementations as well as channel models and simulation examples.
-
21
MICROMECHANICS
A collection of lecture notes and accompanying code on micromechanics
The collection MICROMECHANICS (micromechanics.zip) includes: (1) lecture notes (microbook.pdf) on the analysis of heterogeneous materials and homogenization, and (2) source codes (microcode.tar.bz2) that accompany the computational exercises in Part II of the notes. Instructions on using the codes are given in the README file of each exercise. Further instructions can be found in the file microcode.tar.bz2. The MATLAB codes are used for visualization, evaluating analytical bounds... -
22
EpiFire GUI is a graphical user interface for simulating epidemics on contact networks (C++/Qt, available under GPLv3). For source code and the EpiFire C++ API (for programmers, also GPLv3), go to http://github.com/tjhladish/EpiFire/wiki
-
23
PetriNetExec: Java Embeddable Petri Nets
PetriNetExec a library for embedding Petri Nets into Java applications
...That is not really a feature :-) but to those of you able to cope with this news I suggest to read further; * Petri Nets are created with PetriNetExec by writing Java code and using the provided API; * PetriNetExec provides a simple yet powerful callback mechanism allowing you to actually do something when events are fired and the network status is changing. * PetriNetExec is embeddable into your Java application. This means that you can build your own application and add Petri Nets into it. * PetriNetExec is open-source. -
24
LIME
LIME is a software tool for creating multiphysics simulation codes.
...LIME provides the key high-level software (written in C++), a well defi ned approach (with example templates), and interface requirements to enable the assembly of multiple physics codes into a single coupled-physics simulation code. To achieve its flexible lightweight design objectives, LIME 1.0 requires that some amount of customized software be written each time a new multiphysics application is created. Also, modest high-level revisions or modifications to most stand-alone physics codes may be required to meet interface requirements. Detailed descriptions of these requirements together with example cases are provided in a users guide. -
25
Powersim
Energy Estimation 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.
