Search Results for "compiler python linux"
Sort By:
Showing 4 open source projects for "compiler python linux"
View related business solutions-
Earn up to 15% annual interest with Nexo.Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
Earn up to 15% annual interest with Nexo.Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
-
1
pip-tools
A set of tools to keep your pinned Python dependencies fresh
pip-tools enhances Python dependency management by providing pip-compile and pip-sync commands. It transforms human-friendly requirements.in into fully pinned requirements.txt, ensuring reproducible environments. It also resolves transitive dependencies and synchronizes your environment with pinned versions. Widely used in both development and CI workflows, it boosts reliability and eliminates drift in deployed setups. -
2
ALI_Parse
Parser for the .ali (Ada Library Information) files generated by GNAT
ALI_Parse is a parser for the .ali files generated by the GNAT Ada compiler. ALI means Ada Library Information. You find the .ali files in the same directories as the object files (.o) containing the machine code produced by GNAT. Currently, ALI_Parse is focused at cross-references within a set of Ada source files. Two command-line tools using the parser are provided: * GNATHTML, which generates a set of Web pages from Ada sources * ALI_Stats, which shows the list of entities, the... -
3
depvault
Simple Dependency Manager
A simple dependency manager for projects. Allows you to submit and pull external dependencies from a repository. Designed not to be tied to any language or build environment. -
4
This project aims to create a set of tools to help distributors to build, port, test, validate and manage software packages. Existing tools are bm (the build manager) and dm (the dependency manager). The tools are written in Python.
-
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.
- Previous
- You're on page 1
- Next
