This is a repository for latex settings in vscode
☆19Jun 30, 2024Updated last year
Alternatives and similar repositories for Latex-vscode
Users that are interested in Latex-vscode are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Gitea actions based, 3rd generation of joint online judge. Mirrored from https://focs.ji.sjtu.edu.cn/git/JOJ/JOJ3.☆17Mar 22, 2026Updated last week
- A handy and powerful tool for TAs in JI to handle works through Gitea, Canvas, and JOJ. Mirrored from https://focs.ji.sjtu.edu.cn/git/JOJ…☆24Mar 15, 2026Updated 2 weeks ago
- New generation of Canvas Helper.☆12Jul 15, 2024Updated last year
- A rich repositery of BlobCat emojis, derived from Google's blob emojis☆139Nov 24, 2023Updated 2 years ago
- A Chinese style platformer powered by Elm. Implemented with a self-made 2D game engine.☆20Aug 13, 2024Updated last year
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Static code analysis for VE280 projects☆17Jul 12, 2023Updated 2 years ago
- An async python script that synchronizes files and folders across Canvas LMS Files and local, with extremely fast speed.☆53Dec 16, 2024Updated last year
- 半导体器件物理 LaTeX笔记☆12Apr 19, 2025Updated 11 months ago
- ☆31Mar 22, 2026Updated last week
- Chinese translation to Understanding Ananlysis (Stephen Abbott)☆24May 28, 2025Updated 10 months ago
- A manual for UM-SJTU JI students to survive better.☆41Apr 30, 2022Updated 3 years ago
- a simple shell to imitate linux_shell written in C(linux) for BUAA-Unix-Lecture 2021☆15Aug 24, 2021Updated 4 years ago
- 基于Logisim的RISC-V五段流水CPU，支持重定向流水线和单周期多中断☆16Aug 31, 2022Updated 3 years ago
- A malware-analysis tool that identify the exact position and details of malicious content in binary files using external Anti-Virus scann…☆40Dec 26, 2023Updated 2 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- ☆14Sep 2, 2024Updated last year
- A tool for loading and executing PE on Windows and ELF on Linux from memory written in Rust☆13Apr 9, 2025Updated 11 months ago
- replace the current round robin scheduler in xv6 with a lottery scheduler☆13Oct 19, 2019Updated 6 years ago
- ヒューリスティック探索入門☆18Dec 9, 2023Updated 2 years ago
- eBPF Tools - Tool for monitoring, performance benchmarking and tracing linux kernel☆16Jan 29, 2021Updated 5 years ago
- Code of "Regularized Best-of-N Sampling with Minimum Bayes Risk Objective for Language Model Alignment" (2025).☆14Apr 4, 2025Updated 11 months ago
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research☆17Mar 16, 2026Updated 2 weeks ago
- Elm bindings for regl.☆12Jun 19, 2025Updated 9 months ago
- 薄荷输入法同款fcitx5皮肤☆37Mar 2, 2025Updated last year
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Userspace eBPF Runtime Benchmarking Test Suite and Results☆16Updated this week
- Verilog Hdl Format☆32Jun 20, 2025Updated 9 months ago
- A DWARF-aware eBPF tracer with cgdb-like TUI - explore live processes at runtime☆121Updated this week
- Kinda like Windows 10 Sticky notes but subjectively better - Written in go and GTK3+☆16Nov 24, 2018Updated 7 years ago
- Tampermonkey Script: Fix Google Map Offset in China of Ingress Mission Map (https://ingressmm.com)☆29Jul 10, 2017Updated 8 years ago
- LangGraphRAG: A terminal-based Retrieval-Augmented Generation system using LangGraph. Features include message history caching, query tra…☆15Jul 13, 2024Updated last year
- Command line application to concurrently collect and check proxies☆10Nov 26, 2023Updated 2 years ago
- Useful Monads in Elm☆10Feb 8, 2016Updated 10 years ago
- A partial collection of courses with related files held in SJTU-UMJI☆31Aug 10, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- 一系列美观的kde主题☆28Jul 17, 2021Updated 4 years ago
- This is notes of ve203 by Mr. Ice.☆14Dec 13, 2024Updated last year
- 一句需求，自动拆任务、并行多代理写码、断点恢复、验证收尾。FlowPilot 让 Claude Code / Codex / Cursor / snow-cli 进入真正的自动开发流程。☆116Mar 13, 2026Updated 2 weeks ago
- UDT: UDP-based Data Transfer Protocol☆11Apr 21, 2018Updated 7 years ago
- Submit your work to JOJ via CLI.☆10Jul 24, 2024Updated last year
- Realtime collaboration example.☆14Oct 27, 2020Updated 5 years ago
- Lightweight OpenGL-based rendering engine for OCaml (unreleased)☆23Aug 8, 2017Updated 8 years ago