ddunbar

Daniel Dunbar's starred repositories

imgui

Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

aria2

aria2 is a lightweight multi-protocol & multi-source, cross platform download utility operated in command-line. It supports HTTP/HTTPS, FTP, SFTP, BitTorrent and Metalink.

Language:C++GPL-2.034272 734 1832

capnproto

Cap'n Proto serialization/RPC system - core tools and C++ library

Language:C++NOASSERTION11422 315 692

earthly

Super simple build framework with fast, repeatable builds and an instantly familiar syntax – like Dockerfile and Makefile had a baby.

Language:GoMPL-2.011109 63 1367

swift-algorithms

Commonly used sequence and collection algorithms for Swift

Language:SwiftApache-2.05826 240 66

trillian

A transparent, highly scalable and cryptographically verifiable data store.

Language:GoApache-2.03513 80 336

resilience-engineering

Resilience engineering papers

NOASSERTION2914 142 4

crun

A fast and lightweight fully featured OCI runtime and C library for running containers

Language:CGPL-2.02898 54 470

SwiftTerm

Xterm/VT100 Terminal emulator in Swift

Language:SwiftMIT932 27 230

swift-benchmark

A swift library to benchmark code snippets.

Language:SwiftApache-2.0919 22 29

awesome-hdl

Hardware Description Languages

915 61 20

swift-driver

Swift compiler driver reimplementation in Swift

Language:SwiftApache-2.0794 157 33

sprotty

A diagramming framework for the web

Language:TypeScriptEPL-2.0686 24 190

FlatBuffersSwift

This project brings FlatBuffers (an efficient cross platform serialization library) to Swift.

Language:SwiftMIT570 19 69

SwiftPackageIndex-Server

The Swift Package Index is the place to find Swift packages!

Language:SwiftApache-2.0522 18 1131

scoot

Scoot is a distributed task runner, supporting both a proprietary API and Bazel's Remote Execution.

Language:GoApache-2.0349 14 13

swift-llbuild2

A fresh take on a low-level build system API.

Language:SwiftApache-2.0280 1170

guff

a plot device

Language:CISC275 13 2

KVell

KVell: the Design and Implementation of a Fast Persistent Key-Value Store

Language:CMIT267 7 11

xcbuildkit

xcbuildkit is a framework to extend or replace Xcode's build system

Language:SwiftNOASSERTION214 10 7

microx

Safely execute an arbitrary x86 instruction

Language:C++Apache-2.0177 30 14

KnightKing

A general-purpose, distributed graph random walk engine.

Language:C++NOASSERTION110 2 8

TextBufferKit

Swift TextBuffer

Language:SwiftMIT103 6 1

goose

Goose converts a small subset of Go to Coq

Language:GoMIT9300

gonbdserver

And NBD server written in golang

Language:GoMIT81 7 8

cstor

CAS Data Engine - User Space implementation of a popular COW Data Engine - ZFS

Language:CNOASSERTION53 210

vigor

Main repository of the Vigor NF verification project.

Language:CMIT45 4 3

swift-tools-support-async

Common infrastructural helpers on top of NIO for llbuild2 and swiftpm-on-llbuild2 projects. This is NOT a general purpose package and is unlikely to ever become stable.

Language:SwiftApache-2.028 1180

wit

Workspace Integration Tool

Language:PythonApache-2.022 30 90

Aegean

The source code for the implementation and evaluation of the Aegean replication framework

Language:Java8 20