Skip to content
View monadius's full-sized avatar
32 followers · 1 following

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Organizations

@soarlab
Block or Report

Block or report monadius

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. FPTaylorJS FPTaylorJS Public

    FPTaylor's website

    JavaScript

  2. ocaml_simple_interval ocaml_simple_interval Public

    A simple and portable floating-point interval arithmetic library in OCaml

    OCaml 9

  3. vscode-hol-light vscode-hol-light Public

    An extension for VS Code which provides support for HOL Light

    TypeScript 2

  4. formal_ineqs formal_ineqs Public

    OCaml 1

  5. spark-abm spark-abm Public

    An Agent-based Modeling Platform

    Java 2

  6. compute-hol-light compute-hol-light Public

    Computations in HOL Light

    OCaml 2 1