Topic: "atomicity"
nette/caching
⏱ Caching library with easy-to-use API and many cache backends.
Language: PHP - Size: 700 KB - Last synced at: 3 days ago - Pushed at: 8 months ago - Stars: 420 - Forks: 44

koculu/ZoneTree
ZoneTree is a persistent, high-performance, transactional, and ACID-compliant ordered key-value database for .NET. It operates seamlessly both in-memory and on local/cloud storage, making it an ideal choice for a wide range of applications requiring efficient data management.
Language: C# - Size: 1.39 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 349 - Forks: 32

Vanilla-OS/ABRoot
ABRoot is a utility that provides full immutability and atomicity to a Linux system, by transacting between two root filesystems. Updates are performed using OCI images, to ensure that the system is always in a consistent state.
Language: Go - Size: 15.6 MB - Last synced at: 9 days ago - Pushed at: about 1 month ago - Stars: 328 - Forks: 27

arkanelinux/arkdep
Toolkit for building, deploying and maintaining an immutable, atomic, btrfs-based system
Language: Shell - Size: 410 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 130 - Forks: 11

nette/safe-stream
SafeStream: atomic and safe manipulation with files via native PHP functions.
Language: PHP - Size: 84 KB - Last synced at: 1 day ago - Pushed at: 22 days ago - Stars: 115 - Forks: 14

macmade/AtomicKit
Concurrency made simple in Swift.
Language: Swift - Size: 1.64 MB - Last synced at: 2 days ago - Pushed at: about 2 years ago - Stars: 94 - Forks: 14

AtomicReact/AtomicReact
Framework to build web apps with atomicity concept.
Language: JavaScript - Size: 1.49 MB - Last synced at: 1 day ago - Pushed at: over 1 year ago - Stars: 54 - Forks: 2

twtrubiks/django-transactions-tutorial
django-transactions-tutorial 基本教學 - 了解 transactions 概念 📝
Language: Python - Size: 15.6 KB - Last synced at: 6 days ago - Pushed at: over 1 year ago - Stars: 44 - Forks: 11

macmade/CPPAtomic
Replacement of std::atomic supporting non trivially-copyable types
Language: C++ - Size: 250 KB - Last synced at: 2 days ago - Pushed at: 12 months ago - Stars: 16 - Forks: 4

hlovatt/Concurrency-Utilities
NO LONGER MAINTAINED! Atomics, Futures, and Reactive-Streams for Swift
Language: Swift - Size: 139 KB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 0

arturalbov/atomicf
Go package for ensure files with atomic writing
Language: Go - Size: 8.79 KB - Last synced at: 10 months ago - Pushed at: almost 4 years ago - Stars: 4 - Forks: 1

nightlyone/atomic
Atomic operations as methods on types
Language: Go - Size: 7.81 KB - Last synced at: 10 months ago - Pushed at: about 4 years ago - Stars: 4 - Forks: 0

harmim/infer Fork of facebook/infer
A static analyzer for Java, C, C++, and Objective-C.
Language: OCaml - Size: 149 MB - Last synced at: 12 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 1

MASTAR-LAST/Science
An advanced scientific library specialized in thermomechanics and atomic sciences
Language: Python - Size: 344 KB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 1

shilangyu/register-transformations
Showcases the transformations needed to go from one wait-free register to a different one.
Language: TypeScript - Size: 275 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

jenyaalexanov/DistributedLock.MongoDatabase
This library allows you not to worry about multiple instances and easily block sections of code by identifier.
Language: C# - Size: 41 KB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0

harmim/vut-dip
Master's Thesis - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
Language: C - Size: 63 MB - Last synced at: 21 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

harmim/vut-ibt
Bachelor's Thesis - Static Analysis Using Facebook Infer to Find Atomicity Violations
Language: C - Size: 33.8 MB - Last synced at: 21 days ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 1

macmade/objc-semaphore
Semaphores for Objective-C and Swift
Language: Objective-C - Size: 23.4 KB - Last synced at: 22 days ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

brandaof/brcache-server 📦
Servidor BRCache
Language: Java - Size: 402 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

RishiGaneshe/Authorization-Based-Authentication-System
A secure and scalable authentication system implementing role-based authorization, JWT authentication, and Redis-based token blacklisting. Designed for production-grade applications, this system ensures data consistency, security, and atomic operations with database transactions.
Language: JavaScript - Size: 59.6 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

connellr023/transient-os
A robust time-sharing operating system designed for building concurrent systems on the Raspberry Pi 3.
Language: C++ - Size: 258 KB - Last synced at: 2 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

JasmeetSinghBali/Microservices
🎠 Microservices Architecture Boilerplates| POC's
Language: TypeScript - Size: 807 KB - Last synced at: 2 months ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

harmim/vut-pp1
Project Practice 1 - Atomer: Atomicity Violations Analyser
Language: Java - Size: 10.4 MB - Last synced at: 21 days ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 1

PHPComponent/AtomicFile
Language: PHP - Size: 22.5 KB - Last synced at: 19 days ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

SOHAIBALOUSSI/Dining-Philosophers
Dining philosophers problem solution in C
Language: C - Size: 762 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

sravanigodavarthi/OLTP-Banking-Database
An OLTP banking system is implemented, emphasizing data integrity and atomicity, and leveraging constraints, triggers, stored procedures, views, and indexing to enhance query performance.
Language: Python - Size: 469 KB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

ChandanKhamitkar/Software-Engineering-Lab-Tasks
All lab tasks of the | Software Engineering | will be stored here 🏪
Language: Roff - Size: 24.4 KB - Last synced at: 26 days ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

dj1095/two-phase-distributed-commit
An implementation of the Two-Phase Commit protocol for distributed systems, ensuring atomicity in transactions. Robust, fault-tolerant, and scalable.
Language: Java - Size: 22.5 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

kpapadatos/locki
A redis-backed lock broker that manages groups of S/X locks with atomic lua scripts.
Language: TypeScript - Size: 245 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

bhuvansingla/aerodrome-roadrunner
Implementation of AeroDrome tool in the RoadRunner Dynamic Analysis Framework
Language: Java - Size: 101 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

harmim/vut-excel-at-fit-2021
Excel@FIT 2021 - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
Language: TeX - Size: 8.2 MB - Last synced at: 21 days ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

harmim/vut-excel-at-fit-2019
Excel@FIT 2019
Language: TeX - Size: 4.32 MB - Last synced at: 21 days ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

kysely/atomicloop
Create atomic loop iterations (let the current iteration finish even when interrupted)
Language: Python - Size: 3.91 KB - Last synced at: 7 months ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 1

laurentL/covfefe
Set of base & helpers python api forked from [email protected]:LoloCH/pythonsol.git
Language: Python - Size: 18.6 KB - Last synced at: almost 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
