Search Results for "operating systems" - Page 8
Sort By:
Showing 1192 open source projects for "operating systems"
View related business solutions-
$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.
-
Earn up to 16% annual interest with Nexo.Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
1
xLaDe
A Lean 4 Ecosystem Framework!
Lean 4 proofs break silently across versions. Projects built on Lean drift from upstream until one day they simply stop working. Nobody knows why. These are not edge cases. They are the normal experience of working with a proof assistant under rapid development. xLaDe is a research platform that studies these problems and builds tooling to address them. It is not a theorem library, a fork of Lean, or a replacement for any existing tool. It is an ecosystem layer — a controlled environment... -
2
Basic Blind Chess
Blind Chess using Taiwan rules
Blind Chess also known as "Dark Chess" (暗棋) or "Banqi" or Half Chess , is a two-player Chinese board game played on a 4x8 grid, or half of the xiangqi (Chinese Chess) board. This application is using Taiwan rule. AI is using basic minimax tree structure and some rules. Advanced algorithm such as Upper Confidence bounds applied to Trees and Monte Carlo Tree Search are NOT used. This app is single player vs computer only. For English user, Christakis Giorgios made Software Requirements... -
3
myScite
The allRound pocket sized CodeEditor.
Refurbished Scintilla.orgs/SciTE with some additional patches. -- Features -- - Full MinGW and GTK SDKs Autocomplete.(190+) - Do system scripting (bash, applescript, cmd, powershell, perl, j/vbscript, awk) - Examine all sorts of data files (sql, regedit, mib, xml, yaml, json, vcard ...) - Review difference and patch files - Create makefiles (gnu make / cmake) - Edit html, css and config files (with calltips) - Describe circuits in vhdl and spice. ... - And finally; read & write... -
4
ObsidianOS
ObsidianOS is an GNU/Linux distro with an A/B partition style.
ObsidianOS is an Multi-base GNU/Linux distro with an A/B partition style so if a package has a breaking change that causes some issues, you can just reboot into the other partition and restore the other one, while relying on the robustness of EXT4 (or f2fs). -
Stop Storing Third-Party Tokens in Your DatabaseRolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
-
5
LMSFM Linux
Musician-oriented Linux distro
Let's Make Some F*&^in' Music is a USB-based live Linux distro based on Slackware with the intent of providing a comprehensive music recording and production studio using only FOSS. -
6
PYroMat
Thermodynamic properties in python
PYroMat brings the thermodynamic properties of nearly 1,000 species to Python users with only a few keystrokes. Entropy, enthalpy, specific heats, inverse functions, and more are available from ideal gases, their mixtures, and multi-phase steam. Accurate, fast, and tested; PYroMat is the open-source solution for students, researchers, design engineers, and tinkerers everywhere who need thermodynamic properties. -
7
DAE Tools Project
Object-oriented equation-based modelling and optimisation software
DAE Tools is a cross-platform equation-based object-oriented modelling, simulation and optimisation software. It is not a modelling language nor a collection of numerical libraries but rather a higher level structure – an architectural design of interdependent software components providing an API for: - Model development/specification - Activities on developed models, such as simulation, optimisation, sensitivity analysis and parameter estimation - Processing of the results, such as... -
8
Ainee
Ainee - AI Notetaking and Learning Companion
Ainee is your ultimate AI-powered notetaking and learning companion. Capture lecture notes in real-time and effortlessly transform audio, text, files, and YouTube videos into formatted notes, mindmaps, quizzes, flashcards, podcasts, and more. Explore our AI meeting note taker, AI notes, video transcript generator, PDF to AI converter, and AI flashcard maker. Enhance your learning with our AI voice recorder, article summarizer AI, and AI quiz generator. Additionally, share your knowledge... -
9
3D Box rotation
Simple example of draw and rotate 3D box
Simple source .java file; .bat for fast re-compile and run; and pre-compiled .jar Java program with example from scratch writed in Notepad++ without Eclipse, etc., How to draw and rotate 3D box most simple way. Rotation speed regulated in simple Loop with 10 ms sleep. Use Java version 8 (OpenJDK 8, OracleJDK 8, OracleJRE 8, ..). Higher versions have an anti-aliasing error in the BufferedImage ( Windows 10 ). Python version with tkinter and math imports. Including calculated faces,... -
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.
-
10
pyFLTK
A Python wrapper library for the cross-platform FLTK GUI library.
A Python wrapper library for the cross-platform FLTK GUI library. -
11
KaNaPi
Educational Linux Distribution
Main goals: * Prepare operating system based on Linux kernel and free software for use at home from scratch by building sources. Binary packages/images are also available. * Each package is installed in separate directory, so you can use different versions of applications and libraries by design. * There is only one user 'kanapi' with root permissions, so you don't have to login, remember passwords, etc. * Simple configuration * Automatic compilation. -
12
Equestria OS
An Arch Linux OS with 20+ custom GUI utilities & MLP theme customizer.
A user-friendly Linux distribution based on Arch Linux and KDE Plasma 6. Designed by a solo creator as a passion project, this lightweight operating system eliminates the need for terminal commands by offering over 20 unique, built-in graphical utilities for effortless computer management. Equestria OS makes your computer feel like home. It comes with a deeply integrated Proton Engine, allowing you to run your favorite Windows apps and games (.exe) with a simple double-click in secure,... -
13
NexusDC
Centralized Windows Server dashboard for AD, PowerShell, and SysAdmin.
Nexus DC Command Console was engineered to eliminate "console fatigue" for Windows Server administrators. Traditionally, managing a Domain Controller requires jumping between half a dozen MMC snap-ins, PowerShell windows, and Task Manager. Nexus DC consolidates these workflows into a modern, portable environment. Built with a focus on portability and rapid deployment, Nexus DC automatically adapts to its host environment. Whether deployed on a primary Domain Controller or a remote member... -
14
Feisty Meow® Concerns Codebase
The full codebase of Feisty Meow® Concerns Ltd.
Feisty Meow codebase offers a ton of useful bash scripts and implements several C++ libraries and many C++ applications. This is the Sourceforge mirror; visit our main site at: https://feistymeow.org -
15
Entropy Linux
Arch based, Modern, Midweight, Practical, Experimental, AMD, Szmelc
Based on Arch. Built for Power Users and Sysadmins. Built for those who demand control over their system. Optimized for AMD™, it features a global dark theme and a suite of powerful tools for advanced users. Developed by two lead devs and their squad, it’s raw, unpolished, and built for those who love to tinker, learn, and push boundaries. Why Entropy? Power & Flexibility: Designed for power users, sysadmins, and DevOps pros. Advanced Toolset: Custom utilities to boost... -
16
A multimedia authoring and processing framework and a video playout server for television broadcasting.
-
17
UNICORE
UNiform Interface to COmputing and data REsources
UNICORE is a software suite for building federated systems, providing secure and seamless access to heterogeneous resource such as compute clusters and file systems. UNICORE deals with authentication, user mapping and authorization, and provides a comprehensive set of RESTful APIs for HPC access and workflows. Contributors: visit https://github.com/UNICORE-EU -
18
Prime number ( primenumbers )
Benchmark for 50 000 000 prime numbers as single and multicore
Simple source files and compiled JAR Java programs, for benchmark 50 000 000 cycle finding prime numbers. On Intel(R) Core(TM) i5-8600K CPU, Windows 10 20H2, i have 39 second on single core and 7,6 second on multi core. (PS: C++ multicore 6 second). Added C files for gcc compiler in Windows 10 and for Xcode C command line project in MacOS ( tested on Mac mini M2 with single core 16 to 25 sec and multicore 2,3 to 5 second by compiler -O switch). Surprise, same code in JavaScript for M2 chip... -
19
SynaptaOS
Synapta OS is a preconfigured educational Linux distribution with AI
🌐 Synapta OS Synapta OS is an educational Linux distribution preconfigured with local Artificial Intelligence (AI) capabilities. It is designed for schools and remote areas where Internet connectivity is limited or unavailable, offering access to AI-based learning and digital tools offline. Version 1.4.6 -
20
idcp
Control program for Undulators at the BESSYII Synchrotron
The BESSY II synchrotron is operated at the Helmholtz-Zentrum Berlin. Undulators are moveable magnetic structures that force the electron beam on a curved trajectory creating synchrotron radiation. This project is the undulator control software. -
21
Gnu Tools
Unix Tools For Windows
CodeBlocks With A full development environment. Took a while but CodeBlocks is now upto speed and in sync with the current release version. New version of CodeBlocks supports XML based configuration, so users can do specialized compiler support if needed. Changed away from the old Msys in favor of Msys2 which has better support for a lot of things like miktex. Old package is still there if you still need it but wont be developed on anymore. Loads of modifications compared to the... -
22
GluCat: Clifford algebra templates
Calculation with Clifford algebras: C++ library and Python module
GluCat is a generic library of C++ templates that implement universal Clifford algebras over the field of real numbers. The PyClical extension module for Python gives users an easy Python scripting interface for calculations in Clifford algebras. The name PyClical is an homage to Pertti Lounesto's CLICAL. -
23
BerOS
Minimal Debian-based RDP thin client OS with admin/user lock modes.
BerOS is a minimal, bootable Debian 12 (Bookworm) Live OS designed to turn any PC into a secure RDP thin client. Booting straight into a lightweight Openbox session, it launches a custom Python-Tkinter RDP portal. Key Features: * High-Performance RDP: Powered by FreeRDP with RemoteFX, client-side audio, clipboard sync, and auto-resolution. * Dual-Security Modes: User Mode locks settings. Admin Mode (default pass: admin) allows modifying connections, network (DHCP/Static IP via... -
24
ShivaOs
Distribution Linux Gaming — Fedora 44 Atomic / KDE Plasma 6
ShivaOS Atomic — Linux Gaming Distribution based on Fedora 44 Kinoite / KDE Plasma 6. Custom ShivaOS kernel 7.0.10 (BORE scheduler + BBR3 TCP), immutable rpm-ostree image with automatic updates and instant rollback. Included: Shiva AI (terminal AI assistant + floating overlay Super+A), Steam, MangoHud, GameMode, Gamescope, AMD/NVIDIA/Intel drivers, Flatpak, Shiva Store, Shiva Welcome. Official website: https://shivaos.com -
25
