GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → mit-pdos → go-journal

mit-pdos / go-journal

Licence: MIT license
Verified, concurrent, crash-safe transaction system

Programming Languages

go
31211 projects - #10 most used programming language
Makefile
30231 projects

Labels

verification

Projects that are alternatives of or similar to go-journal

docker-mkcert
Docker container for creating valid local ssl certificates
Stars: ✭ 87 (+210.71%)
Mutual labels:  verification
gini
A fast SAT solver
Stars: ✭ 139 (+396.43%)
Mutual labels:  verification
vigor
Main repository of the Vigor NF verification project.
Stars: ✭ 40 (+42.86%)
Mutual labels:  verification
DPOTPView
Customisable OTP view and Passcode view
Stars: ✭ 52 (+85.71%)
Mutual labels:  verification
proofable-image
Build trust into your image by creating a blockchain certificate for it
Stars: ✭ 17 (-39.29%)
Mutual labels:  verification
qcert
Compilation and Verification of Data-Centric Languages
Stars: ✭ 50 (+78.57%)
Mutual labels:  verification
firebase-spring-boot-rest-api-authentication
Firebase Spring Boot Rest API Authentication
Stars: ✭ 172 (+514.29%)
Mutual labels:  verification
vericert
A formally verified high-level synthesis tool based on CompCert and written in Coq.
Stars: ✭ 63 (+125%)
Mutual labels:  verification
node-email-verifier
The best possible way to verify and validate an email address.
Stars: ✭ 38 (+35.71%)
Mutual labels:  verification
libvata
VATA Tree Automata Library
Stars: ✭ 23 (-17.86%)
Mutual labels:  verification
verif
Software for verifying weather forecasts
Stars: ✭ 70 (+150%)
Mutual labels:  verification
async fifo
A dual clock asynchronous FIFO written in verilog, tested with Icarus Verilog
Stars: ✭ 117 (+317.86%)
Mutual labels:  verification
node-identif
🔑 Helper class to verify one's identity via personal channels(SMS, Phone, E-Mail and more!)
Stars: ✭ 27 (-3.57%)
Mutual labels:  verification
lms-verify
generative programming & verification
Stars: ✭ 29 (+3.57%)
Mutual labels:  verification
wal
WAL enables programmable waveform analysis.
Stars: ✭ 36 (+28.57%)
Mutual labels:  verification
naacl2018-fever
Fact Extraction and VERification baseline published in NAACL2018
Stars: ✭ 109 (+289.29%)
Mutual labels:  verification
netdice
A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.
Stars: ✭ 28 (+0%)
Mutual labels:  verification
SyReNN
SyReNN: Symbolic Representations for Neural Networks
Stars: ✭ 35 (+25%)
Mutual labels:  verification
VerificationCodeBox
验证码 && 密码 校验View（类似于支付宝、网商银行等密码校验框）
Stars: ✭ 25 (-10.71%)
Mutual labels:  verification
pact-provider-verifier
Cross-platform, generic language, Pact provider verification tool
Stars: ✭ 27 (-3.57%)
Mutual labels:  verification
View All Similar Projects ➔

GoTxn: a verified, concurrent, crash-safe transaction system

CI

GoTxn is a transaction system that makes it easy to safely access a disk with concurrent transactions that are atomic if the system crashes in the middle. The implementation is verified in Perennial, and the proof can be found alongside the Perennial framework.

The biggest use of GoTxn is GoNFS, a verified implementation of the Network File System (NFS) API that uses GoTxn to simplify implementing and verifying a concurrent file system.

This repository is still called go-journal, as GoTxn evolved from a journaling system to a transaction system. The journaling layer is still available as github.com/mit-pdos/go-journal/jrnl.

Publications

GoJournal: a verified, concurrent, crash-safe journaling system at OSDI 2021

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].