Search Results for "system linux" - Page 2
Sort By:
4095 projects for "system linux" with 2 filters applied:
-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
1
Cowart
Local infinite canvas plugin for Codex
Cowart is a local infinite-canvas plugin designed specifically for Codex-powered creative workflows. Built on top of tldraw, it provides a visual workspace where users can brainstorm ideas, annotate images, generate new artwork, and iterate on existing visuals through AI-assisted editing. The canvas runs as a local web service and stores project data directly inside the user's workspace rather than in the plugin repository, making it suitable for project-centric workflows. Cowart enables... -
2
Lean 4
Lean 4 programming language and theorem prover
Lean 4 is both a programming language and an interactive theorem prover, designed to support formal reasoning while also functioning as an efficient and extensible general-purpose language. The project serves researchers, mathematicians, programmers, and formal methods users who need a system for writing machine-checked proofs as well as executable programs in the same environment. One of its defining characteristics is its emphasis on extensibility, since Lean 4 is built to allow users to... -
3
Crosvm
The Chrome OS Virtual Machine Monitor
crosvm (ChromeOS Virtual Machine Monitor) is a secure, lightweight virtual machine monitor built on top of the Linux KVM hypervisor. Developed for ChromeOS, it is designed to isolate and execute Linux and Android guests efficiently while maintaining strong security boundaries. Unlike general-purpose emulators like QEMU, crosvm avoids full hardware emulation and focuses on modern paravirtualized I/O using the virtio standard, reducing complexity and attack surface. Written in Rust, it... -
4
Tamagui
Style React fast with 100% parity on React Native
Tamagui is a cross-platform UI framework and styling system for React and React Native that enables developers to build high-performance applications with a single codebase shared across web and mobile platforms. It combines a universal style system with a powerful optimizing compiler that transforms styled components into efficient, platform-specific output, significantly improving runtime performance. The framework provides a superset of the React Native styling API, allowing developers to... -
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
-
5
Flight Core
An extensible micro-framework for PHP
FlightPHP is a lightweight, fast, and flexible micro-framework for PHP, designed to build RESTful web applications and APIs. It provides a simple routing system, middleware support, and a powerful templating engine. FlightPHP is ideal for developers looking for a minimalist framework that doesn't impose a lot of structure, while still offering essential features for building modern web applications. -
6
Adafruit Unified Sensor Driver
Common sensor library
Many small embedded systems exist to collect data from sensors, analyze the data, and either take appropriate action or send that sensor data to another system for processing. One of the many challenges of embedded systems design is the fact that parts you used today may be out of production tomorrow, or system requirements may change and you may need to choose a different sensor down the road. Creating new drivers is a relatively easy task, but integrating them into existing systems is both... -
7
The Book of Secret Knowledge
A collection of inspiring lists, manuals, cheatsheets, blogs, hacks
...Its content spans areas such as Linux, networking, DevOps, security, databases, web infrastructure, shell usage, and productivity. The collection is useful for both quick lookup and broader exploration of technical topics. Its main value is centralizing many scattered resources into a single, community-maintained reference. -
8
libuv
Cross-platform asynchronous I/O
libuv is a high-performance, multi-platform C library focusing on asynchronous I/O, originally developed for Node.js. It provides a consistent event-loop and I/O abstraction layer across a range of systems, making non-blocking operations portable and efficient. Full-featured event loop backed by epoll, kqueue, IOCP, event ports. Asynchronous TCP and UDP sockets. Asynchronous DNS resolution. Asynchronous file and file system operations. File system events, ANSI escape code-controlled TTY. IPC... -
9
ImGui Java
JNI based binding for Dear ImGui
imgui-java is a comprehensive Java binding for Dear ImGui, the popular immediate-mode GUI library used for real-time tools and debug interfaces. This binding allows Java applications—including those using LWJGL or JOGL—to leverage ImGui’s fast and flexible GUI features without switching languages. With support for native backends and OpenGL rendering, imgui-java is perfect for game engines, development tools, and editors that need an intuitive GUI system. It includes integrations for... -
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
10
Vico
A light and extensible chart library for Android
Vico is a light and extensible chart library for Android. It’s compatible with both Jetpack Compose and the view system, but its two main modules—compose and views—are independent. -
11
InkOS
Autonomous novel writing CLI AI Agent
InkOS is a multi-agent creative writing system designed to automate the production of long-form narrative content such as novels through coordinated AI workflows. The system organizes multiple specialized agents that collaborate in stages, including drafting, reviewing, editing, and refining text, with optional human checkpoints to ensure quality and coherence. Its architecture reflects a pipeline approach where each agent contributes a specific function, allowing iterative improvement... -
12
-
13
OpenZeppelin Contracts
OpenZeppelin Contracts is a library for secure smart contracts
A library for secure smart contract development. Build on a solid foundation of community-vetted code. OpenZeppelin Contracts uses semantic versioning to communicate backward compatibility of its API and storage layout. To keep your system secure, you should always use the installed code as-is, and neither copy-paste it from online sources nor modify it yourself. The library is designed so that only the contracts and functions you use are deployed, so you don't need to worry about it... -
14
Laravel Follow
Add user based follow system to your model
This package helps you to add user user-based follow system to your model. -
15
Log Viewer
Fast and beautiful Log Viewer for Laravel
Beautiful, fast, and open-source viewer for your app logs. Forget scrolling through raw log files to find the errors or debug logs you're looking for. Forget about SSH'ing onto the production server just to read the logs. Log Viewer helps you quickly and clearly see individual log entries, to search, filter, and make sense of your Laravel logs fast. It is free and easy to install. -
16
ty
An extremely fast Python type checker and language server
ty is an extremely fast Python type checker and language server built in Rust, designed to provide highly responsive and accurate static analysis for modern Python development workflows. It is positioned as a next-generation alternative to tools such as mypy and Pyright, offering significantly faster performance through incremental analysis and optimized execution. The tool is designed from the ground up to power editor integrations, enabling real-time feedback as developers write code with... -
17
Make It heavy
A Python framework that emulates Grok Heavy functionality
Make It heavy is a Python framework for producing deeper AI analysis through multi-agent orchestration. It is designed to emulate the style of Grok Heavy by splitting a user query into several specialized research angles. The system runs four agents in parallel so each one can explore the problem from a different perspective. It then combines their outputs into one unified answer through an intelligent synthesis step. The framework uses OpenRouter for model access and can also run in... -
18
ComfyUI SUPIR
SUPIR upscaling wrapper for ComfyUI
The ComfyUI-SUPIR project is a ComfyUI integration of the SUPIR model, which is designed for high-quality image restoration and super-resolution. It enables users to enhance low-resolution or degraded images using advanced diffusion-based techniques. The integration provides nodes that allow users to control parameters such as noise levels, guidance strength, and output quality. It is particularly useful for workflows that require upscaling or restoring images before further processing. The... -
19
openHAB Distribution
The binary distribution of openHAB
The open Home Automation Bus (openHAB) project aims to provide a universal integration platform for all things around home automation. It is a pure Java solution, fully based on OSGi. It is designed to be vendor-neutral as well as hardware/protocol-agnostic. openHAB brings together different bus systems, hardware devices, and interface protocols by dedicated bindings. These bindings send and receive commands and status updates on the openHAB event bus. This concept allows designing user... -
20
agentOS
A portable open-source operating system for agents. ~6 ms coldstarts
agentOS is a portable, open-source runtime environment designed specifically for executing AI agents efficiently, acting as a lightweight operating system tailored for agent-based workloads. It is built using WebAssembly and V8 isolates to provide secure, sandboxed execution without the overhead of traditional containers or virtual machines. The system is optimized for extremely fast startup times, with near-instant cold starts that allow agents to be created and executed in milliseconds.... -
21
BCC (BPF Compiler Collection)
Tools for BPF-based Linux IO analysis, networking, monitoring, etc.
BCC is a toolkit that simplifies creating efficient kernel tracing, monitoring, and manipulation programs by leveraging extended Berkeley Packet Filters (eBPF). It includes a rich set of example tools and scripting interfaces in C, Python, and Lua. BCC makes BPF programs easier to write, with kernel instrumentation in C (and includes a C wrapper around LLVM), and front-ends in Python and lua. It is suited for many tasks, including performance analysis and network traffic control. With a... -
22
redshirt
Operating system
Redshirt is an experimental operating system written in Rust that explores new approaches to OS design by emphasizing asynchronous execution, message passing, and modularity. It is built around a microkernel-inspired architecture where components communicate through well-defined interfaces rather than relying on shared state. The system is designed to run on top of WebAssembly, using it as a portable and sandboxed execution layer for processes and services. Redshirt aims to rethink... -
23
io-ts
Runtime type system for IO decoding/encoding
Runtime type system for IO decoding/encoding -
24
Zoo Design Studio
The Zoo Design Studio app
Zoo Design Studio is a modern CAD application that combines traditional graphical modeling with fully programmable design through code, creating a hybrid workflow for engineering and design. The platform treats all CAD artifacts as human-readable code, allowing designs to be version-controlled, diffed, and managed using standard software development tools like Git. Users can interact with the system through a familiar point-and-click interface, but every action is translated into code in the... -
25
Plaso
Super timeline all the things
Plaso (Plaso Langar Að Safna Öllu), or "super timeline all the things," is a Python-based engine designed for automatic creation of timelines in digital forensic investigations. It processes various log files and artifacts to generate a chronological sequence of events, aiding analysts in understanding system activities.
