zin3724

zin3724's Stars

• varkor/quiver

  A modern commutative diagram editor for the web.

  Language:JavaScript3.1k86

• logseq/logseq

  A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: http://trello.com/b/8txSM12G/roadmap

  Language:Clojure34.1k2k

• juliangilbey/cat456

  Solutions to Emily Riehl's book "Category Theory in Context", chapters 4-6

  Language:TeX62

• Fillygroove/jummbox-microtonal

  Language:HTML3

• ncatlab/nlab

  Source code for the nLab

  Language:Ruby15716

• euwbah/musescore-xen-tuner

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

  Language:JavaScript392

• mattearnshaw/lawvere

  The collected works of F. W. Lawvere

  32635

• manisandro/gImageReader

  A Gtk/Qt front-end to tesseract-ocr.

  Language:C++1.7k194

• mathjax/MathJax-src

  MathJax source code for version 3 and beyond

  Language:TypeScript2.1k210

• zotero/zotero

  Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.

  Language:JavaScript10.7k779

• leanprover-community/mathlib3

  Lean 3's obsolete mathematical components library: please use mathlib4

  Language:Lean1.7k298

• ryankeleti/ega

  amateur translation project of Grothendieck's EGA.

  Language:TeX33635

• sergree/matchering

  🎚️ Open Source Audio Matching and Mastering

  Language:Python1.9k187

• microsoft/PowerToys

  Windows system utilities to maximize productivity

  Language:C#113k6.7k

• sumatrapdfreader/sumatrapdf

  SumatraPDF reader

  Language:C14k1.8k

• dmurfet/metaboard

  Interactive drawing boards in Roblox

  1