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
The Leading All-In-One Vacation Rental Software for Property Managers
Hostaway helps you grow your property management business by automating and streamlining every aspect of your business
The dashboard and mobile app allows users to manage their marketing, sales, accounting, reporting, payment and communication needs all in one place. As premium partners of channels such as VRBO, Booking.com, Airbnb, Homeaway and Expedia, with the ability to manage advanced setups, no other platform gives you the type of control and peace of mind that a Hostaway user has. The software is designed with teams in mind - it's easy to train staff and keep them happy while improving business at the same time! Hostaway also provides a booking engine, wordpress website and both marketing and sales tools for managing your valuable direct bookings.
w3btorrent is a simple and light web based php torrent client. It let you control your torrents. Such as view torrent status, decide down/up speed, download finish files, WAP control and more! Using your favorite web browser from anywhere!
Emergency Context Resolution with Internet Technologies
The project is based on a draft from files draft-ietf-ecrit-*
Developed by IETF ECRIT Working Group
Stop chasing transactions. Klaviyo turns customers into diehard fans—obsessed with your products, devoted to your brand, fueling your growth.
Klaviyo unifies your customer profiles by capturing every event, and then lets you orchestrate your email marketing, SMS marketing, push notifications, WhatsApp, and RCS campaigns in one place. Klaviyo AI helps you build audiences, write copy, and optimize — so you can always send the right message at the right time, automatically. With real-time attribution and insights, you'll be able to make smarter, faster decisions that drive ROI.
Like pastebin but for files. This software will let you upload a file and will assign you a random password for the file. You can then give someone else the password for the file and they can download it again. It is a simple implementation of a simple i
Survey Definition and Input System. It permits to define surveys using XML. By means of transformation XLST is obtained an HTML version that can be cover through Internet and stored in databases MySql using a simple program PHP.
OptorSim is a Grid simulator designed to test dynamic replication strategies used in optimising data location within a Grid. Each simulated site contains several storage or computing elements. Simulated jobs run and file accesses may trigger replication.
MC2 Java Multicast Chat is a serverless p2p chat based on multicast datagrams. Very useful if you want to quickly have a chat session in a Lan without having to do annoying setups. Supports file sharing / sending,multiple channel chat and data encryption
Optimize every aspect of hiring with Greenhouse Recruiting
Hire for what’s next.
What’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.
Provides steganographic cloaking for scripts and other data by interspersing sensitive lines with ANSI codes to clear themselves after drawing on a terminal. Front data, commented-out, is displayed instead.
IMPULS (Instant Messenger Personal User Log Storage) is a toolset which allows to retrieve, store and display messages from different IM instances in a central database.
myUpload is a free open-source file-hosting PHP/MySQL engine for web-sites running phpBB2 or other forums. There are moderation and administration functions, automatic out-dated files deletion, auto-checking for corrupted files.
This is mode to the TorrentFlux.
It provides diskspace limits for users and disallow starting new torrents if limit was achieved. It uses the same data base as TF to store status of users' accounts.
Pardus (Linux distribution) has its own package manager named Pisi. Pilonga automatically downloads Gentoo ebuild files and converts to Pisi source files.
GMyth is a library to access MythTV backend services. It is designed to have few dependencies and is written in ANSI C and GObject. The project also provides a library sample use with a Mythtv Frontend UI for Linux based Mobile devices like Nokia 770.
Enhanced Machine Controller-based Antenna Range (EMCAR)
EMCAR employs LinuxCNC based machine control (linuxcnc.org) coupled with open source software to implement a measurement system for antenna radiation pattern data (i.e. an antenna range).
The metabolomics standards initiative (msi) will develop a Core Information for Metabolomics Reporting (CIMR) recommendation and a more formal and semantically defined corresponding ontology (msi-ontology).
Nanodc is a DC++ client with ncurses user interface. Using DC++ core code makes it fully compatible with existing DC++ software (hubs, clients). Nanodc also shares configuration files with LinuxDC++. Visit the IRC-channel #nanodc for more information
Cube Platform is a decentralized grid computing system that uses P2P Pastry protocol for communication between nodes. It's a big datastorage written in Java.
SImple FIle EXchange tool to share files with collegues and/or friends on a webserver. Upload / download /delete files. E-Mail sent out to inform other people. Skinable (via CSS) and multilingual use enabled. Works with PHP4 and PHP5 also with register_g