Skip to content
View paulyoung's full-sized avatar
💭
Type check and prove things
💭
Type check and prove things
312 followers · 162 following

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: Galaxy BrainAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx3

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: Galaxy BrainAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx3

Organizations

@codebase-labs

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

  • keyed_archive Public

    A Ruby gem for working with files produced by NSKeyedArchiver.

    Ruby 5 2 MIT License Updated Dec 25, 2024

  • sample-hla Public

    Python Updated Oct 7, 2024

  • FunnyOS Public

    Forked from RintaDev5792/FunnyOS

    Grid-based playdate custom launcher based on the 3ds menu (with badges!)

    Lua Updated Aug 21, 2024

  • playdate Public

    Forked from boozook/playdate

    Playdate Build Tools and API

    Rust MIT License Updated Jun 21, 2024

  • crankit-game-loop Public

    Forked from jcornaz/crankit-game-loop

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

    Rust The Unlicense Updated Jun 13, 2024

  • serde-json-core Public

    Forked from rust-embedded-community/serde-json-core

    `serde-json` for `no_std` programs

    Rust Apache License 2.0 Updated May 3, 2024

  • crankstart Public

    Forked from pd-rs/crankstart

    A barely functional, wildly incomplete and basically undocumented Rust crate whose aim is to let you write Games for the Playdate handheld gaming system in Rust.

    Rust MIT License Updated Nov 22, 2023

  • autocxx-bug Public

    Minimal repro of an autocxx bug.

    Nix 1 1 Updated Nov 12, 2023

  • nixpkgs-dfinity-sdk Public

    Nixpkgs overlay for the DFINITY SDK.

    Nix 3 Apache License 2.0 Updated Sep 19, 2023

  • fontello-cli Public

    Command line interface for fontello.

    CoffeeScript 89 30 MIT License Updated Aug 24, 2023

  • docs Public

    Forked from libretro/docs

    This is a repo of the RetroArch official document page.

    TeX MIT License Updated Mar 10, 2023

  • rust-libretro Public

    Forked from max-m/rust-libretro
    C MIT License Updated Feb 26, 2023

  • gitoxide Public

    Forked from GitoxideLabs/gitoxide

    An idiomatic, lean, fast & safe pure Rust implementation of Git

    Rust Apache License 2.0 Updated Jan 10, 2023

  • canistergeek_ic_rust Public

    Forked from usergeek/canistergeek_ic_rust
    Rust Updated Jan 6, 2023

  • crane-nested-issue Public

    Demonstrates the issue described in https://github.com/ipetkov/crane/issues/209#issuecomment-1372960937

    Nix Updated Jan 6, 2023

  • crane Public

    Forked from ipetkov/crane

    A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.

    Nix MIT License Updated Jan 5, 2023

  • crane-wasm-issue Public

    Demonstrates the issue described at https://github.com/ipetkov/crane/issues/207

    Nix Updated Jan 4, 2023

  • droid Public

    Directly Rendered Option Interface for DFX

    Nix 1 GNU Affero General Public License v3.0 Updated Dec 30, 2022

  • motoko-base Public

    Forked from dfinity/motoko-base

    The Motoko base library

    Motoko Apache License 2.0 Updated Dec 29, 2022

  • sdk Public

    Forked from dfinity/sdk

    The DFINITY Canister Software Development Kit (SDK)

    Rust Apache License 2.0 Updated Dec 28, 2022

  • portal Public

    Forked from dfinity/portal

    Internet Computer Developer Portal

    TypeScript Apache License 2.0 Updated Nov 10, 2022

  • motoko-type-classes Public

    A demonstration of how type classes can be approximated in Motoko, via manual "dictionary-passing" style.

    Motoko Apache License 2.0 Updated Oct 24, 2022

  • rusqlite-wasm32-unknown-unknown-nix Public

    A minimal example project for debugging issues encountered with https://github.com/rusqlite/rusqlite/pull/1010

    Nix 2 1 Updated Sep 19, 2022

  • ic Public

    Forked from dfinity/ic

    Internet Computer blockchain source: the client/replica software run by nodes

    Rust Other Updated Sep 6, 2022

  • nix-keysmith Public

    Nix Flake for Keysmith.

    Nix Apache License 2.0 Updated Sep 1, 2022

  • nix-quill Public

    Nix Flake for Quill.

    Nix 1 1 Apache License 2.0 Updated Sep 1, 2022

  • cdk-rs Public

    Forked from dfinity/cdk-rs

    Rust canister development kit for the Internet Computer.

    Rust Apache License 2.0 Updated Aug 25, 2022

  • roc Public

    Forked from roc-lang/roc

    Roc is a language for making delightful software.

    Rust Universal Permissive License v1.0 Updated Aug 14, 2022

  • purescript-untagged-union Public

    Forked from rowtype-yoga/purescript-untagged-union

    A Purescript data type for untagged unions

    PureScript MIT License Updated Jun 3, 2022

  • purescript-style Public

    PureScript 20 1 Apache License 2.0 Updated Apr 23, 2022