A plugin of vue latex(base on katex), support vue2 and vue3

A package for marking and annotating in math blocks in Typst.

Run your GitHub Actions locally 🚀

Synthesizer plug-in (previously released as Vember Audio Surge)

Automate the microtonal scale designs of Erv Wilson in your DAW

A library for producing HIG-compliant user interfaces for the Macintosh with Aqua styling

A software that assists a prospected proof of Gerver's conjecture, using a custom geometric branch-and-bound algorithm, and the exact rational QP solver powered by CGAL

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

A music player for rainworld threats

Command-like expressions for real infinite-precision calculations

Creates bibliographies in Typst with URL/DOI links

converts HTML to valid forester tree syntax

A formalization of M-types in Agda

Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of development.

antifunext

The root repository for the SpectralSequences project.

Containers can be made into a Cartesian Differential Category

Typst math typesetting for the web.

A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.

Effective Algebraic Topology in Haskell

The Falso axiomatic system for Isabelle/HOL

Experiments with Realizability in Univalent Type Theory

Run Typst in JavaScriptWorld.

清华大学飞跃手册

A mod for Minecraft. Better composter.

Your self-hosted, globally interconnected microblogging community

A formal consistency proof of Quine's set theory New Foundations

full xenharmonic & microtonal support for musescore! just intonation, regular temperaments, chromatic staves, bohlen pierce, anything at all