Search Results for "linux operating systems" - Page 2
Sort By:
Showing 40 open source projects for "linux operating systems"
View related business solutions-
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.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
1
iptadmin
iptables web interface
Web interface for linux firewall written in haskell. It covers a little subset of options and targets. It works as standalone https daemon, and allows to authenticate with system accounts using pam. Iptadmin can't ruin iptables configuration files by design. It doesn't let user to block network access to the interface. -
2
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. -
3
Soutei is a trust-management system for access control in distributed systems. Soutei policies and credentials are written in a declarative logic-based language. Soutei policies are modular, concise, readable, supporting conditional delegation.
-
4
simgi is a simulation engine for stochastic simulations of reactive systems using Gillespie's method written in Haskell.
-
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
5
ip6addr is a command line tool written in Haskell for filtering IPv6 addresses parsed against RFC 4291
-
6
-
7
PocketGames aims to provide an extended library for several games, so that they can be used with PocketPC, Linux, Windows Mobile, Web Based systems, Windows, etc.
-
8
The Grammatical Framework (GF) is a grammar formalism based on type theory. It consists of a special-purpose programming language, a compiler of the language, and a generic grammar processor.
-
9
HaskellDB is a Haskell library for expressing database queries and operations in a type safe and declarative way.
-
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.
-
10
haIDE is a GUI-based Haskell IDE written in Haskell using gtk. It does not include an editor but instead interfaces with NEdit, vim or GNU emacs.
-
11
-
12
A beginners' level theorem prover project for logic students. Okitsune is written in Haskell and open for contributions.
-
13
TheSLinux
A Linux distro for Vietnamese
TheSLinux is a Linux distribution that primarily focuses on the Vietnamese users. This distro aims to be fully qualified open source distribution in Vietnam. The first generation is based on ArchLinux. -
14
A portable library for manipulating data disks created with the Roland SP-808 Groove Sampler / E-Mix Studio. A command-based shell ("vs2") to provide a user interface on libvs2. Possibly a graphics interface ("gvs2") as well.
-
15
The Inverse Ocean Model (IOM) is a software system for developing customized data-assimilation systems for numerical ocean models. It has also been used with general purpose hydrodynamic and geodynamic models.
