PinnedLoading

1. contextgeneric/cgp-patternscontextgeneric/cgp-patternsPublic

   mdBook source code for the book Context-Generic Programming Patterns

   CSS 4 1

2. informalsystems/hermes-sdkinformalsystems/hermes-sdkPublic

   Rust 31 11

3. ferrite-rs/ferriteferrite-rs/ferritePublic

   Session Type EDSL for Rust

   Rust 102 10

4. maybevoid/mononymmaybevoid/mononymPublic

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

   Rust 57

5. maybevoid/casimirmaybevoid/casimirPublic

   Algebraic Effects in Haskell using Implicit Parameters

   Haskell 46

6. scrive/nix-workshopscrive/nix-workshopPublic

   Nix Workshop Tutorials

   JavaScript 51 12