Skip to content
View bagnalla's full-sized avatar
🦔
🦔

Organizations

@OUPL
Block or Report

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

  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 9 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. lf94/summonscript lf94/summonscript Public

    Manifest manifold models with magical machinations.

    JavaScript 38 3

  6. holyc_mal holyc_mal Public

    Mal Lisp for TempleOS

    HolyC 107 9