Liangrun Da (LiangrunDa)

LiangrunDa

Geek Repo

Location:Munich

Home Page:https://liangrunda.com

Github PK Tool:Github PK Tool

Liangrun Da's repositories

Language:IsabelleStargazers:1Issues:0Issues:0

bark-server

Backend of Bark

Language:GoLicense:MITStargazers:0Issues:0Issues:0
Language:IsabelleStargazers:0Issues:0Issues:0

obsidian-typora-html-img

This plugin allows you to use the Typora HTML image syntax in Obsidian. It converts the relative path to the image to the correct path in Obsidian.

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0

obsidian-releases

Community plugins list, theme list, and releases of Obsidian.

Stargazers:0Issues:0Issues:0

ish

Linux shell for iOS

License:NOASSERTIONStargazers:0Issues:0Issues:0

raft.github.io

website at https://raft.github.io

Language:HTMLStargazers:0Issues:0Issues:0

AutomergeWithMove

Implementation for my paper "Extending JSON CRDT with Move Operations"

Language:GoStargazers:6Issues:0Issues:0

stateright

A model checker for implementing distributed systems.

Language:RustLicense:MITStargazers:0Issues:0Issues:0

raft-lite

Raft Lite is a very simple and verified implementation of the Raft consensus algorithm.

Language:RustLicense:MITStargazers:27Issues:0Issues:0

StorgataDB

A distributed key-value database using Raft.

Language:RustLicense:MITStargazers:3Issues:0Issues:0

bitcask-engine-rs

A Rust implementation of BitCask, a log-structured storage engine for key/value data.

Language:RustLicense:MITStargazers:2Issues:0Issues:0

local-first-linguist

Local-first Linguist is a local machine translator that allows you to translate subtitle (.srt), spreadsheet (.csv), and others. It is free and doesn't require any internet connection nor any cloud service. The translator is based on MT5 and Helsinki-NLP.

Language:PythonLicense:MITStargazers:4Issues:0Issues:0

research-work-archive

Finished theses

Language:ShellStargazers:0Issues:0Issues:0
Language:GoStargazers:0Issues:0Issues:0

LLRStore

A dynamo-like distributed database

Language:RustStargazers:1Issues:0Issues:0
Language:TypeScriptStargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0
Language:GoStargazers:0Issues:0Issues:0

automerge

A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

delta-rs

A native Rust library for Delta Lake, with bindings into Python

License:Apache-2.0Stargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0