Skip to content
View soareschen's full-sized avatar
🏠
Working from home
🏠
Working from home

Sponsors

@chengengaun

Sponsoring

@rustfoundation

Organizations

@openhackspace @quiverjs

Block or report soareschen

Report abuse

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

Report abuse

Pinned Loading

  1. contextgeneric/cgp contextgeneric/cgp Public

    Context-Generic Programming: modular programming paradigm for Rust

    Rust 247 9

  2. contextgeneric/cgp-patterns contextgeneric/cgp-patterns Public

    mdBook source code for the book Context-Generic Programming Patterns

    CSS 10 5

  3. contextgeneric/hypershell contextgeneric/hypershell Public

    CGP-based DSL to build shell-like applications

    Rust 52 2

  4. ferrite-rs/ferrite ferrite-rs/ferrite Public

    Session Type EDSL for Rust

    Rust 109 11

  5. informalsystems/hermes-sdk informalsystems/hermes-sdk Public

    Rust 52 11

  6. maybevoid/mononym maybevoid/mononym Public

    Type-level named values with partial dependent type support in Rust

    Rust 58 1