Combining the benefits of static and dynamic source code analysis to deliver the most advanced & exhaustive code verification tool.
TrustInSoft 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.
Learn More
CloudZero: The Cloud Cost Optimization Platform
CloudZero automates the collection, allocation, and analysis of your infrastructure and AI spend to uncover waste and improve unit economics.
CloudZero is the leader in proactive cloud cost efficiency. We enable engineers to build cost-efficient software without slowing down innovation. CloudZero's next-generation cloud cost optimization platform automates the collection, allocation, and analysis of cloud costs to uncover savings opportunities and improve unit economics. We are the only platform that enables companies to understand 100% of their operational cloud spend and take an engineering-led approach to optimizing that spend. CloudZero is used by industry leaders worldwide, such as Coinbase, Klaviyo, Miro, Nubank, and Rapid7.
FGMP - Hotel Management V1.2 supports the management of a hotel/pension, i.e. creating/canceling/editing of bookings, billing, creating/editing rooms/categories/users and storing guest data. Operating System: Windows/Linux/Mac Language: multilanguag
SEEKING NEW MAINTAINER.
Java-library for manipulating the file-format of the gnucash open source accounting-software. Usable to automate accounting-tasks using e.g. HBCI or invoice-parsing or to simplify the preparation of your taxes. Contains a portable gnucash-viewer/editor.
Convert your QIF financial transactions to a format that is suitable for importing into other applications, e.g. http://www.grisbi.org/. Transform the records to improve the data being imported, move fields around or replace them completely!
The LogHelper is designed to parse FIX messages (4.0, 4,2 and 4.4) out of a given file. It is not tied to any one FIX engine or log file format. The parser is smart enough to pull out FIX messages from files local or on Sftp and then export them !!
Software for managing apps and accounts | WebCatalog
Tired of juggling countless browser tabs? WebCatalog Desktop turns your favorite web apps into dedicated desktop apps
Turn websites into desktop apps with WebCatalog Desktop—your all-in-one tool to manage apps and accounts. Switch between multiple accounts, organize apps by workflow, and access a curated catalog of desktop apps for Mac and Windows.
DocsFree is the first and only open source java-based Docs App Server. DocsFree is offered as an alternative to proprietary Docs solutions MS Office Online and Sharepoint, as well as to proprietary Docs SaaS offerings such as Google Docs.
Montly budgeting with carry-forwards and hierarchical budget categories. Supports drag-and-drop of banking data in table form. Runs on any system with Java SE (6 or later).
FiMi - Finacial Instuments Management Interface is a API which provides Financial Instument Data such as Quotes or Inrerest Rates. Where all the Data is stored in a PSQL Database. You can see my sf diary for details.
Adapting ADempiere to the Serbian language and accounting standards. Превод Адемпjера, креирање контног плана и додатних модула по РС 33 стандарду за Србију.
plausj a collection of checksum algorithms used to validate business keys like bank account codes or credit card numbers. It's compiled as JVM bytecode files (although it's not necessarily implemented in Java) and can be used on JRE 1.5 and later.
JExcelApi is a java library which provides the ability to read, write, and modify Microsoft Excel spreadsheets. This project mirrors the files on http://www.jexcelapi.org, which has been known to go down on occasion.
MonteCarlo portfolio simulation - it can be used as stand-alone command line application - it takes simple XML file needed data as entry and creates simple XML file with output, also this stuff have JNI and ISAPI interface.
JCollectIt is a small and simple application for managing associations and their members. It allows to create german DTAUS files for membership fee payment. If you want more focus on managing take a look at http://sourceforge.net/projects/admidio/
A simple budgeting program that uses envelopes to track income and expense transactions. This is a bare bones program that does what it needs to do, not give hundreds of features that the average person won't use.
To switch historical data quotes, from a format to a other one.
For example to move historical data quotes from MetaTrader4 to NinjaTrader.
Or to move historical data quotes from NinjaTrader to MetaTrader4 .
The Smart Spender application is going to be an online Budget Management system which takes a 37signals / agile approach to delivering iterative features and only building relevant, simple to use features. Less is more.
A very simple Equity Investment Stragety Analyser tool.
What it does :
- Maintain Stock portfolios
- Simulate Investment using NSE Historical bhav datafiles
- Analyze different investment strategies against index performance
- Graph the results
Sharp Tools is a java spreadsheet. It features
full formula support, standard cvs file format, printing support, undo/redo, a
clipboard, sorting, data exchange with Excel, histogram
generation, and a built-in help system.
Software that lets students easily keep track of their economy. The system uses data from csv files from the users internet bank to generate statistics over the users spending and economy.
This is a crossplatform java suite, for workflow and data management of Law Firms. eLawManager is the english ver. - eLawOffice.it is the italian. It's a standard client-server application with a webapp version.Support OASIS opendocument and openoffice.
The mobile expense is a midlet for tracking expenses.
The aim of the project is to be fully configurable by the user, using time/data context and also GIS in future.
Stock quote app for the Android Platform. It fetches latest stock quote details(Last Traded price,Day High,Day Low,etc)from various free web services available on the internet. Allows you to save stocks in your portfolio for quick access to their prices.