Skip to content
View howsiyu's full-sized avatar

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Shark
BetaSend feedback

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Shark
BetaSend feedback
Block or Report

Block or report howsiyu

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Pinned

  1. blackjax blackjax Public

    Forked from blackjax-devs/blackjax

    BlackJAX is a sampling library designed for ease of use, speed and modularity.

    Python

  2. cubical cubical Public

    Forked from agda/cubical

    An experimental library for Cubical Agda

    Agda

  3. hott-notes hott-notes Public

    Code snippets while learning HoTT and cubical Agda

    Agda

  4. lambda lambda Public

    Proofs of some theorems in lambda calculus

    Agda

  5. OrdinaryDiffEq.jl OrdinaryDiffEq.jl Public

    Forked from SciML/OrdinaryDiffEq.jl

    High performance ordinary differential equation (ODE) and differential-algebraic equation (DAE) solvers, including neural ordinary differential equations (neural ODEs) and scientific machine learni…

    Julia

  6. ziptree-rs ziptree-rs Public

    Forked from jerry73204/ziptree-rs

    Tarjan's zip trees implemented in Rust

    Rust 7