Search Results for "git:/git.code.sf.net/p/docfetcher/code"
Sort By:
Showing 2 open source projects for "git:/git.code.sf.net/p/docfetcher/code"
View related business solutions-
Create and run cloud-based virtual machines.Computing infrastructure in predefined or custom machine sizes to accelerate your cloud transformation. General purpose (E2, N1, N2, N2D) machines provide a good balance of price and performance. Compute optimized (C2) machines offer high-end vCPU performance for compute-intensive workloads. Memory optimized (M2) machines offer the highest memory and are great for in-memory databases. Accelerator optimized (A2) machines are based on the A100 GPU, for very demanding applications.
-
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
Powerline Go
A beautiful and useful low-latency prompt for your shell
...The current branch is displayed and changes background color when the branch is dirty. When the local branch differs from the remote, the difference in number of commits is shown along with ⇡ or ⇣ indicating whether a git push or pull is pending. powerline-go uses ANSI color codes, these should nowadays work everywhere, but you may have to set your $TERM to xterm-256color for it to work. If you want to use the "patched" mode (which is the default and provides improved UI), you'll need to install a powerline font, either as fallback, or by patching the font you use for your terminal. ... -
2
OliveTin
OliveTin gives safe and simple access to predefined shell commands
Give safe and simple access to predefined shell commands from a web interface. OliveTin just runs shell commands, so theoretically, you could integrate with a bunch of stuff just by using curl, ping, etc. However, writing your own shell scripts is a great way to extend OliveTin. Uses only a few MB of RAM and barely any CPU. Written in Go, with a web interface written as a modern, responsive, single-page app that uses the REST/gRPC API. Helps potential contributors be consistent, and helps...
- Previous
- You're on page 1
- Next
