Showing 1791 open source projects for "system linux"

View related business solutions
  • 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
  • Error to trace to log to deploy. One click. No SSH. Icon
    Error to trace to log to deploy. One click. No SSH.

    Catch the cause before the pager goes off.

    AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
    Free 30 days.
  • 1
    Spring MicroServices

    Spring MicroServices

    Microservices using Spring Boot, Spring Cloud, Docker and Kubernetes

    Spring Microservices is a practical learning repository focused on building microservices architectures using Spring Boot and Spring Cloud. It teaches developers how to design RESTful APIs and evolve them into scalable microservices systems. The project includes examples of service communication, load balancing, and centralized configuration. It also introduces tools such as Eureka, Zipkin, and API gateways for managing distributed systems. The repository emphasizes best practices in...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Key Store

    Key Store

    Scriptural Keys Restoration - decoded universally symbolic language

    The Key Store is a directory where users can find the symbolic meaning to a word as defined in Holy Scripture. These are often referred to as the keys of the Kingdom of Heaven. Much like a secret code, the directory exposes a universal dialect, all but nearly lost throughout the Dark Ages of time. Yet, fragments of this language remained until today such as, Father = Time and Mother = Nature. The database is expandable to grow as more entries and the sources are uncovered.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Tech Interview Handbook

    Tech Interview Handbook

    Curated coding interview preparation materials

    Tech Interview Handbook is a curated, mostly self-contained compilation of technical interview preparation resources—including algorithms, system design, resume tips, and behavioral questions—crafted for busy software engineers. The information in this repository is condensed. Ultimately, the key to succeeding in technical interviews is consistent practice and I don't want to bore you with too many words. I tell you the minimum you need to know on how to go about navigating the interview...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 4
    Major looseless compression algorithms library and documentation. First project: Arithmetic, Huffman, LZ77, LZ78, LZW, RLE. Second project reimplements Deflate. Documentation explains major Entropy Compression Methods.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Cut Data Warehouse Costs by 54% Icon
    Cut Data Warehouse Costs by 54%

    Easily migrate from Snowflake, Redshift, or Databricks with free tools.

    BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
    Try Free
  • 5
    arclog archives the log files monthly. It supports Apache access log, Syslog, NTP, Apache 1 SSL engine log, modified ISO date/time log file formats, and Apache-like logs like CUPS, ProFTPD, Pure-FTPd… etc., and gzip and bzip2 compression methods.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 6
    Axiom is a computer algebra system. It consists of an interpreter, a compiler and a library of algorithms. Axiom is an excellent research platform as well as a useful tool for scientific programming.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    internet-control

    internet-control

    Control how long your childs computer is connected to the internet

    internet-control is a very special implementation of parental control. It allows the child to be productive at the computer while lowering the danger of addiction to a minimum. Instead of restricting the time the computer may be used, it allows parents to restrict the time the computer may be connected to the internet. This way the child is still able to do its homework at the computer, but the danger of addiction to a game or social media application is minimised - the unpredictabillity...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Gambit
    A library of tools for doing computation in game theory.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 9

    Toward A Philosophy Of Computing

    How to philosophize with internetworked electronic computing machinery

    Toward A Philosophy Of Computing begins as a dissertation proposal in Texts and Technology at the University of Central Florida that explores doing philosophy by programming. See the project wiki for the proposal.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini 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.
    Get Started Free
  • 10
    Advanced Java

    Advanced Java

    Comprehensive guide to advanced Java topics and backend tech

    advanced-java is a curated knowledge base for Java developers seeking to deepen their understanding of advanced topics, including JVM internals, multithreading, networking, databases, system design, and common backend technologies. Written in Chinese, it serves as both a study guide and reference for preparing for technical interviews or mastering large-scale system development with Java.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    MesoRD is a stochastic and deterministic simulator of coupled chemical reactions and diffusions in space.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 12
    Visible emission spectra processing utility.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    This is software to create web dictionaries, esp. for Esperanto like Reta Vortaro (http://reta-vortaro.de). A dictionary is made from articles written in a special XML dialect by transformations using XSLT, ant and some Java code.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Realtime rear lighting led strip for PC More videos: https://youtu.be/KOzteiKo_Z4 https://youtu.be/8Y_ZgxOdfG0 https://youtu.be/9YNoitDR2JE WARNING: If you are not comfortable working with electronics, soldering and wires, you can mess up your computer, router, Raspberry PI or some people might even find a way to burn down the house! (I watch YouTube, I know you guys are out there...) This is not a beginner project, it involves multiple pieces of equipment and various expertise....
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    workshops_project

    workshops_project

    Workshops is an open source, simple, dead-lightweight LMS

    Workshops is an open source, simple, dead-lightweight LMS (Learning Management System) application programmed in Python (version 3.8.x) with Django (version 2.2.x) web framework which main purpose is to make a standarized way to share knowledge via courses in a slide-based view in browser powered by remark javascript library, easy to create, edit, delete and show your courses using simple markdown and html if necessary. Inspired on an old project in my social labours to help share knowledge...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    raspberry-pi-os

    raspberry-pi-os

    Learning operating system development using Linux kernel and Raspberry

    This project provides a step-by-step educational guide on building a simple operating system kernel entirely from scratch, specifically targeting the Raspberry Pi 3. The operating system, referred to as RPi OS, is inspired by the Linux kernel but remains intentionally minimal to focus on clarity and teaching fundamental OS concepts. Each lesson introduces a kernel feature and demonstrates its implementation within RPi OS, followed by a comparison to how the same concept is realized in the Linux kernel. ...
    Downloads: 8 This Week
    Last Update:
    See Project
  • 17
    SLAMBook-en

    SLAMBook-en

    The English version of 14 lectures on visual SLAM

    This project is the English version of “14 Lectures on Visual SLAM: From Theory to Practice,” a text and teaching resource about visual simultaneous localization and mapping (SLAM). It provides the full LaTeX source (formerly Markdown) for all 14 chapters, letting readers compile and study the material systematically. Within the repository you’ll find organized subfolders (e.g. chapters, latex, resources) containing the lecture contents, references, figures, and supporting assets for each...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Zero Install
    Zero Install is a decentralised cross-distribution software installation system. Create one package that works everywhere! With dependency handling and automatic updates, full support for shared libraries, and integration with native package managers
    Leader badge
    Downloads: 1,785 This Week
    Last Update:
    See Project
  • 19
    RT Schedule

    RT Schedule

    A realtime-schedule generator for educational purposes

    RT Schedule is a realtime-schedule generator to create and present simple and idealised RT schedules from task lists. The purpose is to compute the basic properties of a task set and create a schedule using the rate monotonic (RM), earliest deadline first (EDF) and least laxity first (LLF) algorithms. The program uses simple, idealised systems, since students must be able to schedule them manually. RT Schedule computes the data and generates clear graphs for lecture notes and exams.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    3 Rs of Software Architecture

    3 Rs of Software Architecture

    A guide on how to write readable, reusable, and refactorable software

    This guide aims to help software developers think more clearly about how to build systems that are not only functional today but maintainable into the future. It focuses on three architectural “ilities”: readability, reusability, and refactorability, presenting them in a hierarchical framework so developers can evaluate and improve their code and system design. The project uses a simple shopping-cart application written in JavaScript and React/Redux to illustrate how code evolves from “bad”...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Bash Scripting

    Bash Scripting

    Free Introduction to Bash Scripting eBook

    This is an open-source introduction to Bash scripting guide/ebook that will help you learn the basics of Bash scripting and start writing awesome Bash scripts that will help you automate your daily SysOps, DevOps, and Dev tasks. No matter if you are a DevOps/SysOps engineer, developer, or just a Linux enthusiast, you can use Bash scripts to combine different Linux commands and automate boring and repetitive daily tasks, so that you can focus on more productive and fun things. The guide is suitable for anyone working as a developer, system administrator, or a DevOps engineer and wants to learn the basics of Bash scripting. The first 13 chapters would be purely focused on getting some solid Bash scripting foundations then the rest of the chapters would give you some real-life examples and scripts.
    Downloads: 7 This Week
    Last Update:
    See Project
  • 22
    Archive of Formal Proofs

    Archive of Formal Proofs

    A collection of machine-checkend mathematical proofs

    The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 23
    Dysgu
    Dysgu presents an innovative approach to out-of-class activities by combining multiple dimensions of best practices from different spectrum of student learning into a coherent idea and delivering such activities with personalization and adaptation. The goal of the Dysgu system is to study the impact of frequent out-of-class activities on student learning and engagement where the activities are interactive in nature, smaller with scaffolding support, personalized and delivered via a mobile platform.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 24
    Lacap
    This program is provided to allow the easy memorization of prayers in Latin for Traditionalist Catholics. It has a quiz mode and a mode that allows the entire prayer to be
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    EduMIPS64
    EduMIPS64 (aka edumips) is a cross-platform MIPS 64 ISA simulator. It can be used to run and debug MIPS programs that are written using the MIPS64 instruction set. It supports visual debugging and lets you see what instructions do in the pipeline.
    Leader badge
    Downloads: 1 This Week
    Last Update:
    See Project
Auth0 Logo