Search Results for "chromeos" - Page 2
Sort By:
Showing 41 open source projects for "chromeos"
View related business solutions-
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.
-
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.
-
1
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.
-
2
MUgen is an emulator generator which works in a way similar to yacc. It takes an input machine description and outputs a source file which is a fully implemented emulator of that system. This is the open-source system.
-
3
hscratch is a simple command-line tool to produce scratch sounds from a given phonogramme offline coded in Haskell. Currently, it lacks all that command-line sugar like '-v' and '-h'. Working prototype, still to be developed and improved.
-
4
DAU is a set of easy to use utilites for Dokuwiki administration. They help to see and analyse the whole structure graph of a wiki, manage users and groups, find unneeded uploaded media. For more information please visit http://dau.sourceforge.net/
-
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.
-
5
Kaya: A statically typed, imperative cross-platform programming language with type inference, powerful data description capabilities and built-in abstractions and libraries for easy and robust web application development. http://kayalang.org/
-
6
Agda is a system for incrementally developing proofs and programs. This is the sourceforge project for the PREVIOUS Agda (Agda 1). A newer version of Agda (Agda 2) in beta testing is available from: http://wiki.portal.chalmers.se/agda/
-
7
More Than Parsing is a parser generator for context free grammars defined in a BNF-like format. It generates scanners, parsers, ASTs, etc. This sf project is no longer active, development will continue in a different place.
-
8
Functional Networked Integrated Environment (FUNNIE) is a networked CSCW programming environment specifically tuned to the needs of students and instructors, based on a subset of Haskell.
-
9
A programming language designed for searching and manipulating tree-structured data, particularly corpora of natural languages encoded in an s-expression-like format.
-
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.
-
10
-
11
JHaskell provides a Haskell interpreter and compiler for the JVM. The goal is to make Haskell a viable language for development for the Java platform and also to allow existing Haskell programs to run on the JVM.
-
12
-
13
-
14
-
15
The Glasgow Haskell Compiler is a robust, fully-featured, optimising compiler for the Haskell 98 programming language. Please note, we are no longer using the SourceForge bug tracker. Please go to http://cvs.haskell.org/trac/ghc instead.
-
16