Search Results for "linux shell android" - Page 3
Sort By:
55 projects for "linux shell android" with 2 filters applied:
-
Forever Free Full-Stack Observability | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
1
CCSH is provides a way of using C programs in the way you use shell scripts. This allows the user to only have to manage 1 file (the source file). This is also useful in heterogenious environments. The code is compiled upon execution. In the fu
-
2
CQSAT is a powerful, comprehensive and extensible framework for static analysis of program source code and detection of software defects.
-
3
Gib Isn't Bash, but an embeddable interactive programming language that provides client applications with a rich command line interface reminiscent of the popular Unix shell.
-
4
-
Earn up to 16% 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.
-
5
Kammerjäger
Kammerjäger is a debugging tool with integrated correctness proving.
Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes...
