Brendon Daugherty (BKDaugherty)

BKDaugherty

Geek Repo

Company:Span

Location:San Francisco

Home Page:bkdaugherty.github.io

Github PK Tool:Github PK Tool

Brendon Daugherty's starred repositories

deno

A modern runtime for JavaScript and TypeScript.

gpt-engineer

Specify what you want it to build, the AI asks for clarification, and then builds it.

Language:PythonLicense:MITStargazers:51523Issues:504Issues:470

fd

A simple, fast and user-friendly alternative to 'find'

Language:RustLicense:Apache-2.0Stargazers:32843Issues:145Issues:851

wasmer

🚀 The leading Wasm Runtime supporting WASIX, WASI and Emscripten

foundry

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

Language:RustLicense:Apache-2.0Stargazers:7946Issues:76Issues:4006

sea-orm

🐚 An async & dynamic ORM for Rust

Language:RustLicense:Apache-2.0Stargazers:6704Issues:35Issues:776

plt

Programming Language Theory λΠ

embassy

Modern embedded framework, using Rust and async.

Language:RustLicense:Apache-2.0Stargazers:4924Issues:43Issues:745

computerraria

A fully compliant RISC-V computer made inside the game Terraria

Language:RustLicense:MITStargazers:3337Issues:21Issues:4

koka

Koka language compiler and interpreter

Language:HaskellLicense:NOASSERTIONStargazers:3179Issues:61Issues:309

hubris

A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

Language:RustLicense:MPL-2.0Stargazers:2908Issues:49Issues:482

learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

opentelemetry-rust

The Rust OpenTelemetry implementation

Language:RustLicense:Apache-2.0Stargazers:1738Issues:27Issues:700

fe

Emerging smart contract language for the Ethereum blockchain.

Language:RustLicense:NOASSERTIONStargazers:1594Issues:38Issues:408

python-betterproto

Clean, modern, Python 3.6+ code generator & library for Protobuf 3 and async gRPC

Language:PythonLicense:MITStargazers:1454Issues:25Issues:335

grpclib

Pure-Python gRPC implementation for asyncio

Language:PythonLicense:BSD-3-ClauseStargazers:924Issues:29Issues:159

paperclip

WIP OpenAPI tooling for Rust.

Language:RustLicense:Apache-2.0Stargazers:862Issues:11Issues:250

dbt-spark

dbt-spark contains all of the code enabling dbt to work with Apache Spark and Databricks

Language:PythonLicense:Apache-2.0Stargazers:382Issues:21Issues:360

a-mir-formality

a model of MIR and the Rust type/trait system

Language:RustLicense:Apache-2.0Stargazers:279Issues:28Issues:65

aerugo

Safety-critical applications oriented Real-Time Operating System written in Rust

Language:RustLicense:Apache-2.0Stargazers:272Issues:5Issues:0

mosaic

An extension to the Apache Spark framework that allows easy and fast processing of very large geospatial datasets.

Language:Jupyter NotebookLicense:NOASSERTIONStargazers:264Issues:11Issues:172

containers

Sample base images for Databricks Container Services

Language:DockerfileLicense:Apache-2.0Stargazers:162Issues:251Issues:69

arroba

Python implementation of Bluesky PDS and AT Protocol, including repo, MST, and sync XRPC methods

Language:PythonLicense:CC0-1.0Stargazers:41Issues:5Issues:10
Language:RustLicense:Apache-2.0Stargazers:33Issues:4Issues:2

cargo-check-deadlock

Find deadlocks in Rust code with Petri net model checking

Language:RustLicense:Apache-2.0Stargazers:22Issues:4Issues:7

controlpad_test_server

For game developers to test GameNite games with mobile device controls natively

Language:JavaScriptStargazers:4Issues:1Issues:7

impedance

Tools to mix blocking and async code

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

dungeons_and_dragons

A version of dnd where your DM is an AI and everything is randomly generated

Language:RustLicense:GPL-3.0Stargazers:2Issues:1Issues:0
Language:PythonLicense:MITStargazers:1Issues:1Issues:2