Search Results for "operating" - Page 16
Sort By:
1970 projects for "operating" with 2 filters applied:
-
Our Free Plans just got better! | Auth0You 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.
-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
1
SpreadsheetView
Full configurable spreadsheet view user interfaces for iOS apps
Full configurable spreadsheet views user interfaces for iOS applications. With this framework, you can easily create complex layouts like schedules, Gantt charts, and timetables as if you are using Excel. -
2
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. -
3
CyC2018.github.io
Personal knowledge site built with GitHub Pages
This is a personal knowledge site built with GitHub Pages, organizing computer science notes and study materials in a browsable format. It aggregates content across algorithms, data structures, networking, operating systems, databases, and interview preparation into a coherent index. The presentation emphasizes succinct explanations paired with diagrams, tables, or code snippets to speed recall. Because the site is generated from a repository, it benefits from issue tracking, pull requests, and version history, making it easy to update and maintain. ... -
4
BulletinBoard
General-purpose contextual cards for iOS
BulletinBoard is an iOS library that generates and manages contextual cards displayed at the bottom of the screen. It is especially well suited for quick user interactions such as onboarding screens or configuration. It has an interface similar to the cards displayed by iOS for AirPods, Apple TV/HomePod configuration and NFC tag scanning. It supports both the iPhone, iPhone X and the iPad. It has built-in support for accessibility features such as VoiceOver and Switch Control. -
Forever Free Full-Stack Observability | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
5
Twitter Image Pipeline
Twitter Image Pipeline is a robust and performant image loading
The Twitter Image Pipeline is a streamlined framework for fetching and storing images in an application. The high-level concept is that all requests to fetch or store an image go through an image pipeline which encapsulates the work of checking the in-memory caches and an on disk cache before retrieving the image from over the network as well as keeping the caches both up to date and pruned. Twitter Image Pipeline came to fruition as numerous needs rose out of Twitter for iOS use cases. The... -
6
TweenKit
Animation library for iOS in Swift
TweenKit is a powerful animation library that allows you to animate (or 'tween') anything. TweenKit's animations are also scrubbable, perfect for building awesome onboarding experiences! By adding conformance to the Tweenable protocol, anything can be animated. You decide what it means to 'tween' your object, making this a flexible approach. -
7
FastSim consists of: - 'Facile' a highly flexible and expressive processor-architecture specification-language. - A compiler for the specifications which produces high-performance, fast-forwarding simulators.
-
8
Pretty Damn Quick (PDQ) analytically solves queueing network models of computer and manufacturing systems, data networks, etc., written in conventional programming languages. Generic or customized reports of predicted performance measures are output.
-
9
Dynamic
Call hidden/private API in style, The Swift way
Dynamic is an Objective-C library for dynamically interacting with private and public iOS APIs. It allows developers to access properties, methods, and classes that are not normally exposed, useful for runtime exploration and advanced debugging. -
Gemini 3 and 200+ AI Models on One PlatformBuild, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
-
10
CloudTest-Cloud java unit test framework
A redefined framework with new approach and methodology for unit test
CloudTest is a redefined unit testing approach and methodology, which can make your testing jobs become much more easy and efficient. It is a pure java lightweight framework integrated test cases management, test data management, assert management, automation regression, performance monitor and test report in one. -
11
Kore
Scalable and secure web application framework
Kore is a web application platform for writing scalable, concurrent web-based processes in C or Python. It is built with a "secure by default" approach. It is fully privileged separated while using strong security features at the operating system level such as second, pledge, unveil, and more. Today Kore is used in a variety of applications ranging from high assurance cryptographic military devices, machine-learning stacks and even in the aerospace industry. From embedded platforms all the way to high-performance servers. Kore scales. Kore is open source software licensed under the ISC license and developed in my spare time. ... -
12
Kakao
Nice and simple DSL for Espresso in Kotlin
At Agoda, we have more than 1000 automated tests to ensure our application's quality and give our best experience to the user. All of them are written with Espresso from Google. Even though Espresso is working really well with our test, the code readability is quite low. Let's look at some of the examples of how we write the test. As Agoda developers, we want to improve not just our codebase quality, but also our implementation of tests as well. This is why we are introducing Kakao. The... -
13
Face detector
A real-time face detection Android library
Face detector is a face detection Android library which can be easily plugged into any camera API (given it provides a way to process its frames). Face detector is built on top of MLKit's face detection API. -
14
idevicerestore
Restore/upgrade firmware of iOS devices
A command-line application to restore firmware files to iOS devices. The iDevice restore application is a full reimplementation of all granular steps which are performed during the restore of firmware to a device. In general, upgrades and downgrades are possible, however subject to the availability of SHSH blobs from Apple for signing the firmware files. idevicerestore requires a properly installed usbmuxd for the restore procedure. Please make sure that it is either running or configured to... -
15
Adventure Definition Langage (ADL) - a language used to create text adventures similar to Zork and other Infocom games.
-
16
Unified Sessions Manager
Pioneering Private and Public Cloud Management since 2008
The UnifiedSessionsManager supports the integrated management of user sessions within Private-Clouds, comprising heterogeneous IT landscapes of various physical and virtual machines, hypervisor management, and virtual user sessions with remote desktops. Extracted documents see https://sourceforge.net/projects/ctys-doc. -
17
SquirrelJME
Java ME Compatible Environment
SquirrelJME is intended to be a Java ME 8 compatible environment for strange and many other devices. The source is written in pure Java and is licensed under the GNU GPLv3+. -
18
Wheefun Emulator Framework
A framework for developing emulators
The Wheefun Emulator Framework (WFEF) aims to provide low-level hardware emulation primitives for writing new emulators, as well as relatively basic implementations for common system architectures (such as the IBM compatible PC). It was originally designed to support the WDMF project, which has need for hardware emulation on modern operating systems. However, it could conceivably be used in other projects. At its core, WFEF provides primitives for emulating a generic system bus and for providing access to virtual screens, sound, and input management. From this, a variety of hardware can be virtualized. We aim to also provide hardware emulation for specific commonly used hardware. ... -
19
openQA
openQA web-frontend, scheduler and tools
openQA is an automated testing framework designed to test the entire operating system, including the installation process and graphical user interfaces. It is particularly useful for testing complex scenarios that require interaction with the system's GUI. -
20
Library for parsing Excel (XLS) files, with a sample program for converting Excel files into CSV. This site is no longer being updated. A new release is available on the new site whose link is shown above.
-
21
TACO is a toolkit for building distributed control systems or any other distributed system. It is based on a C/C++ core. It is based on the client-server model. It supports writing clients and server on Unix+Windows. Clients and servers can be written in
-
22
Fish Redux
An assembled flutter application framework
Fish Redux is a high-level, componentized application framework for Flutter based on the Redux paradigm. It emphasizes modular “assembly” of application features — you build small “components” with state, actions, views, and connectors, and then assemble them into larger screens or flows. It supports functional programming style, predictable state containers, pluggable component systems, and non-destructive performance (i.e. minimizing unnecessary rebuilds). Fish Redux was developed within... -
23
The ATS PL System
Unleashing the potentials of types and templates
The programming language ATS unifies implementation with formal specification by accommodating a programmer-centric approach to program verification: How do we know a program being implemented correctly? We ask the programmer to demonstrate it with a proof. -
24
End-To-End
End-To-End is a crypto library to encrypt, decrypt, digital sign
...While the project ultimately transitioned into successor efforts, it helped push discussions about practical E2EE in mainstream web apps and the ergonomics of PGP-style workflows. Security researchers and product teams used it as a design reference for client-side cryptography and the trade-offs of operating inside a hostile web page. -
25
WebRTC Android
webrtc VideoCall VideoConference
WebRTC Android is a sample project that showcases how to implement real-time peer-to-peer communication (audio, video, and data) on Android using WebRTC. It demonstrates a complete pipeline—from signaling and connection setup to media capture and transmission—making it an excellent reference for developers looking to integrate WebRTC into their mobile apps. The project includes UI components and handles network state changes, codec configuration, and ICE negotiation to provide a robust base...
