Home Original page

makarius - Overview

@makarius

makarius

Follow

View makarius's full-sized avatar

NOTE: My preferred way of collaboration is via decentralized services, such as my own https://vcs.sketis.net (by invitation only).

Block or report makarius

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Popular repositories Loading

  1. language-server-protocol language-server-protocol Public

    Forked from microsoft/language-server-protocol

    Defines a common protocol for language servers.

  2. polyml polyml Public

    Forked from polyml/polyml

    Poly/ML

    Standard ML

  3. Isabelle_DOF Isabelle_DOF Public

    Forked from logicalhacking/Isabelle_DOF

    Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.

    Isabelle

  4. isabelle_dedukti isabelle_dedukti Public

    Forked from Deducteam/isabelle_dedukti

    Isabelle component generating Dedukti proofs

    Scala