Skip to content
View KDr2's full-sized avatar
💭
💭
221 followers · 1 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Highlights

Organizations

@TuringLang @PaodingAI

Block or report KDr2

Report abuse

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

Report abuse
KDr2/README.md

Hi there 👋

Pinned Loading

  1. JuliaLang/julia JuliaLang/julia Public

    The Julia Programming Language

    Julia 48k 5.7k

  2. TuringLang/Turing.jl TuringLang/Turing.jl Public

    Bayesian inference with probabilistic programming.

    Julia 2.2k 231

  3. plfa/plfa.github.io plfa/plfa.github.io Public

    An introduction to programming language theory in Agda

    Agda 1.5k 344

  4. racket/racket racket/racket Public

    The Racket repository

    Racket 5.1k 688