Search Results for "system 1"
Sort By:
1031 projects for "system 1" with 2 filters applied:
-
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.
-
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
1
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 develop custom automation, metaprogramming tools, and domain-specific extensions instead of being limited to a fixed proving workflow. ... -
2
Vercel Zero
The programming language for agents
Zero is an experimental programming language from Vercel Labs designed with AI agents as first-class users. The project explores what a language, tooling system, and standard library might look like if agents need to read, debug, repair, and ship code reliably. It focuses on a small and regular language surface, structured diagnostics, predictable tooling, and machine-readable outputs. Zero is still pre-1 and intentionally unstable, so its syntax and APIs are meant for exploration rather than production use. ... -
3
The Book of Secret Knowledge
A collection of inspiring lists, manuals, cheatsheets, blogs, hacks
The Book of Secret Knowledge is a large curated knowledge base for developers, system administrators, security learners, and technical power users. It collects manuals, cheat sheets, command-line tricks, web tools, blogs, one-liners, configuration examples, and practical references in one organized repository. The project is not a traditional application, but a navigable technical library meant to save time when looking for useful tools or operational knowledge. ... -
4
-
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.
-
5
wasm-bindgen
Facilitating high-level interactions between Wasm modules and Js
...It allows developers to write performance-critical code in Rust, compile it to WebAssembly, and then expose functions, structs, and APIs directly to JavaScript in a natural and idiomatic way. The tool automates the process of bridging differences between Rust’s type system and JavaScript’s dynamic environment, making cross-language integration significantly easier. One of its key design principles is efficiency, following a “pay only for what you use” model where only the required bindings are generated, minimizing unnecessary overhead. It also integrates into modern build pipelines through tools like wasm-pack. -
6
Linux Command Library (Mobile+CLI+Web)
1M downloads Linux reference app with basics, tips and formatted pages
The app currently has 5547 manual pages, 22+ basic categories and a bunch of general terminal tips. It works 100% offline, doesn't need an internet connection and has no tracking software. -
7
Avo Framework
Build Ruby on Rails apps 10x faster
Avo is a very custom Admin Panel Framework, Content Management System, and Internal Tool Builder for Ruby on Rails that saves engineers and teams months of development time. -
8
Laravel Snooze
A package to simplify automating future notifications and reminders
A package to simplify automating future notifications and reminders in Laravel. If your scheduler stops working, a backlog of scheduled notifications will build up. To prevent users from receiving all of the old scheduled notifications at once, the command will only send mail within the configured tolerance. By default, this is set to 24 hours, so only mail scheduled to be sent within that window will be sent. This can be configured (in seconds) using the... -
9
MediaManager
A modern selfhosted media management system for your media library
MediaManager is a modern, self-hosted media management system that unifies and replaces the traditional “ARR” stack with a single, cohesive platform for discovering, organizing, and automating TV and movie libraries. Rather than relying on separate tools patched together, MediaManager offers a streamlined interface and workflow where media metadata, collection insights, and automation policies live side-by-side in one system. -
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
10
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... -
11
Hugo
The world’s fastest framework for building websites
...It’s designed for speed and flexibility, while also being very easy to use. Hugo has the amazing ability to render a typical, moderately-sized website in just a fraction of a second. It takes Hugo around 1 millisecond to render each piece of content, making it the fastest tool of its kind. Hugo supports unlimited content types, and ships with pre-made templates to make SEO, analytics and many other functions quick and easy to achieve. It’s got a robust theming system, capable of producing even the most complex websites. Hugo works well with just about any kind of website, be it a blog, tumble or doc. ... -
12
Gigapipe
The Open-Source Polyglot Observability Warehouse
Gigapipe is an open-source, polyglot observability platform designed to unify logs, metrics, traces, and profiling data into a single, lightweight system. It serves as an all-in-one alternative to traditional observability stacks by implementing compatibility with widely used standards such as Loki, Prometheus, Tempo, and Pyroscope, allowing it to integrate seamlessly with existing tools and workflows. The platform supports ingestion from multiple sources, including OpenTelemetry and various vendor-specific formats, enabling flexible data collection without requiring complex middleware. ... -
13
Petdex
The public gallery of animated pet for Codex, Claude Code, OpenCode
Petdex is a community system for creating, sharing, installing, and displaying animated pets for the Codex desktop environment. It combines a public gallery, a command-line installer, and a desktop companion app into one coordinated project. The gallery lets users browse approved pet packs, preview animation states, and download compatible assets. The CLI installs pets directly into the local Codex setup and supports submission workflows for creators. -
14
SymbolicUtils.jl
Symbolic expressions, rewriting and simplification
...It lets you create, rewrite and simplify symbolic expressions, and generate Julia code from them. SymbolicUtils.jl provides various utilities for symbolic computing. SymbolicUtils.jl is what one would use to build a Computer Algebra System (CAS). If you're looking for a complete CAS, similar to SymPy or Mathematica, see Symbolics.jl. If you want to build a crazy CAS for your weird Octonian algebras, you've come to the right place. Symbols in SymbolicUtils carry type information. Operations on them propagate this information. ... -
15
Thread Affinity
Bind a java thread to a given core
Lets you bind a thread to a given core, this can improve performance (this library works best on linux). Java-Thread-Affinity will try to use JNA to provide access to native thread-handling functions. JNA should be installed on your system to get the most from this library. Java-Thread-Affinity currently depends on JNA version 4.4.0, which in turn depends on a version of GLIBC >= 2.14. If your operating system is an old one, with a version of GLIBC released before 2011, this library will not be able to invoke native functions. -
16
Music Assistant
Music Assistant is a free, opensource Media library manager
...It is a strong choice for users who want one organized media layer across different music services and playback devices. -
17
VisualVM
VisualVM is an All-in-One Java Troubleshooting Tool
VisualVM is a visual tool integrating command line JDK tools and lightweight profiling capabilities. Designed for both development and production time use. Use Apache Ant 1.9.9 or above and Oracle JDK 8 to build VisualVM from this repository. VisualVM monitors and troubleshoots applications running on Java 1.4+ from many vendors using various technologies including jvmstat, JMX, Serviceability Agent (SA) and Attach API. VisualVM perfectly fits all the requirements of application developers,... -
18
tobi try
Fresh directories for every vibe
...It is built for developers who constantly create quick tests, prototypes, proof-of-concepts, and late-night coding experiments that usually get lost across temporary folders. The tool gives every experiment a dated home, then makes it easy to find and reopen past work with fuzzy search. It favors simplicity, using a one-file Ruby script with no dependencies and very little setup. Smart sorting brings recently used experiments to the top, which helps users jump back into active ideas without remembering exact folder names. It is ideal for developers who want a low-friction workspace system for creative technical exploration without turning every experiment into a full project. -
19
Apache Log4j
Apache Log4j 2 is a versatile, feature-rich, efficient logging API
Apache Log4j is a versatile, industrial-grade Java logging framework composed of an API, its implementation, and components to assist the deployment for various use cases. Log4j is used by 8% of the Maven ecosystem and listed as one of the top 100 critical open source software projects. The project is actively maintained by a team of several volunteers and supported by a big community. -
20
Naive UI
A Vue 3 Component Library. Fairly Complete. Theme Customizable
...The library includes more than 90 components covering a wide range of interface needs such as forms, data displays, navigation elements, and feedback components, allowing developers to build complex applications efficiently. It is fully written in TypeScript, ensuring type safety and seamless integration with TypeScript-based projects. One of its defining characteristics is its advanced theming system, which allows developers to customize the appearance of components without relying on traditional CSS preprocessors or configuration-heavy setups. Naive UI is optimized for performance, with features such as virtualized lists for handling large datasets efficiently. -
21
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 single-agent mode for simpler tasks. Overall, it is useful for users who want broader research coverage, richer reasoning diversity, and structured multi-agent responses from one command-line workflow. -
22
jasypt-spring-boot
Jasypt integration for Spring boot
Jasypt Spring Boot provides Encryption support for property sources in Spring Boot Applications. There are 3 ways to integrate just-spring-boot in your project. And encryptable properties will be enabled across the entire Spring Environment (This means any system property, environment property, command line argument, application.properties, yaml properties, and any other custom property sources can contain encrypted properties) Jasypt uses an StringEncryptor to decrypt properties. For all 3 methods, if no custom StringEncryptor (see the Custom Encryptor section for details) is found in the Spring Context, one is created automatically that can be configured through the following properties (System, properties file, command line arguments, environment variable, etc.). -
23
directory
Platform-independent library for basic file system operations
Documentation can be found on Hackage. Changes between versions are recorded in the change log. When building this package directly from the Git repository, one must run autoreconf -fi to generate the configure script needed by cabal configure. This requires Autoconf to be installed. -
24
VERT.sh
The next-generation file converter
...Built with Svelte and TypeScript, it provides a clean and responsive interface for converting a wide variety of file types, including images, audio, video, and documents. One of its defining characteristics is its local-first approach, which eliminates the need to upload files to external servers, thereby improving both privacy and performance. The system supports over 250 file formats and includes customizable conversion settings, allowing users to fine-tune output parameters. For more demanding tasks such as video processing, it offers an optional self-hosted backend component, giving users flexibility between local and distributed workflows. -
25
Haze
Background blurring for Compose Multiplatform
...The library is built on top of Compose’s graphics layer APIs, allowing it to operate consistently across multiple platforms while maintaining performance. It introduces a flexible styling system where developers can define blur intensity, masking, and opacity dynamically using composable scopes. One of its standout features is support for progressive blurring, where blur intensity changes across a gradient, creating more visually refined effects. It also includes prebuilt “material” styles inspired by platforms like iOS and Windows, enabling developers to replicate native design aesthetics.
