kaist-cp/memento

Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)

Language: Rust - Size: 133 MB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 16 - Forks: 1

waldbaer/node-red-persistent-values

Nodes for user-friendly use of the Node-RED context stores.

Language: JavaScript - Size: 541 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 2 - Forks: 1

bricksandbraces/eloguent

Awesome logging package from Bricks & Braces.

Language: TypeScript - Size: 719 KB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

homy-game-studio/hgs-unity-local-storage

Gerencie arquivos e cache de forma segura em sua aplicação.

Language: C# - Size: 237 KB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

kaist-cp/view-hw

Mechanized Proof for Article: "Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8" (PLDI 2021)

Language: Coq - Size: 1.41 MB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 0

WinCCUnifiedbyHecht/TIA_Project_RT_Persistency

TIA Portal Project from the YouTube RT Persistency

Size: 5.24 MB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

lambdamikel/Common-Lisp-Persistency-Manager

A File-Based Fully Automatic Lisp Datastructure Serializer / Persistency Manager, Similar to "Pickle" for Python

Language: Common Lisp - Size: 148 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 16 - Forks: 2

A3Antistasi/antistasi-1.x

Antistasi Unofficial Community old version

Language: SQF - Size: 6.07 MB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 39 - Forks: 45

chaficii/home_mortage_app

Language: C# - Size: 43.5 MB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0