Giters
Chris Douglas (cdouglas)

cdouglas

Geek Repo

23

followers

6

following

222

stars

Company:UC Berkeley

Github PK Tool:Github PK Tool

Chris Douglas's starred repositories

Bear

Bear is a tool that generates a compilation database for clang tooling.

Language:C++License:GPL-3.0Stargazers:4824Issues:0Issues:0

cppcoro

A library of C++ coroutine abstractions for the coroutines TS

Language:C++License:MITStargazers:3385Issues:0Issues:0

s2n-tls

An implementation of the TLS/SSL protocols

Language:CLicense:Apache-2.0Stargazers:4516Issues:0Issues:0

vscode-tlaplus

TLA+ language support for Visual Studio Code

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

distributed-consensus-reading-list

A list of papers about distributed consensus.

Stargazers:2351Issues:0Issues:0

build-your-own-x

Master programming by recreating your favorite technologies from scratch.

Language:MarkdownStargazers:302661Issues:0Issues:0

mimalloc

mimalloc is a compact general purpose allocator with excellent performance.

Language:CLicense:MITStargazers:10438Issues:0Issues:0

HoTT-Intro

An introductory course to Homotopy Type Theory

Language:AgdaLicense:CC-BY-4.0Stargazers:357Issues:0Issues:0

semantic

Parsing, analyzing, and comparing source code across many languages

Language:HaskellStargazers:8951Issues:0Issues:0

swisstable

Access Abseil Swiss Tables from C

Language:CLicense:Apache-2.0Stargazers:105Issues:0Issues:0

zxcvbn

Low-Budget Password Strength Estimation

Language:CoffeeScriptLicense:MITStargazers:15023Issues:0Issues:0

distsys-class

Class materials for a distributed systems lecture series

Stargazers:8994Issues:0Issues:0

pond

Pond

Language:GoLicense:BSD-3-ClauseStargazers:911Issues:0Issues:0

YouCompleteMe

A code-completion engine for Vim

Language:PythonLicense:GPL-3.0Stargazers:25429Issues:0Issues:0

nerdtree

A tree explorer plugin for vim.

Language:Vim ScriptLicense:WTFPLStargazers:19553Issues:0Issues:0

models

A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs.

Language:AlloyLicense:Apache-2.0Stargazers:124Issues:0Issues:0

org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

Language:JavaLicense:NOASSERTIONStargazers:711Issues:0Issues:0

library

A collection of the papers, conference talks, articles, blog posts, interesting Twitter threads, HN/reddit comments on systems engineering

Language:ShellStargazers:566Issues:0Issues:0

simdjson

Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, StarRocks

Language:C++License:Apache-2.0Stargazers:19186Issues:0Issues:0

powerlevel9k

Powerlevel9k was a tool for building a beautiful and highly functional CLI, customized for you. P9k had a substantial impact on CLI UX, and its legacy is now continued by P10k.

Language:ShellLicense:MITStargazers:13464Issues:0Issues:0

zuul

Zuul is a gateway service that provides dynamic routing, monitoring, resiliency, security, and more.

Language:JavaLicense:Apache-2.0Stargazers:13455Issues:0Issues:0

automerge-classic

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

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

marlin

A Rust library for the Marlin preprocessing zkSNARK

Language:RustLicense:Apache-2.0Stargazers:310Issues:0Issues:0

coc-java

Java extension for coc.nvim

Language:TypeScriptLicense:EPL-1.0Stargazers:449Issues:0Issues:0

coc.nvim

Nodejs extension host for vim & neovim, load extensions like VSCode and host language servers.

Language:TypeScriptLicense:NOASSERTIONStargazers:24351Issues:0Issues:0

mongo-repl-tla-models

TLC models for the MongoDB Replication TLA+ specification.

Language:TLAStargazers:20Issues:0Issues:0

molly

An implementation of LDFI

Language:ScalaStargazers:126Issues:0Issues:0

testing-distributed-systems

Curated list of resources on testing distributed systems

Language:HTMLLicense:CC-BY-4.0Stargazers:2480Issues:0Issues:0

azure-cosmos-tla

Azure Cosmos TLA+ specifications

Language:TLALicense:MITStargazers:268Issues:0Issues:0

crdt-isabelle

Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distributed Systems. In OOPSLA and Proceedings of the ACM on Programming Languages (PACMPL), 2017.

Language:TeXLicense:Apache-2.0Stargazers:71Issues:0Issues:0