Search Results for "git:/git.code.sf.net/p/docfetcher/code"
Sort By:
54 projects for "git:/git.code.sf.net/p/docfetcher/code" with 2 filters applied:
-
The #1 solution for profitable resource managementUnlike spreadsheets or clunky PSAs, Float offers a clear, centralized view to schedule teams, plan capacity, estimate work, and track margins in real-time so that you can keep your people and profits on track.
-
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.
-
1
Armadillo
fast C++ library for linear algebra & scientific computing
... * Downloads: http://arma.sourceforge.net/download.html * Documentation: http://arma.sourceforge.net/docs.html * Bug reports: http://arma.sourceforge.net/faq.html * Git repo: https://gitlab.com/conradsnicta/armadillo-code -
2
Bandicoot
fast C++ library for GPU linear algebra & scientific computing
* Fast GPU linear algebra library (matrix maths) for the C++ language, aiming towards a good balance between speed and ease of use * Provides high-level syntax and functionality deliberately similar to Matlab * Provides an API that is aiming to be compatible with Armadillo for easy transition between CPU and GPU linear algebra code * Useful for algorithm development directly in C++, or quick conversion of research code into production environments * Distributed under the permissive Apache 2.0 license, useful for both open-source and proprietary (closed-source) software * Can be used for machine learning, pattern recognition, computer vision, signal processing, bioinformatics, statistics, finance, etc * Downloads: http://coot.sourceforge.io/download.html * Documentation: http://coot.sourceforge.io/docs.html * Bug reports: http://coot.sourceforge.io/faq.html * Git repo: https://gitlab.com/conradsnicta/bandicoot-code... -
3
Avogadro
An intuitive molecular editor and visualization tool
Avogadro is an advanced molecular editor designed for cross-platform use in computational chemistry, molecular modeling, bioinformatics, materials science and related areas. It offers a flexible rendering framework and a powerful plugin architecture. -
4
TFEL/MFront
TFEL/MFront introduces DSLs based on C++ to handle material knowledge
...Various performance benchmarks show that the code generated using MFront is in most cases on par or better than other implementations, generally written in Fortran. For mechanical behaviours, MFront introduces interfaces for various finite element or FTT solvers (Cast3M, Code-Aster, ZeBuLoN, Abaqus, Europlexus, AMITEX_FFT, etc..). The authors hope that it will prove usefull for researchers and engineers, in particular in the field of solid mechanics. -
Planfix: Manage Projects, Team's Tasks and Business ProcessesPlanfix is like a souped-up business process management system for folks who really know their stuff. It's built to help you dive deeper and gives you more options than your run-of-the-mill project and task management systems. Best part? Even small businesses and non-profits can get in on the action.
-
5
zkcm
A C++ library for multiprecision complex-number matrix calculations.
zkcm library is a C++ library for multi-precision complex-number matrix calculations. It provides a number of functionalities including the LU decomposition, the singular value decomposition, tensor product calculation, tracing-out operations, etc. -
6
gendasm
Generic Code-Seeking Diassembler with Fuzzy-Function Analyzer
GenDasm is a Generic Code-Seeking Diassembler engine. It allows you to enter known starting vectors for a given code image for the micro. It will disassemble the code and follow through branches to assist in the separation of code and data. Its included Fuzzy Function Analyzer companion uses a DNA Sequence Alignment Algorithm to locate similar code in multiple binaries to facilitate reverse-engineering and/or code recovery. -
7
-
8
Adaptive Simulated Annealing (ASA)
simulated annealing optimization and importance-sampling
Adaptive Simulated Annealing (ASA) is a C-language code that finds the best global fit of a nonlinear cost-function over a D-dimensional space. ASA has over 100 OPTIONS to provide robust tuning over many classes of nonlinear stochastic systems. -
9
Strings Edit
String editing and formatting library for Ada
...For floating-point output either relative or absolute output precision can be specified. UTF-8 encoded strings are supported, including wildcard pattern matching, sets and maps of code points, upper/lowercase, and other Unicode categorizations. -
MaintainX is the world-leading mobile-first workflow management platform for industrial and frontline workers.Your day-to-day maintenance tasks, simplified. MaintainX eliminates the paperwork, so you can spend less time on your clipboard and more time getting things done.
-
10
Foreval
Foreval is parser & compiler of mathematical expressions
Foreval is compiler of mathematical expressions (formulas) (directly to x86-32 CPU/FPU comand) given as string at run-time. Present as "dll" library and Delphi sources. Can be compiled in FPC (Lazarus). Can be direct connection to the program (without dll). Сurrent version ( v. 9.1.1.395): Examples for Delphi, Lazarus , GCC (Codeblock), (Builder, MSVC - in b.366). Demo: Fractals Julia; Visualizing of functions of complex variable - complex domain coloring , graph plotting... -
11
forevalz
ForevalZ - compiler of mathematical expressions with complex numbers
ForevalZ - compiler of mathematical expressions(formulas) with support of complex numbers (directly to CPU/FPU x86-32 comand) given as string at 'run-time'. (dll library and delphi component). Can be compiled in FPC (Lazarus). Examples for Delphi (2009), FPC , C++(Builder(2009), MSVC(2010), GCC (Codeblock)), VB.NET, VB6, FreeBasic. Demo: Fractals Julia; Visualizing of functions of complex variable - complex domain coloring . (math parser, math expression parser, evaluate formula,... -
12
CalculiXforWin
Open-Source Multiphysics FEA (FEM) Package
CalculiX Binaries for MS Windows, made with CYGWIN and ARPACK libraries. CalculiX is most popular FEA open-source package (like Code-Aster and Elmer-FEM). it is comparable in features with most known commercial packages like ANSYS, NASTRAN, Abaqus, etc. Good for structural, mechanical, thermal and fluid applications (trusses, plates, frames, shells, solid bodies). It has powerful nonlinear capabilities (including tension/compression only material like concrete) and most types of analysis (modal, thermal, buckling, coupled, etc) . ... -
13
JDFTx
Joint Density Functional Theory
JDFTx is a plane-wave density functional theory code designed for electronic structure theory development. One prominent unique capability is the treatment of solvated electronic systems using joint density functional theory. Please see http://jdftx.org for download and compile instructions, tutorials, documentation and citation information. -
14
m6811dis
M6811 Code-Seeking Disassembler
The M6811 Code-Seeking Disassembler is a command-line tool that lets you enter known starting vectors for a given code image for the 6811 micro. It will disassemble the code and follow through branches to assist in the separation of code and data. Its companion Fuzzy Function Analyzer uses DNA Sequence Alignment Algorithms to locate similar code in multiple binaries, facilitating reverse-engineering. -
15
RMGDFT
Real Space Multigrid based electronic structure code.
...News: V2.1 with many improvements released on 07/15/2016. Sources and binaries are available. RMG is a density functional theory (DFT) based electronic structure code that uses real space grids to represent wavefunctions, charge densities and ionic potentials. Designed for scaleability it has been run successfully on systems with thousands of nodes and hundreds of thousands of CPU cores. It is currently under active development and contributions are gladly accepted. -
16
ObjectVolume
Calculates Volume, Surface Area & Centroid of a Closed Triangular Mesh
The ObjectVolume program calculates the volume, surface area and centroid of a closed triangular mesh represented in an object file (.obj). The process goes through the list of triangles that make up the surface and, for each triangle, forms a tetrahedron with an external point. The program uses the origin (0,0,0). The volume of the tetrahedron is then calculated. Tetrahedrons with back facing triangles are added and those with forward facing triangles are subtracted yielding the object... -
17
Patlac--Xml2cpp is a totally customizable code generator that generates classes (c++ for now) automatically from a xsd schema. Classes are described in google-ctemplate files and a xml options file allow precise definition of projects.
-
18
SmGen
Verilog Finite State Machine (FSM) Code Generator
...On the other hand, it is not an FSM entry tool. The input is behavioral Verilog with clock boundaries specifically set by the designer. SmGen unrolls this behavioral code and generates an FSM from it in synthesizable Verilog. Clock boundaries are explicitly provided by the designer so there is good control on the expected timing -
19
owfs and owhttpd
Project moved to https://github.com/owfs/owfs/
Please note that OWFS source code, and all Issue/Tickets/merge requests have now been moved to https://github.com/owfs/owfs/. Developer mailing lists will still be kept at Sourceforge. ---- OWFS -- 1-Wire file system. Use the Dallas 1-Wire and iButton chips with standard filesystem commands. Create temperature loggers. Monitor everything. OWHTTPD -- same system, only used as a light weight web server. -
20
ParaFEM
Parallel finite element analysis
ParaFEM is an open source platform for parallel finite element analysis. The source code and philosophy are documented in the text book Smith, Griffiths and Margetts, "Programming the Finite Element Method", 5th Edition, Wiley, 2014. The software is written in modern Fortran and uses MPI for message passing. -
21
SODE
Program to solve differential equations using long Taylor series
Program to generate a program to numerically solve either a single ordinary differential equation or a system of them.It is a Ruby program, now called omnisode, which generates either Ruby, C, C++, Maple or Maxima code. Code can be generated for all languages under Linux. Ruby can be generated under Windows. All can be generated under cygwin, but would need work on execution of Maple. Omnisode itself is Ruby, which is needed in all cases to generate the program. -
22
FORTRAN Unit Test Framework (FRUIT)
FORTRAN Unit Test Framework FRUIT - TDD in FORTRAN
...Rake used as build tool. Tutorials at http://fortranxunit.wiki.sourceforge.net The core testing part is in FORTRAN, this part can be used independent of the Ruby codes. The Ruby code is to make fixtures and reports easier. Rake is to build the project elegantly. This project also demonstrate a new way to build mixed language code in an alternative way than Make. Most of the FORTRAN are important in nature, used in nuclear and aerospace codes, etc, and maintained and written actively. Please help to bring TDD practices to the FORTRAN community. ... -
23
BioFVM
3-D diffusion solver for biological problems
BioFVM is an open source diffusive transport solver for biological problems. It can solve for the diffusion of tens or hundreds of substrates on large 3-D domains. For simplicity, the code has minimal external dependencies. BioFVM was first published in: A. Ghaffarizadeh, S.H. Friedman, and P. Macklin. BioFVM: an efficient, parallelized diffusive transport solver for 3-D biological simulations. Bioinformatics 32(8): 1156-8, 2016. DOI: 10.1093/bioinformatics/btv730 method paper: http://dx.doi.org/10.1093/bioinformatics/btv730 -
24
XASTIR
Multiplatform Ham Radio APRS and Mapping Program
NOTE: Code commits are FROZEN on SourceForge: New code is now at <http://github.com/Xastir/Xastir>. Real-time tracking & messaging of stations via radio/internet APRS data streams, w/125 map formats supported. Linux/FreeBSD/Solaris/MacOSX/Windows in any of 7 languages. Can also be used for mobile mapping w/GPS. MAILING LISTS ARE AT: PROJECT->WEB SITE. -
25
Asterix
Asterix is command line parser and Wireshark plugin for ASTERIX
...ASTERIX defines the structure of the data to be exchanged over a communication medium, from the encoding of every bit of information up to the organisation of the data within a block of data - without any loss of information during the whole process. More about ASTERIX protocol you can find here: http://www.eurocontrol.int/services/asterix Source code is available at: https://github.com/CroatiaControlLtd/asterix
