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 Cloud Sales Acceleration Platform
For businesses wanting a platform to list, manage, and co-sell on cloud marketplaces with minimal engineering effort
Streamline and automate your cloud sales cycle, enhance operational efficiency, and capitalize on marketplace opportunities with the Clazar Cloud Sales Acceleration Platform.
Use phpython to write python code in your php projects without using WSGI, CGI or FastCGI.
** IMPORTANT **
Project now on GitHub
visit: https://github.com/phpython/phpython
That project aims at providing a clean API, and the corresponding C++ implementation, for parsing travel-focused requests (e.g., "washington dc beijing monday r/t +aa -ua 1 week 2 adults 1 dog").
The sales CRM that makes your life easy, so all you have to do is sell.
The simpler way to sell
Welcome to the simpler way to sell. Pipedrive is CRM software that makes your life easy, for less legwork and more sales.
Let us track your sales conversations, eliminate admin tasks, get you more leads and uncover how you win, because your day belongs to you.
Join more than 100,000 sales teams around the world that use the CRM rated #1 by SoftwareReviews in 2019. Start your free 14-day trial and get full access – no credit card needed.
Collection of Python for Windows that can be installed anywhere (hard drive, usb key, network..). No external dependencies and no side effect. 2 configurations: minimal and complete, with additional packages. For python 16, 20 to 27 and 32
Cheval is a platform independent GUI shell for Python written with PyGTK. Featuring tabbed sessions, Syntax highlighting, code completion, call tips, history, auto-indentation, load and save sessions and much more
Pygone is to be a programming language built on top of Python, aimed to be a ridiculously high level programming language, allowing for it to be used to introduce people to programming.
Next-generation security awareness training. Built for AI email phishing, vishing, smishing, and deepfakes.
Track your GenAI risk, run multichannel deepfake simulations, and engage employees with incredible security training.
Assess how your company's digital footprint can be leveraged by cybercriminals. Identify the most at-risk individuals using thousands of public data points and take steps to proactively defend them.
Py5 is a native port of the popular Python programing language to the IBM i (aka IBM's i5 (aka iSeries, (aka AS/400, OS/400)) operating system.
This project is obsolete. Use the 5733OPS licensed program, option 2 for full Python 3 support instead.
The Basil project's mission is to build a parsing and modeling environment where one is able to work with, code in, integrate, and design a wide variety of computer languages.
A Python Shell has been constructed from Qt, QScintilla and the Python C API directly, which features syntax highlighting and simple code completion via a Qt GUI. It is hoped that a Qt Widget can be constructed from it eventually.
The Markovski project implements an interpreter/compiler for a language named Markovski, used to write Markov algorithms (see http://en.wikipedia.org/wiki/Markov_algorithm).
This project offers 3 basic tools for manipulating binary files: 1) flexible hexdump 2) hexencoder that reads a binary file and applies provided binary changes at given offsets and 3) a binary compare that gives summary of ranges where files differ
pyDATR is an implementation of the DATR language written in Python and usable as Python library. It provides a means for persistence and some extensability with Python functions.
Marvin3 is a new cross-platform stack-based language developed in Python. Marvin3 features object-oriented-programming, anonymous routines, eager lists, variables, lexical scope, combinators and support for modules.
PyUML is aimed at excutable UML in the Python language. We strive to develop a general framework (modeling and simulation environment) to execute UML models.
PATH is a unique two-dimensional programming language. Unlike conventional programming languages, which read a program in a left-to-right, top-to-bottom fashion, PATH programs can go up, down, left, and right, and change directions at will.
PyREXX is a interprocess messaging server for routing remote prodecure calls using xml-based messages (Jabber, XML-RPC, etc), which will allow programs to interact more easily.
FungeWars, written in Python, loads two Befunge programs onto the same grid, where each tries to cause the other to quit or crash. A standalone Befunge interpreter, PyFunge, is also included.
Befunge is an esoteric two-dimensional programming language.