Pinned Repositories
git-remote-icp
A Git remote helper for the Internet Computer Protocol.
icfs
Internet Computer File System
fontello-cli
Command line interface for fontello.
jade-inheritance
Reduce compilation time for Jade files by understanding inheritance.
nixpkgs-dfinity-sdk
Nixpkgs overlay for the DFINITY SDK.
purescript-invertible-syntax
A PureScript implementation of invertible syntax descriptions, from the paper "Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing" (Rendel and Ostermann 2010)
purescript-partial-isomorphisms
A PureScript implementation of partial isomorphisms, from the paper Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing (Rendel and Ostermann 2010)
purescript-prettier-printer
An implementation of "A prettier printer" (Wadler 2003) in PureScript.
pureswift
Swift backend for PureScript.
Statusfy
Spotify in your status bar.
paulyoung's Repositories
paulyoung/fontello-cli
Command line interface for fontello.
paulyoung/purescript-style
paulyoung/rusqlite-wasm32-unknown-unknown-nix
A minimal example project for debugging issues encountered with https://github.com/rusqlite/rusqlite/pull/1010
paulyoung/autocxx-bug
Minimal repro of an autocxx bug.
paulyoung/droid
Directly Rendered Option Interface for DFX
paulyoung/nix-quill
Nix Flake for Quill.
paulyoung/nixpkgs-dfinity-sdk
Nixpkgs overlay for the DFINITY SDK.
paulyoung/canistergeek_ic_rust
paulyoung/cdk-rs
Rust canister development kit for the Internet Computer.
paulyoung/crane
A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.
paulyoung/crane-nested-issue
Demonstrates the issue described in https://github.com/ipetkov/crane/issues/209#issuecomment-1372960937
paulyoung/crane-wasm-issue
Demonstrates the issue described at https://github.com/ipetkov/crane/issues/207
paulyoung/crankit-game-loop
A safe and ergonomic entry-point for playdate games using `playdate-sys`
paulyoung/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.
paulyoung/docs
This is a repo of the RetroArch official document page.
paulyoung/FunnyOS
Grid-based playdate custom launcher based on the 3ds menu (with badges!)
paulyoung/gitoxide
An idiomatic, lean, fast & safe pure Rust implementation of Git
paulyoung/ic
Internet Computer blockchain source: the client/replica software run by nodes
paulyoung/motoko-base
The Motoko base library
paulyoung/motoko-type-classes
A demonstration of how type classes can be approximated in Motoko, via manual "dictionary-passing" style.
paulyoung/naersk
Build rust crates in Nix. No configuration, no code generation, no IFD. Sandbox friendly. [maintainer: @Patryk27]
paulyoung/nix-keysmith
Nix Flake for Keysmith.
paulyoung/playdate
Playdate Build Tools and API
paulyoung/portal
Internet Computer Developer Portal
paulyoung/purescript-untagged-union
A Purescript data type for untagged unions
paulyoung/roc
Roc is a language for making delightful software.
paulyoung/rust-libretro
paulyoung/sample-hla
paulyoung/sdk
The DFINITY Canister Software Development Kit (SDK)
paulyoung/serde-json-core
`serde-json` for `no_std` programs