Search Results for "running cppcheck on linux"
Sort By:
Showing 23 open source projects for "running cppcheck on linux"
View related business solutions-
Cut Your Data Warehouse Bill by 54%BigQuery delivers 54% lower TCO with serverless scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
Cut Cloud Costs with Google Compute EngineSave on compute costs with Compute Engine. Reduce your batch jobs and workload bill 60-91% with Spot VMs. Compute Engine's committed use offers customers up to 70% savings through sustained use discounts. Plus, you get one free e2-micro VM monthly and $300 credit to start.
-
1
sparkmagic
Jupyter magics and kernels for working with remote Spark clusters
Sparkmagic is a set of tools for interactively working with remote Spark clusters in Jupyter notebooks. Sparkmagic interacts with remote Spark clusters through a REST server. Automatic visualization of SQL queries in the PySpark, Spark and SparkR kernels; use an easy visual interface to interactively construct visualizations, no code required. Ability to capture the output of SQL queries as Pandas dataframes to interact with other Python libraries (e.g. matplotlib). Send local files or... -
2
netboot.xyz
Your favorite operating systems in one place
netboot.xyz enables you to boot into many types of operating systems using lightweight tooling to get you up and running as soon as possible. Discover new operating systems without having to download and rewrite media over and over again. Rescue operating systems from a single image. An essential for any sysadmin. netboot.XYZ uses the iPXE project to enable you to provision, rescue, or load into a live boot environment leveraging the Preboot Execution Environment (PXE) on most systems.... -
3
Moss
Rust Linux-compatible kernel
Moss Kernel is an open-source operating system kernel project designed to explore modern OS design and provide a foundation for experimental system research and development. Rather than replicating traditional monolithic kernels exactly, it emphasizes modularity, safety, and simplicity by incorporating well-structured subsystems for memory management, scheduling, and device abstraction that are easy for contributors to understand and extend. The kernel uses Rust as its primary implementation... -
4
ravynOS
A BSD-based OS project that aims to provide an experience with MacOS
...We intend to bring many of the features you’ve come to love from macOS to ravynOS like clean design, global menus, and drag-and-drop installs. All of your FreeBSD ports and apps, Linux apps, and even trivial Darwin & macOS binaries can now run on ravynOS. And we’re actively working on improving it! -
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
5
syzkaller
syzkaller is an unsupervised coverage-guided kernel fuzzer
syzkaller is Google’s coverage-guided, feedback-driven kernel fuzzer designed to uncover reliability and security bugs in operating system kernels at scale. It automatically generates, mutates, and minimizes system call programs, then drives them through a specialized executor (syz-executor) to exercise deep kernel paths. The system integrates tightly with sanitizers such as KASAN, KMSAN, KCSAN, and UBSAN to surface memory safety, concurrency, and undefined behavior issues with actionable... -
6
Coq Jupyter
Jupyter kernel for Coq
Make sure that CoqIDE (8.6 or newer) is installed and coqidetop or coqidetop.opt (coqtop for Coq versions before 8.9.0) is in your PATH. Also, make sure the python command is recognized on your machine. If not you can set up an alias for it e.g. python-is-python3 on Ubuntu. There are a number of convenience improvements over standard Jupyter notebook behavior that are implemented to support Coq-specific use cases. -
7
amforth: Interpreter on Microcontrollers
amforth is an extendible interpreter on microcontrollers
amforth is an extendable command interpreter running on AVR ATmega and TI MSP430 microcontrollers. The Risc-V and ARM architectures are ascending. Turnkey actions for IoT workloads are possible as well. The command language is close to the Forth 2012 standard. -
8
MineBios
16 bit real mod minecraft clone running in bios
-
9
lilith
x86-64 os made in crystal
A POSIX-like x86-64 kernel and userspace written in Crystal. A CPU with x64 support is required to run the OS. The Makefile provides a script that will run QEMU on the kernel. To run with storage, an MBR-formatted hard drive image with a FAT16 partition must be provided in the running directory with the name drive.img. The kernel will automatically boot the main.bin executable on the hard drive, or panic if it can't be loaded. -
Push Code. Get a Production URL. Done.Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
10
Perix is a 16/32/64-Bit protected mode kernel, bootable and capable of running with or without an operating system. It is written in Turbo Pascal 7.0 for DOS, Delphi 7.0, Pascal Pro, Virtual Pascal v2.1, Delphi XE2 64-Bit, TASM, TASM32 and JWASM. The latest version, 0.01I, supports multi-processor. Added Open Watcom C++ and Borland C++ examples.
-
11
TORO is demonstrating an innovative operating system by integrating at the same ring level both kernel and the user application server. The threads of the user application server are distributed evenly on all CPUs and running independently in parallel. The memory model chosen is NUMA without pagination. During the initialization, the memory is divided proportionally for each processor installed on the system. When a thread needs memory, the memory allocator returns a free block of memory...
-
12
Cooperative Linux
Run Linux on Windows or other OSes, natively.
Cooperative Linux is the first method for optimally running Linux on Windows and other operating systems natively. It is a port of the Linux kernel and support code that allows it to run cooperatively without emulation along with another operating system. -
13
UEFI GPT fdisk
UEFI GTP fdisk is a disk partitionning tool running under UEFI/BIOS
UEFI GPT fdisk is a port to UEFI of the famous GPT fdisk partitioning tool, see http://sourceforge.net/projects/gptfdisk/ . Now since this program runs directly under UEFI shell you don't need to *boot* the system to convert/edit partition tables. -
14
qtOS
Tiny operating system for running HCFSM-based systems
qtOS is an operating system for running systems of finite-state machines. The system kernel is a task scheduler that runs processes' transitions at every cycle. Each task is activated either to be run in parallel (fork) with other active processes in the system or subordinated to the caller task, thus blocking it and creating a hierarchy of tasks. Execution of processes can be preemptive or non-preemptive and, among those with the same priority, a round-robin turn is performed. This... -
15
I have developed and tested a small 32-bits Kernel running on i386. I want to share it to this developers community. The kernel is developed in Assebly Language and it have bootloader, multitask, etc, etc...
-
16
Note: the project is basically dead, as I started rewriting it but I don't have much free time to work on it. It's basically a micro-kernel, but on top of that, instead of having multiple servers running as standalone processes, it has a modular kernel, so that each server is a module of this kernel. The micro-kernel contains only the scheduler, memory management and drivers for high-speed devices (like gigabit ethernet NICs or video cards).
-
17
WahoviOS is a 32-bit Protected Mode OS made from scratch in NASM, intended to provide a simple, portable environment for running Allegro library programs in.
-
18
A operating system designed to be compatable with the linux and uinx software, that is capable of running as a modern operating system.
-
19
This is MacroDie OS for ti83 plus family. It's capable of running multiple aplications and programs at the same time... improvements have been made and bugs corrected at the time that now i can release it... trought its still in an beta stage...
-
20
Nemesis is a tiny real time operating system kernel based on x86 PCs. Its main purpose is to serve as a simple but realistic example of an real time OS kernel running on real hardware..the purpose of this is that it can be embedded in small devices lik
-
21
The L4Ka microkernel is an L4 compatible microkernel running on multiple platforms (x86, ARM, MIPS, PPC, 68K). Its official name is now L4Ka::Hazelnut. This kernel has been discontinued in favor of L4Ka::Pistachio. See http://l4ka.org/
-
22
Covert Linux is technology of instalation for Linux without repartition the disk and running from native system, e.g. you can install Linux from ,say, Windows by grabbing some SETUP.EXE, launching it and then clicking on desktop icon.
-
23
- Previous
- You're on page 1
- Next
