Content-Length: 200524 | pFad | http://github.com/bagnalla

3B bagnalla (Alex Bagnall) · GitHub
Skip to content
View bagnalla's full-sized avatar
🦇
🦇
22 followers · 0 following

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Organizations

@OUPL

Block or report bagnalla

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 Loading

  1. ocamlzar ocamlzar Public

    Formally verified discrete samplers in OCaml.

    OCaml 5 1

  2. sexp-trees sexp-trees Public

    Interactive s-expression tree viewer

    JavaScript 10 2

  3. ensemble_detect_adv ensemble_detect_adv Public

    Training Ensembles to Detect Adversarial Examples

    Python 7 2

  4. nash nash Public

    Mixed nash equilibrium solver

    C++ 1

  5. holyc_mal holyc_mal Public

    Mal Lisp for TempleOS

    HolyC 110 12

  6. zar zar Public

    Formally Verified Samplers From Probabilistic Programs With Loops and Conditioning

    Coq 5









ApplySandwichStrip

pFad - (p)hone/(F)rame/(a)nonymizer/(d)eclutterfier!      Saves Data!


--- a PPN by Garber Painting Akron. With Image Size Reduction included!

Fetched URL: http://github.com/bagnalla

Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy