Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Landslide

stateless model checking for thread libraries, kernels, and transactional memory
Stars
7
License
bsd-3-clause
Open Issues
10
Most Recent Commit
5 years ago
Programming Language
C
Categories
Repo
Suggest An Alternative To landslide
Popular Transactional Projects
Novu ⭐ 31,670
🔥 The open-source notification infrastructure with fully functional embedded notification center 🚀🚀🚀
dependent packages 71total releases 36latest release December 08, 2023most recent commit 3 months agonpm @novu/stateless} Downloads
Foundationdb ⭐ 13,602
FoundationDB - the open source, distributed, transactional key-value store
dependent packages 70total releases 199latest release December 01, 2023most recent commit 3 months ago
Titan ⭐ 5,035
Distributed Graph Database
dependent packages 36total releases 20latest release September 19, 2015most recent commit 7 years ago
Popular Kernel Projects
Linux ⭐ 164,652
Linux kernel source tree
total releases 2latest release December 07, 2022most recent commit 3 months ago
Popular Data Storage Categories
Database
Mysql
Redis
Mongodb
Postgresql
Firebase
Elasticsearch
Backup
Sqlite
Archive

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C
Kernel
Thread
Transactional
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.