vbeffara

vbeffara's Stars

• syncthing/syncthing

  Open Source Continuous File Synchronization

  Language:Go64.3k1k5.5k4.2k

• xournalpp/xournalpp

  Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input from devices such as Wacom Tablets.

  Language:C++11k1063.4k792

• James-Yu/LaTeX-Workshop

  Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.

  Language:TypeScript10.6k573.1k528

• organicmaps/organicmaps

  🍃 Organic Maps is a free Android & iOS offline maps app for travelers, tourists, hikers, and cyclists. It uses crowd-sourced OpenStreetMap data and is developed with love by MapsWithMe (MapsMe) founders and our community. No ads, no tracking, no data collection, no crapware. Please donate to support the development!

  Language:C++9.7k934.8k924

• dendronhq/dendron

  The personal knowledge management (PKM) tool that grows as you do!

  Language:TypeScript6.7k561.7k252

• sphinx-doc/sphinx

  The Sphinx documentation generator

  Language:Python6.4k1567k2.1k

• microsoft/GSL

  Guidelines Support Library

  Language:C++6.2k318555738

• arsenetar/dupeguru

  Find duplicate files

  Language:Python5.3k1031k413

• ericniebler/range-v3

  Range library for C++14/17/20, basis for C++20's std::ranges

  Language:C++4.1k155923440

• bcpierce00/unison

  Unison file synchronizer

  Language:OCaml4.1k81558229

• lewissbaker/cppcoro

  A library of C++ coroutine abstractions for the coroutines TS

  Language:C++3.4k125144467

• hanickadot/compile-time-regular-expressions

  Compile Time Regular Expression in C++

  Language:C++3.3k66236183

• leanprover/lean3

  Lean Theorem Prover

  Language:C++2.1k1161.1k217

• latex3/latex3

  The expl3 (LaTeX3) Development Repository

  Language:TeX1.9k721.1k184

• leanprover-community/mathlib

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

  Language:Lean1.7k52362297

• brucemiller/LaTeXML

  LaTeXML: a TeX and LaTeX to XML/HTML/ePub/MathML translator.

  Language:Perl923341.5k98

• SqliteModernCpp/sqlite_modern_cpp

  The C++14 wrapper around sqlite library

  Language:C++89359118154

• joboccara/pipes

  Pipelines for expressive code on collections in C++

  Language:C++798354479

• marian-m12l/studio

  STUdio - Story Teller Unleashed

  Language:Java69246376130

• CMA-ES/libcmaes

  libcmaes is a multithreaded C++11 library with Python bindings for high performance blackbox stochastic optimization using the CMA-ES algorithm for Covariance Matrix Adaptation Evolution Strategy

  Language:C++3211819578

• mgieseki/dvisvgm

  A fast DVI, EPS, and PDF to SVG converter

  Language:C++305925332

• sunpy/ablog

  ABlog for blogging with Sphinx

  Language:Python1811410254

• dreampulse/computer-modern-web-font

  The Computer Modern LaTeX font for the web

  Language:CSS1124317

• TeX-Live/luatex-svn-git

  Mirror of luatex svn to git - for issues please contact the luatex mailing list

  Language:C651207

• zepinglee/citeproc-lua

  A Lua implementation of the Citation Style Language (CSL) for use with LaTeX

  Language:Lua658707

• michal-h21/rdfref

  Cross-referencing system for LaTeX, inspired with RDF

  Language:Lua14472

• u-fischer/newpax

  Language:TeX123193

• tralics/tralics

  Tralics: a LaTeX to XML translator

  Language:TeX85183

• imagesdesmaths/idm

  The template and plugins of the "Images des Mathématiques" CNRS website

  Language:PHP43

• enkisouillot/TER_v_0

  Language:TeX120