Search Results for "art-linux" - Page 12
Sort By:
Showing 29481 open source projects for "art-linux"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
$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.
-
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... -
2
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,... -
3
drozer
The Leading Security Assessment Framework for Android
drozer (formerly Mercury) is the leading security testing framework for Android. drozer allows you to search for security vulnerabilities in apps and devices by assuming the role of an app and interacting with the Dalvik VM, other apps' IPC endpoints and the underlying OS. drozer provides tools to help you use, share and understand public Android exploits. It helps you to deploy a drozer Agent to a device through exploitation or social engineering. Using weasel (MWR's advanced exploitation... -
4
Manim
A community-maintained Python framework for creating animations
A community-maintained Python library for creating mathematical animations. Manim is a free and open-source project originally written by Grant Sanderson. It is now maintained by the Manim Community and permissively released under the MIT license. Manim was originally created by Grant Sanderson as a personal project and for use in his YouTube channel, 3Blue1Brown. As his channel gained popularity, many grew to like the style of his animations and wanted to use manim for their own projects.... -
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
5
Obfuscar
Open source obfuscation tool for .NET assemblies
Obfuscar is an open-source .NET obfuscator released under MIT license. It provides basic obfuscation features that help secure secrets in a .NET assembly. An obfuscation tool designed for most .NET developers. Hide everything private, while keep everything public. You can achieve such simply via default settings. Hide class/method/property/event names that you don't want to expose. This is irreversible. String contents can be compressed so that end users won't easily learn them. However,... -
6
WhatCable
macOS menu bar app that tells you, in plain English
WhatCable is a Ruby-based Action Cable debugging and inspection tool designed to simplify troubleshooting for WebSocket connections in Ruby on Rails applications. The project allows developers to inspect Action Cable channels, subscriptions, broadcasts, and connection activity in real time through an accessible diagnostic interface. It is particularly useful for debugging live features such as chats, notifications, collaborative tools, and streaming updates built with Rails. The tool focuses... -
7
CLOC (Count Lines of Code)
Count lines of code in multiple languages with detailed statistics
cloc (Count Lines of Code) is a command-line tool that analyzes source code and reports the number of lines by language, distinguishing between code, comments, and blank lines. It supports hundreds of programming languages and is highly useful for estimating project size, comparing codebases, or tracking development progress. cloc can analyze entire directories, version control repositories, and even compressed archives. -
8
Calamares
Distribution-independent installer framework
...By design, it is very customizable, in order to satisfy a wide variety of needs and use cases. Calamares aims to be easy, usable & beautiful while remaining independent of any particular Linux distribution. The Guide linked above has documentation for end-users, the wiki is mostly for distro developers. The developer’s guide contains information on building Calamares, its design, and localization. Since Calamares is designed to be customized, themed, and branded by individual distributions, it can look very different when used by specific distributions. ... -
9
International Components for Unicode
The home of the ICU project source code
ICU is a mature, widely used set of C/C++ and Java libraries providing Unicode and Globalization support for software applications. ICU is widely portable and gives applications the same results on all platforms and between C/C++ and Java software. ICU is released under a nonrestrictive open-source license that is suitable for use with both commercial software and with other open-source or free software. Convert text data to or from Unicode and nearly any other character set or encoding.... -
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
10
omnisharp-roslyn
OmniSharp server (HTTP, STDIO) based on Roslyn workspaces
...For Arch Linux users, you need package mono-msbuild (>= 16.3). In addition, if you need the HTTP interface and you want to run on Linux, you'll also need to make sure that you have libuv installed. -
11
Curl
Command line tool and library for transferring data with URLs
...Curl is feature-rich, thread-safe, well supported and fast. It is also highly portable and works on numerous platforms, including Solaris, NetBSD, FreeBSD, OpenBSD, Linux, Mac OS X, Windows, Darwin, UnixWare, HURD, BeOS, Ultrix, QNX, DOS, Symbian, and many more. -
12
red5-server
Red5 Server core
Red5 is an Open Source Flash Server written in Java that supports streaming Video (FLV, F4V, MP4, 3GP). Streaming Audio (MP3, F4A, M4A, AAC) Recording Client Streams (FLV and AVC+AAC in FLV container) Shared objects, live stream publishing, remoting, and protocols: RTMP, RTMPT, RTMPS, and RTMPE. -
13
Erlang/OTP
Build massively scalable soft real-time systems
Erlang is a programming language used to build massively scalable soft real-time systems with requirements on high availability. Some of its uses are in telecoms, banking, e-commerce, computer telephony and instant messaging. Erlang's runtime system has built-in support for concurrency, distribution and fault tolerance. OTP is set of Erlang libraries and design principles providing middle-ware to develop these systems. It includes its own distributed database, applications to interface... -
14
Celery
Distributed task queue (development branch)
Celery is a simple, flexible, and reliable distributed system to process vast amounts of messages, while providing operations with the tools required to maintain such a system. It’s a task queue with focus on real-time processing, while also supporting task scheduling. Celery has a large and diverse community of users and contributors, you should come join us on IRC or our mailing-list. Celery is Open Source and licensed under the BSD License. A task queue’s input is a unit of work called a... -
15
Everything Claude Code
Complete Claude Code configuration collection
Everything Claude Code is a community-driven collection of Claude Code skills, workflows, and examples that accelerate the adoption of Anthropic’s Claude models for real-world developer tasks, ranging from project scaffolding to code generation and testing automation. The repository curates reproducible templates that demonstrate how Claude Code agents can participate in end-to-end developer journeys such as building new features, adhering to coding standards, generating documentation, and... -
16
JavaCV
Java interface to OpenCV, FFmpeg, and more
JavaCV uses wrappers from the JavaCPP Presets of commonly used libraries by researchers in the field of computer vision (OpenCV, FFmpeg, libdc1394, FlyCapture, Spinnaker, OpenKinect, librealsense, CL PS3 Eye Driver, videoInput, ARToolKitPlus, flandmark, Leptonica, and Tesseract) and provides utility classes to make their functionality easier to use on the Java platform, including Android. JavaCV also comes with hardware accelerated full-screen image display (CanvasFrame and GLCanvasFrame),... -
17
Laravel Framework
Elegant PHP web application framework with expressive syntax
Laravel is a popular open-source PHP web framework designed for building modern web applications with an elegant and readable syntax. It emphasizes developer productivity, offering features like routing, Eloquent ORM, blade templating, and an extensive ecosystem of packages. Laravel makes common tasks like authentication, caching, and session management simple and intuitive, making it a top choice for PHP developers. -
18
Git Credential Manager
Secure, cross-platform Git credential storage with authentication
...GCM replaces both the .NET Framework-based Git Credential Manager for Windows and the Java-based Git Credential Manager for Mac and Linux. Git Credential Manager is currently available for Windows, macOS, and Linux*. GCM only works with HTTP(S) remotes; you can still use Git with SSH. -
19
Zydis
Fast and lightweight x86/x86-64 disassembler and code generation lib
Zydis is a fast and lightweight disassembler library designed for decoding x86 and x86-64 machine code into human-readable assembly instructions. It focuses on performance and accuracy, making it suitable for applications such as reverse engineering, debugging, and binary analysis. The library provides detailed information about decoded instructions, including operands, prefixes, and instruction lengths, enabling deep inspection of executable code. It is designed to be easy to integrate,... -
20
php-src
The PHP Interpreter
This is the official source repository of PHP, a popular open-source server-side scripting language primarily used for web development. PHP powers a significant portion of the web, including platforms like WordPress, Drupal, and Laravel. The repository includes the core language engine, standard libraries, and tools for compilation and deployment across systems. -
21
PIKAPIKA
A beautiful, easy-to-use and ad-free comic and game client
A beautiful, easy-to-use and ad-free manga client that can run on Windows/MacOS/Linux/Android/IOS. There are restricted levels of content in this APP (such as explicit/bloody/violent/drug abuse), users under the age of 18 must use it accompanied by a guardian, and please abide by local laws and regulations. Your star and issue are a great encouragement to developers, you can download the latest source code/installation package from the source warehouse, and express support/suggestions. ... -
22
my-tv-0
My TV·〇 TV video playback device can customize the TV source
my-tv-0 is an open-source television streaming application that allows users to play video content from customizable sources, offering a flexible alternative to traditional IPTV solutions. The software supports multiple configuration formats, enabling users to define their own channel lists and video streams using files such as M3U, JSON, or TXT. It is designed to run on Android-based devices, including TV boxes and smart TVs, providing a simple interface for browsing and switching between... -
23
xlswriter
PHP Extension for creating and reader XLSX files
PHPExcel has been unable to work properly for memory reasons at 40,000 and 100000 points, but it can be resolved by modifying the ini configuration, but the time may take longer to complete the work. xlswriter is a PHP C Extension that can be used to write text, numbers, formulas and hyperlinks to multiple worksheets in an Excel 2007+ XLSX file. -
24
iText Community for .NET
iText for .NET is the .NET version of the iText library
iText for .NET is the .NET version of the iText library, formerly known as iTextSharp, which it replaces. iText represents the next level of SDKs for developers who want to take advantage of the benefits PDF can bring. Equipped with a better document engine, high and low-level programming capabilities and the ability to create, edit, and enhance PDFs. -
25
xManager
Ad-Free, New Features & Freedom
...Chrome OS and Windows 11 now have Android support so xManager technically works there (and any system that can emulate Android). There are no current plans to natively support Windows, MacOS, Linux, etc. Android devices have CPUs. Merged is a combination of Armeabi-v7a and Arm64-v8a architecture. Armeabi-v7a is the modern arch that supports floating point operations, and a multi-threading safe is used on multi-cpu devices. It is also 32-bit. If you are determined to run this on a non-android device then fire up an Android emulator.
