makarius

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

Pinned Repositories

curry-club-augsburg.de
Our Website
Language:HTML17 18 525
isabelle_dedukti
Isabelle component generating Dedukti proofs
Language:Scala0 0 00
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.
Language:Isabelle0 0 00
language-server-protocol
Defines a common protocol for language servers.
0 1 00
polyml
Poly/ML
Language:Standard ML0 0 00
language-server-protocol
Defines a common protocol for language servers.
Language:HTML11.1k 261 1.1k785
Naproche-SAD
Language:Haskell20 7 2910
naproche
Write formal proofs in natural language and LaTeX.
Language:Haskell29 9 66
polyml
Poly/ML
Language:Standard ML484 41 12445
MMT
The MMT Language and System
Language:Scala68 19 46923

makarius's Repositories

makarius/isabelle_dedukti
Isabelle component generating Dedukti proofs
Language:Scala0 0 00
makarius/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.
Language:Isabelle0 0 00
makarius/language-server-protocol
Defines a common protocol for language servers.
0 1 00
makarius/polyml
Poly/ML
Language:Standard ML0 0 00