Skip to content
View bocse's full-sized avatar
🫨
On a remote Topos 🌒
🫨
On a remote Topos 🌒

Block or report bocse

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. book-embodied-computational-calculus book-embodied-computational-calculus Public

    These are the open source version of the notes for the book I'm working on "Embodied Computational Calculus".

    10

  2. codex codex Public

    Forked from RaduADumitru/codex

    Web API with performance tests for searches in DEXonline graph database

    Java 1

  3. diagram-transcription-prototype-2023 diagram-transcription-prototype-2023 Public

    Forked from sheeperoni/Diagrams

    Prototypes of diagrams containing equations translated from handwritten form to UML+LaTeX format composite.