davidbarsky Goto Github PK

always-assert

askalono

A tool & library to detect open source licenses from texts

async-trait

Type erasure for async trait methods

async.rs

Website for async-std

aws-sdk-rust-codegen

basicaf

A BASIC to Brainf**k compiler written in Rust

cargo-safety

cargo-safety provides safety checks for Rust projects by finding all uses of unsafe code in dependencies.

cats

Lightweight, modular, and extensible library for functional programming.

chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

compound-failure-draft

conceptual

finds a schedule for directed graphs, probabilistically

crra

Create Reason React App

d2_calculation_api

davidbarsky.com

davidbarsky.github.io

:house_with_garden: Personal Home Page

ded

killing sed

dgen

Random directed acyclic graph generator.

diem

Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.

dotfiles

dynamic-critical-path

edgarallanpoetry

Your personal poetry assistant

faq

FAQ

firecracker

Secure and fast microVMs for serverless computing.

fish-shell-config

fs-sync

rsync, but with more colors.

ggen

Random DAG Generation for Scheduling Simulations

ggen4j

A simple Java wrapper around the GGen graph generation tool

hannibal

:cherry_blossom: Swolemates iOS Client.

http

Rust HTTP types

husk

:shell: A command line shell written in Rust