An end-to-end encrypted, synchronized, global file system in Go (unmaintained)
☆20Mar 20, 2019Updated 7 years ago
Alternatives and similar repositories for kura
Users that are interested in kura are comparing it to the libraries listed below
Sorting:
- A Compiler and Runtime System for Deterministic Multithreaded Execution☆11Jun 11, 2015Updated 10 years ago
- Basic Golang implementation of a Triple Store. Built to learn the Golang language before an internship.☆19Mar 13, 2019Updated 7 years ago
- Generic topological sorting for sorting a list of dependencies in C++17☆15Oct 18, 2018Updated 7 years ago
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago
- Examples of using Diderot☆11Sep 16, 2019Updated 6 years ago
- a SDK for creating a large mesh network, App example on☆16Feb 26, 2019Updated 7 years ago
- A port of microKanren to Ruby☆29Jan 23, 2015Updated 11 years ago
- ☆11May 4, 2015Updated 10 years ago
- MiCA gossip framework research project☆15Jun 14, 2023Updated 2 years ago
- Security-Oriented Analysis of Application Programs☆13Dec 14, 2018Updated 7 years ago
- ☆16Nov 17, 2017Updated 8 years ago
- An arbitrary precision library written in C which supports fractional datum. Arbitraire is fully portable to all linux, mac and netbsd/fr…☆17Jul 14, 2023Updated 2 years ago
- Research papers on: Consensus, CRDTs, Failure detectors, Distributed Scheduling and Network Topology.☆20Aug 10, 2018Updated 7 years ago
- Simulated playground for distributed algorithms☆14Aug 10, 2020Updated 5 years ago
- ☆27Jan 3, 2017Updated 9 years ago
- the Meta-II VM in C☆21Aug 16, 2015Updated 10 years ago
- Simple multiplicative hash like Murmur3 but a bit safer☆21Dec 18, 2017Updated 8 years ago
- A support library for building hierarchies of composable 2nd-level schedulers. It uses parlib as its backend.☆15Jun 12, 2017Updated 8 years ago
- Virtual laboratory☆10Mar 19, 2024Updated 2 years ago
- This is a portable, open source emulator of the 32-bit Inmos T414/T800/T801/T805 Transputer family, and a host/file I/O Server that inter…☆21Updated this week
- In-memory message broker in Go over an HTTP API☆20Mar 5, 2017Updated 9 years ago
- The Waterloo Consistency Analyzer☆15Oct 19, 2020Updated 5 years ago
- ☆24Oct 11, 2014Updated 11 years ago
- A Rust implementation of strace.☆37Jan 10, 2026Updated 2 months ago
- GNAT-AUX / GCC-AUX / Draco Ada compiler development☆18Feb 24, 2026Updated 3 weeks ago
- A vertex-centric CUDA/C++ API for large graph analytics on GPUs using the Gather-Apply-Scatter abstraction☆24May 4, 2014Updated 11 years ago
- the popular color theme from VIM to VsCode☆21Jul 13, 2021Updated 4 years ago
- A lightweight, Continuous Integration tool written in Ruby☆82Jan 28, 2018Updated 8 years ago
- Lightweight Signals & Slots Library -- C++17 -- Single Header☆23Feb 17, 2026Updated last month
- Paxos protocol variants framework☆26Mar 12, 2018Updated 8 years ago
- Pads format description language☆22Nov 19, 2015Updated 10 years ago
- This is the old boxmaker code. Use the new python code (https://github.com/rahulbot/boxmaker-website).☆69Nov 26, 2014Updated 11 years ago
- Search engine written in Rust☆27Aug 11, 2024Updated last year
- Nikolay Nikolov's tiny bootable x86 OS written in pascal.☆22Dec 1, 2012Updated 13 years ago
- A static analysis tool for C.☆29Oct 29, 2019Updated 6 years ago
- Eesti keele HTS-kõnesüntesaator. Uuuem versioon https://github.com/ikiissel/synthts_etV03☆20Feb 25, 2021Updated 5 years ago
- Replicated key-value store driven by the raft consensus protocol☆30May 23, 2018Updated 7 years ago
- An init system for simplifying the process of running docker containers as firecracker microvms☆16Nov 6, 2023Updated 2 years ago
- redupe implements forward error correction☆22Feb 18, 2018Updated 8 years ago