Skip to content
View lenda00's full-sized avatar

Block or report lenda00

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. smalltt smalltt Public

    Forked from AndrasKovacs/smalltt

    Demo for high-performance type theory elaboration

    Lean

  2. io io Public

    Forked from coq-io/io

    A library for effects in Coq.

    Coq

  3. cyber-ads cyber-ads Public

    Just a prototype

    TypeScript

  4. HVM HVM Public

    Forked from HigherOrderCO/HVM2

    A massively parallel, optimal functional runtime in Rust

    Rust

  5. Symmetric-Interaction-Calculus Symmetric-Interaction-Calculus Public

    Forked from VictorTaelin/Interaction-Calculus

    A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

    Rust

  6. coq coq Public

    Forked from exercism/coq

    Exercism exercises in Coq.

    Shell