Skip to content
View loverdos's full-sized avatar
☕
☕
57 followers · 36 following

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Block or report loverdos

Report abuse

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

Report abuse
loverdos/README.md

Hi there 👋

Pinned Loading

  1. pre-commit pre-commit Public

    The only `git` pre-commit hook manager you'll need.

    Shell 1

  2. executable-semantics executable-semantics Public

    Forked from input-output-hk/ce-semantics-dsl

    Denotational semantics for the masses

    Scala 2

  3. shared-refs shared-refs Public

    Unifies `Rc<RefCell<T>>`, `Arc<Mutex<T>>`, and `Arc<RwLock<T>>` behind a `Shared<T>` borrowing API using GATs

    Rust 1

  4. mk mk Public

    Makes stuff

    Rust

  5. proof-of-product proof-of-product Public

    Scala 3

  6. mlpipe mlpipe Public

    Forward pipe operator |>, as in F# and OCaml

    Scala 1