Skip to content
View goffrie's full-sized avatar
🌠
🌠
  • Convex, formerly Dropbox
  • San Francisco

Block or report goffrie

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Minimal NixOS running on RK3588/RK3588s based SBC(Orange Pi 5 Plus, Orange Pi 5, Rock 5A, etc)

Nix 25 2 Updated Jun 25, 2025

A verification toolchain for Rust programs

OCaml 340 31 Updated Jul 29, 2025

Interface with the rustc compiler for the purpose of program verification

Rust 180 22 Updated Jul 30, 2025

Refinement Types for Rust

Rust 754 24 Updated Jul 30, 2025

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

Rust 29,186 2,705 Updated Jul 29, 2025

A modern TLS library in Rust

Rust 6,843 736 Updated Jul 30, 2025

Async TLS for the Tokio runtime

Rust 163 84 Updated Jul 3, 2025

Truck is a Rust CAD Kernel.

Rust 1,212 67 Updated Jul 30, 2025

Pure Rust implementation of JPEG XL decoder

Rust 377 16 Updated Jul 6, 2025

Rust implementation of NearbyShare/QuickShare from Android for Linux and macOS.

Rust 2,606 53 Updated Jul 1, 2025

Sampling profiler for Python programs

Rust 14,015 469 Updated Jul 28, 2025

Visual Studio Code Server support in NixOS

Nix 495 87 Updated Jul 26, 2025

Build fast web applications with Rust.

Rust 18,829 777 Updated Jul 27, 2025

Develop using VSCode Remote-WSL environment with NixOS

81 5 Updated Feb 23, 2025

A Bazel BEP visualizer written in Rust using Leptos

Rust 11 1 Updated Jul 30, 2025

Minimal NixOS running on RK3588/RK3588s based SBC(Orange Pi 5 Plus, Orange Pi 5, Rock 5A, etc)

Nix 164 33 Updated Jun 2, 2025

Api for SmartRent locks πŸ”, thermostats 🌑, moisture sensors πŸ’§ and switchesπŸ’‘

Python 46 4 Updated Jan 8, 2025

Home Assistant Custom Component for SmartRent Locks πŸ”, Thermostats 🌑, Sensors πŸ’§ and SwitchesπŸ’‘

Python 110 9 Updated Jan 12, 2025

An experimental Rust native UI framework

Rust 4,442 145 Updated Jul 30, 2025

Bindings to Apple frameworks in Rust

Rust 653 61 Updated Jun 18, 2025

Rust / Wasm framework for creating reliable and efficient web applications

Rust 31,799 1,446 Updated Jul 25, 2025

mold: A Modern Linker 🦠

C++ 15,487 508 Updated Jul 30, 2025

Debug and visualize computational geometry problems

HTML 114 9 Updated May 31, 2022

The mouse and trackpad utility for Mac.

Swift 4,744 88 Updated Jul 23, 2025

Pure and reproducible nix overlay of binary distributed rust toolchains

Nix 1,207 75 Updated Jul 30, 2025

libgccjit AOT codegen for rustc

Rust 1,014 79 Updated Jul 30, 2025

A set of Rust crates for interacting with the Matrix chat network.

Rust 654 169 Updated Jul 29, 2025

Automatically apply the suggestions made by rustc

Rust 851 62 Updated Nov 22, 2023

A FUSE (Filesystem in Userspace) library for Rust

Rust 110 16 Updated Jul 30, 2025
Next
Showing results