ChasingZenith

syncthing

Open Source Continuous File Synchronization

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

LaTeX-OCR

pix2tex: Using a ViT to convert images of equations into LaTeX code.

tui.calendar

🍞📅A JavaScript calendar that has everything you need.

super-productivity

Super Productivity is an advanced todo list app with integrated Timeboxing and time tracking capabilities. It also comes with integrations for Jira, Gitlab, GitHub and Open Project.

rime-ice

Rime 配置：雾凇拼音 | 长期维护的简体词库

sioyek

Sioyek is a PDF viewer with a focus on textbooks and research papers

zotero-better-notes

Everything about note management. All in Zotero.

zotero-reference

PDF references add-on for Zotero.

Symbolics.jl

Symbolic programming for the next generation of numerical software

obsidian-citation-plugin

Obsidian plugin which integrates your academic reference manager with the Obsidian editor. Search your references from within Obsidian and automatically create and reference literature notes for papers and books.

image.nvim

🖼️ Bringing images to Neovim.

logseq-plugin-agenda

A calendar, task manager and daily planner plugin for logseq

ocs2

Optimal Control for Switched Systems

crocoddyl

Crocoddyl is an optimal control library for robot control under contact sequence. Its solver is based on various efficient Differential Dynamic Programming (DDP)-like algorithms

qpsolvers

Quadratic programming solvers in Python with a unified API

optimization-engine

Nonconvex embedded optimization: code generation for fast real-time optimization + ROS support

lecture-notebooks-2023

logseq-diagrams-as-code

Logseq plugin that lets you create diagrams from textual representation (aka 'Diagrams as Code'). It supports a wide range of diagram types and languages, including Mermaid, Graphviz, PlantUML, and many more.

hsnips

HyperSnips: a powerful snippet engine for VS Code, inspired by vim's UltiSnips

SCS.jl

A Julia interface for the SCS conic programming solver

shtthesis

An unofficial LaTeX thesis template for ShanghaiTech University.

PEPit

PEPit is a package enabling computer-assisted worst-case analyses of first-order optimization methods.

textLSP

Language server for text spell and grammar check with various tools.

logseq-searchable

logseq-query-builder-plugin

A logseq plugin that generates advanced queries from simple commands

logseq-osmmaps-plugin

NCG-PEP-code

YALMIP

MATLAB toolbox for optimization modeling

gnome-shell-extension-utc-clock

A customizable UTC clock for GNOME shell