Distributed Ninja
☆23Apr 22, 2015Updated 11 years ago
Alternatives and similar repositories for DN
Users that are interested in DN are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Migrated to Codeberg: https://codeberg.org/oyvindstegard/ox-tagfilter-js☆12Mar 30, 2026Updated 5 months ago
- Faceted execution in Racket☆12Sep 11, 2018Updated 8 years ago
- Coq definitions and lemmas for verification of Casper☆19Aug 15, 2019Updated 7 years ago
- Handbook of eRPC which is an efficient, extensible and easy-to-use RPC framework.☆11Nov 18, 2019Updated 6 years ago
- An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.☆21Nov 8, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Implement a multi-threaded HTTP web server based on boss-worker thread pattern in C, using pthread library.☆12Sep 26, 2012Updated 13 years ago
- Benchmarking tool for compile-time performance of Agda programs☆20Jan 26, 2022Updated 4 years ago
- Concurrency Bug Vulnerability Analysis☆12Sep 4, 2017Updated 9 years ago
- Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq☆20Jun 3, 2026Updated 3 months ago
- C++ network library☆10Apr 14, 2015Updated 11 years ago
- A simple SQL Server...☆15Jan 8, 2015Updated 11 years ago
- leveldbd是一个nosql数据库，底层使用leveldb作为存储引擎，提供REST接口☆14Jun 18, 2015Updated 11 years ago
- https://12k.tech☆12Sep 6, 2020Updated 6 years ago
- Utilities for geek.☆10Mar 20, 2016Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- GoLang version of the rtp_cluster☆13Jan 11, 2025Updated last year
- Open an editor as part of the interface of a command line tool. Think `git rebase -i`☆10Nov 18, 2018Updated 7 years ago
- A lightweight C++ library to diff and patch arbitrary data☆20May 10, 2015Updated 11 years ago
- A lightweight distributed RPC framework powered by pure C language and based on ZeroMQ and pbc.☆10Mar 4, 2014Updated 12 years ago
- 对memecached1.4.15核心源码进行注释☆11Jul 29, 2014Updated 12 years ago
- 哪吒（Nezha）是一个基于Tokyo Cabinet的简单分布式KV存储系统原型。☆10Mar 30, 2013Updated 13 years ago
- Rust bindings to libuv☆12Jun 22, 2017Updated 9 years ago
- Record some of my tools, not limited to language☆12Jan 3, 2016Updated 10 years ago
- A program for backup & restoration of btrfs subvolumes.☆14Aug 28, 2026Updated 3 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- GUI Implementation of Easytier☆15Aug 29, 2024Updated 2 years ago
- An C++ serialization library☆11May 22, 2015Updated 11 years ago
- Header-only C/C++ static keys to avoid the overhead of conditional branches☆14Feb 10, 2024Updated 2 years ago
- [MOVED]Taiji is a pusher consumer for kafka.☆12Mar 11, 2016Updated 10 years ago
- Network Block Device (NBD) server and client written in Rust☆14Dec 4, 2024Updated last year
- A pattern matching extension for C#6☆12May 20, 2016Updated 10 years ago
- CS410 "Advanced Functional Programming"☆34Mar 25, 2026Updated 5 months ago
- C# code generator for reading and writing the protocol buffers format☆15Aug 5, 2026Updated last month
- ☆23Sep 17, 2014Updated 12 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Make Bazel to be a sweeter piece of cake.☆10Apr 12, 2026Updated 5 months ago
- Tutorial series introducing Agda to the people at BCAM☆28Nov 29, 2021Updated 4 years ago
- Android svox-pico tts modified to build on linux☆16Jun 3, 2022Updated 4 years ago
- simple read only ini parser☆16Feb 22, 2026Updated 6 months ago
- A general-purpose serialization/de-serialization library☆16Dec 15, 2025Updated 9 months ago
- A system call tracer☆10Sep 22, 2014Updated 11 years ago
- A tracing tool to analyze the I/O behavior of a program.☆12Sep 25, 2019Updated 6 years ago