Search Results for "functional os"
Sort By:
Showing 18 open source projects for "functional os"
View related business solutions-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
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.
-
1
Objeck
Objeck is a modern object-oriented programming language
General-purpose object-oriented and functional programming language. Designed to be intuitive, lightweight, cross-platform and fast. The Objeck compiler produces two types of binaries. The first is an executable and the second type is a library. Libraries can be linked into executables by passing the names of libraries to the compiler. Objeck can be built for a variety of targets. The language is implemented in C++, assembly (i.e., generated machine code) and assisted by code generators for... -
2
MirageOS
MirageOS is a library operating system that constructs unikernels
A programming framework for building type-safe, modular systems. MirageOS is a library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms. Code can be developed on a normal OS such as Linux or macOS, and then compiled into a fully standalone, specialized unikernel that runs under a Xen or KVM hypervisor. This lets your services run more efficiently, securely and with finer control than with a... -
3
.NET Runtime
Cross-platform runtime for cloud, mobile, desktop, and IoT apps
...You can write .NET apps in C#, F#, or Visual Basic. C# is a simple, modern, object-oriented, and type-safe programming language. F# is a cross-platform, open-source, functional programming language for .NET. It also includes object-oriented and imperative programming. Visual Basic is an approachable language with a simple syntax for building type-safe, object-oriented apps. Whether you're working in C#, F#, or Visual Basic, your code will run natively on any compatible OS. Different .NET implementations handle the heavy lifting for you. -
4
Perl 5
The Perl programming language
This repository contains the reference implementation of the Perl 5 programming language, including the interpreter, core modules, build system, and an extensive test suite. Perl 5 is a multi-paradigm language renowned for powerful text processing, rich regular expressions, and pragmatic glue code across systems. The core distribution is highly portable, building on Unix, Linux, Windows, and many other platforms, with stable release cycles and careful back-compatibility. A C API (XS) and... -
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.
-
5
OnixOS
OnixOS Arch is a Linux-based and open source distribution.
OnixOS Arch is a Linux-based and open source distribution. It comes with its own system-based functional programming language (O Language). It offers some customized tools for developers. -
6
QP Real-Time Event Frameworks & Tools
Real-Time Event Frameworks based on active objects & state machines
QP real-time event frameworks (RTEFs) provide lightweight, modern, event-driven architecture based on asynchronous Active Objects (Actors) and Hierarchical State Machines. The matching QM model-based design tool and other host-based tools complement the QP frameworks by supporting graphical modeling, code generation, software tracing, and unit testing for event-driven embedded software. Visit https://www.state-machine.com for more information. The QP RTEFs can run on bare-metal... -
7
Lib CONIO (conio_am.h) GCC C++
Library CONIO GCC/Clang C++ (other compilers) for Windows and Linux
Version 8.2.14.26.09 RC [2017-2026] - Fully ported library. September 27, 2026. This project presents a clone 100% of the Borland Turbo C/C++ or Embarcadero C++ library "conio" (https://l1nq.com/tOsMbeb) for the GCC/Clang compiler, more precisely for the C++ language in Windows, Linux, and Mac OS operating systems. Because all functions are defined within the header file itself, the installation is simple. Just place the header file "conio_am.h" (CONsole Input Output Advanced Method)... -
8
Neiki's Cookie Banner
Lightweight, dependency-free cookie consent banner (GDPR/ePrivacy compliant) in vanilla JS. Fully customizable and accessible.
Neiki's Cookie Banner is a lightweight, drop-in cookie consent solution for any website that needs to comply with GDPR, ePrivacy, and similar privacy regulations — without dragging in a heavy third-party SDK or tying your site to a paid SaaS. It is built from the ground up in vanilla JavaScript with zero dependencies, so it works on any stack — from a static HTML page to a WordPress theme, Laravel app, Next.js site, or anything in between. Drop in one file and you have a fully functional,... -
9
Deb12-OnlyShell-tty0.i386.k3
Debian 12 OnlyShell tty0 Libera Edition i386 K3
It's a Debian 12 OS LiveramCD with little size of complete and functional System with costumizated commands, Run in any 32 bits aqruitecture hardware an only 1Giga Ram hardware System. The LiveramCD.iso file size is less than 680Mb. The instalation on harddrive is minium 2,5Gigas of HDD/SDD [To rescue old Computers] -
Build Data Resilience - Take the Assessment TodayIs your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.
-
10
Bareflank Hypervisor
lightweight hypervisor SDK written in C++
The Bareflank Hypervisor is an open source hypervisor Software Development Toolkit (SDK) for Rust and C++, led by Assured Information Security, Inc. (AIS), that provides the tools needed to rapidly prototype and create your own hypervisor on 64bit versions of Intel and AMD (ARMv8 CPUs, RISC-V and PowerPC also planned). The Bareflank SDK is intended for instructional/research purposes as it only provides enough virtualization support to start/stop a hypervisor. Bareflank can also be used as... -
11
RISC-V BOOM
SonicBOOM: The Berkeley Out-of-Order Machine
The riscv-boom project (also called BOOM or SonicBOOM) implements a high-performance, synthesizable out-of-order RISC-V core written in the Chisel hardware construction language. It targets the RV64GC (i.e. 64-bit with general + compressed + floating point) instruction set and supports features such as virtual memory, caches, atomics, and IEEE-754 floating point. The design is parameterizable, meaning users can tune pipeline widths, buffer sizes, functional units, and other... -
12
simple-lang
The Simple Intelligent and Modular Programming Language & Environment
A simple, plain and innovative programming with multi-paradigm. It can be embedded in C/C++ projects. The language is portable to various OS including windows, macOS, any linux and unix distros and other OS. The language is small and fast -
13
HaLVM
The Haskell Lightweight Virtual Machine (HaLVM)
HaLVM is a Haskell-based unikernel system that lets you write entire virtual machines in Haskell and run them directly on a hypervisor, traditionally Xen. Instead of deploying a full operating system, you compile a Haskell program into a tiny image that boots as its own VM, which reduces the attack surface and startup time. The project adapts GHC and the Haskell runtime to a minimal environment, providing the I/O, networking, and memory facilities necessary for standalone services. Its... -
14
Software Automation Framework Support
Multiplatform data-driven test automation execution services
SAFS is a software test automation framework supporting data-driven (aka keyword-driven) functional test automation and associated services. The framework can run stand-alone on Windows, Linux, and Mac as well as integrate the use of IBM Rational Functional Tester, IBM Rational Robot, Smart Bear/AutomatedQA Test Complete, Apple XCode UIAutomation, Android SDK Automaton, Thoughtworks Selenium, and several other tools. Among other features, it provides advanced support of language... -
15
Smart-M3 is a functional platform that provides a cross domain search extent for triple based information. Smart-M3 enables smart cross domain applications that rely on information level interoperability.
-
16
Community Linux
USB Drive Writable Linux Distribution
Community Linux is a USB drive based fully functional writable Linux Distribution. It boots and runs with a comparable speed as a hard drive installation. Community Linux allows one to create a low cost solid state development and production platform. For new ComLin drive creation, one needs to download the full install (comlin-016.tar.gz) ... (not just the scripts) Update: Community Linux will now run on most every machine. Update: Added Sound drivers, Intelligent... -
17
We extend the Eclipse IDE with tools for development in Haskell, a functional programming language, providing support for a wide range of tools (compilers, interpreters, doc tools etc.) in a coherent, convenient and configurable environment.
-
18
midori programming language
dependently typed functional programming language
Programming language based off pure type systems, and COQ. Currently aimed at both systems, and application programming. Has a simple syntax, and (planned) C integration.
- Previous
- You're on page 1
- Next
