Beast code in Giters

James's starred repositories

Docker-OSX

Run macOS VM in a Docker! Run near native OSX-KVM in Docker! X11 Forwarding! CI/CD for OS X Security Research! Docker mac Containers.

Language:ShellGPL-3.035768 382 594

lapce

Lightning-fast and Powerful Code Editor written in Rust

Language:RustApache-2.033338 186 1838

gum

A tool for glamorous shell scripts 🎀

Language:GoMIT17033 54 309

cosmopolitan

build-once run-anywhere c library

Language:CISC15471 150 516

dream-textures

Stable Diffusion built-in to Blender

Language:PythonGPL-3.07655 110 531

jj

A Git-compatible VCS that is both simple and powerful

Language:RustApache-2.06936 50 638

innernet

A private network system that uses WireGuard under the hood.

Language:RustMIT4868 61 195

lunatic

Lunatic is an Erlang-inspired runtime for WebAssembly

Language:RustApache-2.04548 72 79

riffusion

Stable diffusion for real-time music generation

Language:PythonMIT3240 38 92

CAD_Sketcher

Constraint-based geometry sketcher for blender

Language:PythonGPL-3.02542 51 261

arpchat

Answering the question nobody asked: what if you wanted to text your friends using only ARP?

Language:RustNOASSERTION2444 19 18

dfdx

Deep learning in Rust, with shape checked tensors and neural networks

Language:RustNOASSERTION1650 33 453

egg

egg is a flexible, high-performance e-graph library

Language:RustMIT1261 24 128

Publications

Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

Language:Haskell1217 139 16

dssim

Image similarity comparison simulating human perception (multiscale SSIM in Rust)

Language:RustAGPL-3.01046 22 72

accesskit

UI accessibility infrastructure across platforms and programming languages

Language:RustBSD-3-Clause956 15 72

naia

a cross-platform (including Wasm!) networking library built in Rust. Intended to make multiplayer game development dead-simple & lightning-fast

Language:RustApache-2.0852 9 89

creusot

deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

Language:RustLGPL-2.1844 17 309

incremental

A library for incremental computations

Language:OCamlMIT840 33 6

eRPC

Efficient RPCs for datacenter networks

Language:C++NOASSERTION832 34 100

SystemExplorer

Windows System Explorer

Language:CMIT812 31 8

gpuvis

GPU Trace Visualizer

Language:C++MIT799 35 30

optimization-manual

Contains the source code examples described in the "Intel® 64 and IA-32 Architectures Optimization Reference Manual"

Language:Assembly0BSD747 41 1

savage

A primitive computer algebra system

Language:RustAGPL-3.0568 6 14

async_ui

Lifetime-Friendly, Component-Based, Retained-Mode UI Powered by Async Rust

Language:RustMPL-2.0549 16 8

valuable

Language:RustMIT182 15 33

anchors

self adjusting computations in rust

Language:Rust131 11 28

lasso

A fast, concurrent string interner

Language:RustApache-2.0119 4 20

TLS-Anvil

TLS-Anvil, a fully automated TLS testsuite for client and servers.

Language:Java89 10 3

nix-mirror

A simple tool for mirroring nix binary caches

Language:RustApache-2.018 30