Search Results for "linux memory"
Sort By:
Showing 7 open source projects for "linux memory"
View related business solutions-
Our computer monitoring software allows employees, field contractors, and freelancers to manually clock in when they begin working on an assignment. The application will take screenshots randomly or at set intervals, which allows employers to observe the work process. The application only tracks activity when the employee is clocked in. No spying, only transparency.
-
Unlock significant value in your marketing campaigns, lead generation strategies, and identity verification workflows with our leading US consumer and B2B datasets. Our unrivaled consumer datasets provide you with valuable consumer insights including lifestyle attributes, buyer intent, and consumer website visits. Explore our B2B dataset for comprehensive and up-to-date contact data on US companies and professionals to build your sales pipeline. Trust our identity data for accurate identity verification to ensure platform trust and compliance.
-
1
Irmin
Irmin is a distributed database
.... Allows users to define custom merge functions and create event-driven workflows using a notification mechanism. Runs anywhere from Linux to web browsers and Xen unikernels. Allows the users to define custom merge functions, use in-memory transactions (to keep track of reads as well as writes) and to define event-driven workflows using a notification mechanism. You can use Irmin on top of your own storage layer. -
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... -
3
Rescript Compiler
The compiler for ReScript
The compiler for ReScript: a statically typed functional language focused on shipping. ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript. It comes with a lightning-fast compiler toolchain that scales to any codebase size. ReScript cares about a consistent and fast feedback loop for any codebase size. Refactor code, pull complex changes or switch to feature branches as you please. No sluggish CI builds stale caches, wrong type hints, or memory-hungry... -
4
CheckFence is a SAT-based formal verification tool that analyzes C code implementing concurrent data types on multiprocessors (concurrent queues, sets etc.) with respect to a selected memory model.
-
Miro helps cross-functional teams work more efficiently together to build great things. The platform allows teams to ideate, visualize, and share ideas without any boundaries. It comes with over 200 pre-made templates for capturing and visualizing ideas, collaboration tools such as comments, chat, screen sharing, and video chat, and integrations with popular business tools.
-
5
coThreads (formerly known as STMlib), is a concurrent programming library for OCaml. It features both high and low level constructors, for both shared-memory and message-passing style concurrency. The library is equipped with a set of source-level and ob
-
6
OCamlODE is an OCaml interface to the ODE (Open Dynamics Engine) library. It is memory-safe (by extending ODE with finalisation support and reference-aware cleanup) and type-safe (exploring ways to incorporate subtyping).
-
7
GyaanOS is a GNU/Linux desktop distribution specially designed for Technology Students- has everything a student of Computer Science, IT, Electronics or Telecom will ever need. GyaanOS is For The Students and By The Students. By:Laksh & Tanmaya
- Previous
- You're on page 1
- Next