David Wood (davidtwco)

davidtwco

Geek Repo

Company:Huawei R&D, Edinburgh Programming Languages Group

Location:Edinburgh, Scotland

Home Page:https://davidtw.co

Twitter:@davidtwco

Github PK Tool:Github PK Tool


Organizations
NixOS
rust-lang
rust-lang-nursery

David Wood's starred repositories

bevy

A refreshingly simple data-driven game engine built in Rust

Language:RustLicense:Apache-2.0Stargazers:32275Issues:289Issues:4575

typst

A new markup-based typesetting system that is powerful and easy to learn.

Language:RustLicense:Apache-2.0Stargazers:28249Issues:78Issues:2009

monkeytype

The most customizable typing website with a minimalistic design and a ton of features. Test yourself in various modes, track your progress and improve your speed.

Language:TypeScriptLicense:GPL-3.0Stargazers:13861Issues:53Issues:1714

bloop

bloop is a fast code search engine written in Rust.

Language:RustLicense:Apache-2.0Stargazers:8563Issues:62Issues:122

bytehound

A memory profiler for Linux.

Language:CLicense:NOASSERTIONStargazers:3855Issues:56Issues:81

Ambient

The multiplayer game engine

Language:RustLicense:Apache-2.0Stargazers:3725Issues:31Issues:642

cozo

A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!

Language:RustLicense:MPL-2.0Stargazers:3099Issues:39Issues:134

catala

Programming language for literate programming law specification

Language:OCamlLicense:Apache-2.0Stargazers:1912Issues:21Issues:221

may

rust stackful coroutine library

Language:RustLicense:Apache-2.0Stargazers:1717Issues:40Issues:90

crux

Cross-platform app development in Rust

Language:RustLicense:Apache-2.0Stargazers:1444Issues:41Issues:43

bacon

background rust code check

Language:RustLicense:AGPL-3.0Stargazers:1438Issues:9Issues:126

frawk

an efficient awk-like language

Language:RustLicense:Apache-2.0Stargazers:1211Issues:14Issues:64

nutype

Rust newtype with guarantees 🇺🇦 🦀

Language:RustLicense:MITStargazers:1206Issues:6Issues:56

rustc_codegen_clr

This rust compiler backend(module) emmits valid CIL (.NET IR), enabling you to use Rust in .NET projects.

Language:RustLicense:MITStargazers:975Issues:22Issues:14

inlyne

Introducing Inlyne, a GPU powered yet browserless tool to help you quickly view markdown files in the blink of an eye.

Language:RustLicense:MITStargazers:974Issues:4Issues:95

oak

Meaningful control of data in distributed systems.

Language:RustLicense:Apache-2.0Stargazers:971Issues:34Issues:1239

nucleo

A fast and convenient fuzzy matcher library for rust

Language:RustLicense:MPL-2.0Stargazers:705Issues:18Issues:15
Language:C++License:NOASSERTIONStargazers:554Issues:35Issues:5

allocscope

allocscope - a memory tracking tool

Language:RustLicense:GPL-3.0Stargazers:547Issues:3Issues:2

soa-derive

Array of Struct to Struct of Array helpers in Rust

Language:RustLicense:Apache-2.0Stargazers:386Issues:11Issues:26

TypeFunc

Resources for type theory, functional programming, etc.

stackfuture

A wrapper around Rust futures that stores the future in space provided by the caller.

Language:RustLicense:NOASSERTIONStargazers:295Issues:9Issues:5

oxide-and-friends

Show notes from Oxide and Friends recordings

Language:RustLicense:CC-BY-4.0Stargazers:295Issues:57Issues:8

deflect

Reflection via DWARF.

Language:RustLicense:Apache-2.0Stargazers:291Issues:12Issues:4

cargo-limit

Productivity improvements for Rust ecosystem: warnings are skipped until errors are fixed, LSP-independent Neovim integration, etc.

Language:RustLicense:Apache-2.0Stargazers:240Issues:3Issues:35

little-loadshedder

A Rust hyper/tower service that implements load shedding with queuing & concurrency limiting based on latency.

Language:RustLicense:Apache-2.0Stargazers:138Issues:3Issues:1

zi

An incremental, declarative library for building terminal user interfaces in Rust.

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

buildomat

a software build labour-saving device

Language:RustLicense:MPL-2.0Stargazers:50Issues:23Issues:34

cargo-minimize

A tool to help with minimization of Rust code

Language:RustLicense:Apache-2.0Stargazers:42Issues:3Issues:26

calendar

Calendars for Rust project teams