[go: up one dir, main page]
Skip to content
View bocse's full-sized avatar
🫨
On a remote Topos 🌒
🫨
On a remote Topos 🌒
26 followers · 108 following

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Highlights

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

  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.