6345 projects for "system linux" with 2 filters applied:

  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB 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.
    Start Free
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    Try Free
  • 1
    Flora-2
    Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more. If you use Flora-2 and like it, please acknowledge it in your project!
    Downloads: 2 This Week
    Last Update:
    See Project
  • 2
    GXemul is a full-system computer emulator, emulating processors (ARM, MIPS, M88K, PowerPC, and SuperH) and surrounding peripherals, in some cases well enough to let unmodified guest operating systems run as if they were running on real hardware.
    Downloads: 7 This Week
    Last Update:
    See Project
  • 3
    cross

    cross

    Zero setup cross compilation and cross testing of Rust crates

    This project is developed and maintained by the cross-rs team. It was previously maintained by the Rust Embedded Working Group Tools team. You have four options to configure cross. cross will provide all the ingredients needed for cross-compilation without touching your system installation. cross provides an environment, cross-toolchain, and cross-compiled libraries, that produce the most portable binaries. “cross-testing”, cross can test crates for architectures other than i686 and...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Food Truck

    Food Truck

    SwiftUI sample code from WWDC22

    Sample Food Truck is a comprehensive Swift sample app that demonstrates modern Apple platform patterns across data modeling, UI, and system integrations. It showcases SwiftUI-first architecture with navigation, lists, detail flows, and state management suitable for iPhone, iPad, and Mac. The project models a small business scenario—menus, orders, inventory, and analytics—so you can see realistic domain logic rather than a toy counter. It integrates with platform frameworks like Charts,...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You 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.
    Try free now
  • 5
    Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language, and is implemented in Java. Using JADE a multi-agent system can be distributed over a network effortlessly. This project was moved to https://jason-lang.github.io
    Downloads: 24 This Week
    Last Update:
    See Project
  • 6
    AlertToast-SwiftUI

    AlertToast-SwiftUI

    Create Apple-like alerts & toasts using SwiftUI

    AlertToast is a SwiftUI-based library that enables developers to display lightweight, non-intrusive notifications and alerts that resemble native Apple system interactions. Unlike traditional alerts that require user confirmation, this library allows for transient messages that automatically dismiss, improving user experience for status updates such as success messages, loading indicators, or errors. It provides multiple display modes including centered alerts, top drop-down HUDs, and bottom...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Style2Paints

    Style2Paints

    Sketch + style = paints

    style2paints is an AI-assisted colorization system aimed primarily at line art and manga, turning monochrome drawings into colored illustrations with minimal manual effort. It combines automatic color inference with user guidance, letting artists nudge the model using sparse color hints, masks, or style references. The pipeline focuses on preserving line quality while spreading coherent colors and shading across regions that are often ambiguous to purely automatic methods. Iterative...
    Downloads: 20 This Week
    Last Update:
    See Project
  • 8
    Stork

    Stork

    Impossibly fast web search, made for static sites

    Stork is a high-performance, client-side full-text search library designed specifically for static websites, offering instant and accurate search results without requiring a backend server. It operates through a two-part system: a command-line tool that indexes content and generates a compact search index, and a JavaScript library that loads this index in the browser and performs searches in real time. Built in Rust and compiled to WebAssembly, Stork achieves extremely fast query performance...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Graphical binary/hex calculator and bit manipulator
    Downloads: 0 This Week
    Last Update:
    See Project
  • Compliant and Reliable File Transfers Backed by Top Security Certifications Icon
    Compliant and Reliable File Transfers Backed by Top Security Certifications

    Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.

    Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
    Start Free Trial
  • 10

    Classic HWUT

    Software Unit Tests (Language Independent Approach)

    Automation of Unit and System Tests. Tests can be implemented in any language and on many platforms. The flexible approach enables the inclusion of many types of tests, such as memory leak checks (using valgrind), coding rule checks, complexity checks, etc. Tests are run by a simple call to hwut in a base directory of a project. In particular for C, HWUT supports make file generation using 'sos' and 'sols' modes. Remote control-able function stubs may be generated using the 'stub' mode....
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    OpenGL Canvas

    OpenGL Canvas

    An Android library that provides views using openGL canvas

    android-openGL-canvas is a lightweight OpenGL rendering library for Android that emulates the Android Canvas API using OpenGL ES 2.0. It’s designed for developers who want to achieve hardware-accelerated 2D graphics on Android while maintaining the familiar Canvas drawing commands. Ideal for real-time graphics, games, or custom views, this project provides a fast and flexible alternative to Android’s software rendering without the need for a full game engine. It bridges the gap between...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    LiteSQL is a codegenerator and C++ library that integrates C++ objects tightly to relational database and thus provides an object persistence layer. LiteSQL supports SQLite3, PostgreSQL, MySQL and oracle as backends.
    Downloads: 14 This Week
    Last Update:
    See Project
  • 13
    PTCPas is a free, portable framebuffer library, written in Free Pascal. It allows low-level high-speed graphics access on multiple platforms.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 14
    Yapsy

    Yapsy

    A fat-free DIY Python plugin management toolkit.

    A simple framework for plugin system development with as few dependencies as possible. It is designed to offer a set of very lean classes (plugin managers and plugin interfaces) which can easily be customised by decoration or inheritance. Yapsy v1.x supports Python2 and Python3. Its source package contains versions of the sources for both pythons. Yapsy v2+ supports Python 3 and it's development happens now on https://github.com/tibonihoo/yapsy/ Usage samples, advices and...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 15
    Resources for Competitive Programming

    Resources for Competitive Programming

    Competitive Programming & System Design Resources

    Competitive Programming Resources is a curated collection for learners preparing for competitive programming, coding interviews, system design, and problem solving. It gathers video tutorials, practice platforms, algorithm references, interview preparation links, and system design materials in one place. The repository is not a software library but a structured learning hub for people who want to improve algorithmic thinking and technical interview readiness. It points users toward platforms...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    smooth is an object oriented class library for Win32 and Linux written in C++. It's meant to become an alternative to toolkits like Qt.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 17

    Ofront+

    Oberon family of languages to C translator for ARM, x64 and x86 archit

    Ofront+ is a tool that translates programs in Oberon dialects into semantically equivalent C programs. Full error analysis is performed on the Oberon input program and in case of no errors up to three files are generated as output. Ofront+ does not invoke the C compiler or linkage editor. This may be done in separate shell scripts or make files and is inherently dependent on the C compiler and linkage editor being used. Although normally not read by the user, the C code generated by...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Polysemy

    Polysemy

    Higher-order, no-boilerplate monads

    Polysemy is a high-performance, zero-boilerplate effect system for Haskell, designed to simplify the handling of side effects in functional programs. Unlike traditional monad transformer stacks, Polysemy uses a modern approach based on freer monads and interpreters, allowing developers to define, compose, and interpret effects in a more modular and testable way. It aims to offer both flexibility and performance without sacrificing type safety or expressiveness.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    RedtDec

    RedtDec

    RetDec is a retargetable machine-code decompiler based on LLVM

    ...Signature-based removal of statically linked library code. Static analysis of executable files with detailed information. We currently support Windows (7 or later), Linux, macOS, and (experimentally) FreeBSD. An installed version of RetDec requires approximately 5 to 6 GB of free disk space.
    Downloads: 16 This Week
    Last Update:
    See Project
  • 20
    Atom

    Atom

    A hackable text editor for the 21st Century

    Atom is a text editor that's modern, approachable and full-featured. It's also easily customizable- you can customize it to do anything and be able to use it productively without ever touching a config file. Atom is free to download and runs on Linux, OS X and Windows with support for plug-ins written in Node.js and embedded Git Control. It is based on Electron (formerly known as Atom Shell),a framework for building cross-platform apps using Chromium and Node.js.
    Downloads: 71 This Week
    Last Update:
    See Project
  • 21
    OptimTraj

    OptimTraj

    A trajectory optimization library for Matlab

    OptimTraj is a MATLAB toolbox for solving trajectory optimization problems. It supports direct collocation, shooting methods, and pseudospectral methods for finding optimal control inputs and system trajectories. It is useful for robotics, aerospace, biomechanics, and any domain requiring time-optimal or energy-optimal motion planning.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22

    phpEasyVCS

    File based version control system written in PHP

    phpEasyVCS is a simple version control system (VCS) with minimal hosting requirements, namely PHP 5.2+. No database is needed. Files can be viewed and uploaded with a browser or by WebDAV, which allows you to access the files like a local drive in all operating systems. For integration with other software a REST service is provided. It is very easy to view the file versions at a specific point in time. The web interface allows you to easily compare file versions and synchronize and...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    go-coffeeshop

    go-coffeeshop

    A practical event-driven microservices demo

    go-coffeeshop is a sample application that demonstrates how to build scalable and maintainable systems using Go, following clean architecture principles and domain-driven design concepts. It simulates a coffee shop system, providing a realistic context for implementing business logic, APIs, and data handling. The project is structured to separate concerns clearly, with layers for domain logic, application services, infrastructure, and interfaces. It showcases best practices for building...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    eXist-db

    eXist-db

    eXist-db is a feature rich Open Source native XML database

    eXist-db is a native XML database featuring efficient, index-based XQuery processing, extensions for keyword search, XUpdate support, XSLT support, XForms support, REST and tight integration with existing XML development tools. Moved to Github - https://www.github.com/exist-db/exist
    Downloads: 8 This Week
    Last Update:
    See Project
  • 25

    EOBSystem

    Moved to GithHub - https://github.com/arnost00/members

    Members part moved to GithHub - https://github.com/arnost00/members Si_read part moved to GitHub - https://github.com/arnost00/si_communication Entry system for competitions for Orienteering club managed from web. It's easy to manage entry for O-competitions, print entries for competitors, manage pays and more functionality. Other part provided reading of SportIdent control stations.
    Downloads: 0 This Week
    Last Update:
    See Project
Auth0 Logo