Dave (solipsis)

solipsis

Geek Repo

Location:Denver

Github PK Tool:Github PK Tool

Dave's starred repositories

stablediffusion

High-Resolution Image Synthesis with Latent Diffusion Models

Language:PythonLicense:MITStargazers:36998Issues:437Issues:289

system-design

Learn how to design systems at scale and prepare for system design interviews

copilot.vim

Neovim plugin for GitHub Copilot

Language:Vim ScriptLicense:NOASSERTIONStargazers:7871Issues:124Issues:0

dream-textures

Stable Diffusion built-in to Blender

Language:PythonLicense:GPL-3.0Stargazers:7663Issues:110Issues:531

meshoptimizer

Mesh optimization library that makes meshes smaller and faster to render

glslViewer

Console-based GLSL Sandbox for 2D/3D shaders

Language:C++License:BSD-3-ClauseStargazers:4517Issues:98Issues:221

msquic

Cross-platform, C implementation of the IETF QUIC protocol, exposed to C, C++, C# and Rust.

loro

Reimagine state management with CRDTs. Make your app collaborative effortlessly.

Language:RustLicense:MITStargazers:3197Issues:26Issues:90

raddebugger

A native, user-mode, multi-process, graphical debugger.

termdash

Terminal based dashboard.

Language:GoLicense:Apache-2.0Stargazers:2626Issues:29Issues:162

netcode

A protocol for secure client/server connections over UDP

Language:CLicense:BSD-3-ClauseStargazers:2390Issues:103Issues:56

sqlsync

SQLSync is a collaborative offline-first wrapper around SQLite. It is designed to synchronize web application state between users, devices, and the edge.

Language:RustLicense:Apache-2.0Stargazers:1915Issues:23Issues:41

watlings

Learn WebAssembly by writing small programs!

Language:JavaScriptLicense:UnlicenseStargazers:1617Issues:8Issues:6

oyente

An Analysis Tool for Smart Contracts

Language:JavaScriptLicense:GPL-3.0Stargazers:1310Issues:57Issues:192

librg

🚀 Making multi-player gamedev simpler since 2017

Language:CLicense:BSD-3-ClauseStargazers:1231Issues:41Issues:38

multicall

Multicall: Aggregate multiple constant function call results into one

Language:SolidityLicense:MITStargazers:883Issues:6Issues:207

huff-rs

A low-level assembly language for the Ethereum Virtual Machine built in blazing-fast pure rust.

Language:RustLicense:Apache-2.0Stargazers:569Issues:12Issues:106

EAStdC

EAStdC is a package which implements basic library facilities that are similar to those in the standard C library.

Language:C++License:NOASSERTIONStargazers:482Issues:21Issues:7

box2c

Library for 2D Game Physics

InternetOverSpaghetti

Transmitting IP packages over a pair of spaghetti thus demonstrating how media independent IP really is.

Language:C++License:NOASSERTIONStargazers:333Issues:6Issues:1

easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

Language:OCamlLicense:MITStargazers:288Issues:22Issues:223

go-sqlite-bench

Benchmarks for Golang SQLite Drivers

Language:GoLicense:UnlicenseStargazers:242Issues:3Issues:4

ERC1155D

An implementation of ERC1155D, a record setter for minting and transfer gas efficiency.

Language:JavaScriptLicense:MITStargazers:82Issues:3Issues:4

Zig-Playdate-Template

Starter code for a Playdate program written in Zig

Language:ZigLicense:NOASSERTIONStargazers:70Issues:5Issues:2

web3-multicall-go

Go interface for a Multicall contract to batch EVM state reads in a single ethcall

Language:GoLicense:MITStargazers:34Issues:9Issues:7

raylib-instancing

Instanced rendering examples for raylib

Language:CLicense:ZlibStargazers:17Issues:1Issues:0

UPWARD-for-Playdate

Port of Matthias Falk's Upward to Playdate

Language:ZigLicense:GPL-3.0Stargazers:15Issues:2Issues:0

zentig_ecs

Zig ECS library

Language:ZigLicense:MITStargazers:11Issues:1Issues:0
Language:ZigLicense:MITStargazers:2Issues:1Issues:0

vim-setup

Vim setup for using Certora Verification Language

Language:Vim ScriptStargazers:2Issues:2Issues:0