Giters
David Justo (davidmrdavid)

davidmrdavid

Geek Repo

84

followers

194

following

315

stars

Company:Microsoft

Home Page:http://acsweb.ucsd.edu/~djusto/

Github PK Tool:Github PK Tool

David Justo's starred repositories

cpython

The Python programming language

Language:PythonLicense:NOASSERTIONStargazers:61398Issues:1512Issues:68585

servo

Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine

Language:RustLicense:MPL-2.0Stargazers:26969Issues:501Issues:12432

mypy

Optional static typing for Python

Language:PythonLicense:NOASSERTIONStargazers:17980Issues:240Issues:10410

spotify-tui

Spotify for the terminal written in Rust 🚀

Language:RustLicense:MITStargazers:17095Issues:74Issues:543

pyright

Static Type Checker for Python

Language:PythonLicense:NOASSERTIONStargazers:12777Issues:122Issues:5901

oss-fuzz

OSS-Fuzz - continuous fuzzing for open source software.

Language:ShellLicense:Apache-2.0Stargazers:10200Issues:255Issues:2313

jepsen

A framework for distributed systems verification, with fault injection

Language:ClojureStargazers:6714Issues:194Issues:240

FASTER

Fast persistent recoverable log and key-value store + cache, in C# and C++.

Language:C#License:MITStargazers:6262Issues:184Issues:328

clusterfuzz

Scalable fuzzing infrastructure.

Language:PythonLicense:Apache-2.0Stargazers:5246Issues:124Issues:774

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLicense:LGPL-2.1Stargazers:4738Issues:102Issues:9963

MonkeyType

A Python library that generates static type annotations by collecting runtime types

Language:PythonLicense:NOASSERTIONStargazers:4698Issues:59Issues:185

peps

Python Enhancement Proposals

Language:reStructuredTextStargazers:4269Issues:258Issues:400

manticore

Symbolic execution tool

Language:PythonLicense:AGPL-3.0Stargazers:3660Issues:132Issues:812

coyote

Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.

Language:C#License:NOASSERTIONStargazers:1465Issues:38Issues:95

LyricsGenius

Download song lyrics and metadata from Genius.com 🎶🎤

Language:PythonLicense:MITStargazers:883Issues:21Issues:165

crucible

Crucible is a library for symbolic simulation of imperative programs

Language:RustStargazers:615Issues:34Issues:456

bookstuff

Stargazers:372Issues:21Issues:0

gidgethub

An async GitHub API library for Python

Language:PythonLicense:Apache-2.0Stargazers:365Issues:10Issues:87

infinitic

Infinitic is an open source orchestration framework for application teams to build durable and flexible backend processes.

Language:KotlinLicense:NOASSERTIONStargazers:325Issues:16Issues:73

typedload

Python library to load dynamically typed data into statically typed data structures

Language:PythonLicense:NOASSERTIONStargazers:255Issues:8Issues:79

EVA

Compiler for the SEAL homomorphic encryption library

Language:C++License:MITStargazers:218Issues:9Issues:32

durabletask-netherite

A new engine for Durable Functions. https://microsoft.github.io/durabletask-netherite

Language:C#License:NOASSERTIONStargazers:217Issues:21Issues:135

pltalk

Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur

Stargazers:212Issues:38Issues:1

what4

Symbolic formula representation and solver interaction library

Language:HaskellStargazers:148Issues:24Issues:106

vscode-azure-account

Common Azure Login extension for VS Code

Language:TypeScriptLicense:NOASSERTIONStargazers:138Issues:38Issues:685

cobalt

Infrastructure turn-key solution for app service workloads

Language:HCLLicense:MITStargazers:116Issues:21Issues:252

bedevere

A bot to help identify missing information for CPython pull requests

Language:PythonLicense:Apache-2.0Stargazers:115Issues:51Issues:123

Disposables

IDisposable helper types.

Language:C#License:MITStargazers:114Issues:10Issues:17

LFI-Slack

Documents and resources for the "Learning from Incidents in Software" slack workspace.

Stargazers:40Issues:7Issues:2

AzureStaticWebApps-ComicBook

Stargazers:22Issues:2Issues:0