Renoir Fortytwo's repositories
client-contract
Solidity contract for making deals with the builtin market
dpm-solver
Official code for "DPM-Solver: A Fast ODE Solver for Diffusion Probabilistic Model Sampling in Around 10 Steps" (Neurips 2022 Oral)
jito-solana
Jito Foundation MEV Solana Client
linear_operator
A LinearOperator implementation to wrap the numerical nuts and bolts of GPyTorch
liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
pytorch-accelerated
A lightweight library designed to accelerate the process of training PyTorch models by providing a minimal, but extensible training loop which is flexible enough to handle the majority of use cases, and capable of utilizing different hardware options with no code changes required. Docs: https://pytorch-accelerated.readthedocs.io/en/latest/
arnis
Arnis - Generate cities from real life in Minecraft using Python
caddy
Fast and extensible multi-platform HTTP/3 web server with automatic HTTPS
duckdb-wasm
WebAssembly version of DuckDB
firecracker-containerd
firecracker-containerd enables containerd to manage containers as Firecracker microVMs
gradient-descent-the-ultimate-optimizer
Code for our NeurIPS 2022 paper
halfix
x86 PC emulator that runs both natively and in the browser, via WebAssembly
javascript-algorithms
📝 Algorithms and data structures implemented in JavaScript with explanations and links to further readings
logto
🧑🚀 Logto helps you build the sign-in, auth, and user identity within minutes. We provide an OIDC-based identity service and the end-user experience with username, phone number, email, and social sign-in, for web and native apps.
mnist-diffusion-jax
(WIP) Barebones reimplementations of some diffusion papers
online_place_recognition
Graph-based image sequences matching for the visual place recognition in changing environments.
osm-finder
A "line-network" geolocation tool created for Bellingcat's September 2022 Hackathon: https://www.bellingcat.com/resources/2022/10/06/automated-map-searches-scam-busting-tools-and-twitter-search-translations-here-are-the-results-of-bellingcats-second-hackathon/
QuickChick
Randomized Property-Based Testing Plugin for Coq
stable-dreamfusion
A pytorch implementation of text-to-3D dreamfusion, powered by stable diffusion.
TRAVEL-1
Traversable ground and above-ground object segmentation using graph representation of 3D LiDAR scans
virtual-kubelet
Virtual Kubelet is an open source Kubernetes kubelet implementation.
xdg-credentials-portal
FIDO2 (WebAuthn) and FIDO U2F platform library for Linux written in Rust; includes a proposal for a new D-Bus Portal interface for FIDO2, accessible from Flatpak apps and Snaps 🔑
zcash
Zcash - Internet Money
zero-to-production
Code for "Zero To Production In Rust", a book on API development using Rust.