Search Results for "git:/git.code.sf.net/p/docfetcher/code" - Page 79
Sort By:
Showing 2027 open source projects for "git:/git.code.sf.net/p/docfetcher/code"
View related business solutions-
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.
-
Sage Intacct Cloud Accounting and Financial Management SoftwareDrive your organization forward with the right solution at the right price. AI-powered continuous accounting and ERP to support your growth now and into the future.
-
1
Instrumenting Arduino programs via visual diagrams. The official source repository is located at https://github.com/textbrowser/glitch.
-
2
RegMapDef is a project to provide an XML schema and associated tools to support a standardized way of describing register maps. The tools shall incorporate XSL style sheets and scripts to generate documentation, header files, implementation stubs etc.
-
3
-
4
OCFit
Python package for fitting of O-C diagrams.
...For install it, download/clone this repository or download suitable binary file from releases. Not working yet! The first release comming soon... Requirements numpy matplotlib PyAstronomy pymc Installation is possible from source code or using build installation binary file (only for OS Windows). The following procedure is only for installation from the source code. Extract files and go to new-created folder. Running script setup.py the installation will be done: python setup.py install -
Securden Windows Privilege ManagerRemove local administrator rights on Windows servers and endpoints. Seamlessly elevate applications for standard users. Grant time-limited rights on-demand. Control application usage by remote employees through whitelisting and blacklisting.
-
5
XlsToFormula
XlsToFormula translates xls files' formulas to binaries/executables.
XlsToFormula fits a scenario, in financial institutions, where xls files are maintained by financial departments, then comes an software application that needs to make use of that (usually large) xls file. Running Excel on the server side is not a feasible solution. Even Office Web Components is not that efficient handling large files. The solution? XlsToFormula; light, fast and running executable. -
6
This project aim to develop a suite of tool to ease the development of ASIC/FPGA solution. The final program should be an IDE enabling the creation and specification of a project from it's start to finish.
-
7
We attempt to provide code to calculate the emergent spectrum of a Hydrogen atmosphere Neutron Star accurate to .01%.
-
8
-
9
midi2gmn
Code library for converting MIDI and GLN files to GUIDO Music Notation
-
Contractor Foreman is the most affordable all-in-one construction management software for contractors and is trusted by contractors in more than 75 countries.Starting at $49/m for the WHOLE company, Contractor Foreman is the most affordable all-in-one construction management system for contractors. Our customers in 75+ countries and industry awards back it up. And it's all backed by a 100 day guarantee.
-
10
OlsenRoutes is a software environment with a powerful difference. It provides online users with a library of statistical tools and access to Olsen's database (1985 through today) of tick-by-tick foreign exchange trading prices.
-
11
Improving the speed of the signal analysis code for Seti@home. Leveraging modern processors advanced features such as SIMD and parallel execution units, as well as identifying better methods to code existing functions.
-
12
Knowledge Flow Checker
KF Checker is a tool for analysing Information Flow properties.
KF Checker infers information flow rules from source code. The rules obtained in this way are used to create a theory which it then exploited to prove that information flow policies are respected. -
13
UVE
Unified Verification Environment
...UVE makes the rapid development of a verification environment a simple process. The generated TB is directly able to perform random actions on the DUV (design under verification). For this UVE provides a graphical user interface, a code generator, compilation scripts and a library of verification IPs (VIP). One of the main innovations of UVE is a list of TODOs in the TB code which help in finalizing the TB. This is especially useful for developers not familiar with SV and/or UVE, but also experienced developers profit from that easy to use task list. Moreover, the graphical interface lets the user observe the structure of the generated testbench. ... -
14
A 2D robotic simulation built on top of the Box2D physics engine. The goal is to make the code ridiculously easy to understand and extend.
-
15
-
16
-
17
-
18
Fork of the gigapan firmware project for the gigapan beta units. Adds new features to the original firmware and largely cleans up the code to allow new features to be build.
-
19
A software framework to support distributed evolutionary software development. It dynamically creates a network of nodes that can run a pre-distributed source code (e.g. artificial lifeforms). The results of the calculation will be sent back to the maste
-
20
-
21
devsimpy
Python-based GUI for discrete-event system modeling and simulation
DEVSimPy is an advanced wxPython GUI for the modeling and simulation of systems based on the DEVS (Discrete EVent system Specification) formalism. Features include powerful built-in editor, advanced modeling approach, powerful discrete event simulation algorithm, import/export DEVS components library and more. -
22
Matlab and Octave code to fit a mixture of Gaussians with covariance regularization to data using EM update rules.
-
23
This Project contains the software for the various AVR-Microcontroller-Boards for a modular, autonomous hexapod (see: www.ni-c.de/hal0). Source-Code is written with Eclipse in C. The used compiler is the open source AVR-GCC for AVR microcontrollers (ATTi
-
24
Developmental code for digital on-board and ground station controls to build a Space Elevator robotic climber.
-
25
optragen
Optimal Trajectory Generation Software for MATLAB
This is a MATLAB toolbox that transforms optimal control problems into nonlinear programming problems, which can be solved using MATLAB or other solvers like SNOPT. The current version only interfaces with SNOPT. You will need MATLAB, along with symbolic and spline toolbox to run this code
