Skip to content
View paulyoung's full-sized avatar
💭
Type check and prove things
💭
Type check and prove things

Organizations

@codebase-labs
Block or Report

Block or report paulyoung

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
Beta Lists are currently in beta. Share feedback and report bugs.

Starred repositories

Showing results

Automatic testing of Haskell programs.

Haskell 12 1 Updated Jun 11, 2024

🎶 Choreographic programming in Rust 🎶

Rust 26 1 Updated Mar 22, 2024

A smart USB drive for Tesla Dashcam - extended storage, auto archive, web viewer

Shell 1,819 335 Updated Jun 25, 2024

Dead easy game sound effects generator. A port of sfxr to HTML5.

JavaScript 245 47 Updated May 4, 2023

Software that allows Figma to talk to hardware, enabling the creation of rapid prototypes of physical devices.

Swift 95 5 Updated May 29, 2024

Commands - a React Hooks library for writing async code

TypeScript 20 Updated Jun 20, 2024

The UI framework for teams that move fast — without breaking things.

Rust 202 9 Updated Jun 24, 2024

derive(Error) for struct and enum error types

Rust 4,167 140 Updated Jun 14, 2024

C port of some Playdate CoreLibs APIs.

C 4 Updated Jun 11, 2024

A safe and ergonomic entry-point for playdate games using `playdate-sys`

Rust 3 1 Updated Jun 13, 2024

ldd as a tree

C 2,529 57 Updated Jun 21, 2024

High level bindings to the quickjs javascript engine

Rust 421 59 Updated Jun 28, 2024

Securely embed JavaScript code into a Rust application

Rust 265 17 Updated Jun 14, 2024

Powerful menu bar manager for macOS

Swift 9,871 192 Updated Jun 29, 2024

Cue system for simple two-way communication and visual signaling using a PeerJS peer-to-peer connection.

HTML 292 129 Updated Dec 17, 2023

The GitButler version control client, backed by Git, powered by Tauri/Rust/Svelte

TypeScript 11,459 467 Updated Jun 29, 2024

A code ACL checker for Rust

Rust 182 4 Updated May 11, 2024

🎁 generate beautiful landing pages for your developer tools

Rust 443 29 Updated Jun 12, 2024

📦 shippable application packaging

Rust 1,312 55 Updated Jun 27, 2024

A serde serializer that serializes a subset of types into plain strings

Rust 49 8 Updated Oct 31, 2023

Two macros for taking array references in rust.

Rust 76 15 Updated Mar 20, 2023

The Haskell’s do notation brought to Rust

Rust 54 2 Updated Jan 3, 2022

A high-performance, secure, extensible, and OCI-complaint JavaScript runtime for WasmEdge.

JavaScript 466 57 Updated Jun 22, 2024

A Hardware Abstraction Layer (HAL) for embedded systems

Rust 1,856 185 Updated Jun 27, 2024

A Hardware Description Language based on the Rust Programming Language

Rust 82 6 Updated Jun 27, 2024

Generate TypeScript bindings from Rust types

Rust 980 99 Updated Jun 28, 2024

A library for generating TypeScript definitions from rust code.

Rust 293 39 Updated Feb 2, 2024

Expose a Dioxus component as a Web Component

Rust 15 1 Updated Jun 3, 2024

A safe, extensible ORM and Query Builder for Rust

Rust 12,213 1,012 Updated Jun 28, 2024
Next