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
Sorting:
- Gitea actions based, 3rd generation of joint online judge. Mirrored from https://focs.ji.sjtu.edu.cn/git/JOJ/JOJ3.☆17Feb 13, 2026Updated 3 weeks ago
- New generation of Canvas Helper.☆12Jul 15, 2024Updated last year
- A Chinese style platformer powered by Elm. Implemented with a self-made 2D game engine.☆20Aug 13, 2024Updated last year
- 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…☆24Dec 1, 2025Updated 3 months ago
- A 2D game engine for Elm☆21Jun 21, 2025Updated 8 months ago
- A malware-analysis tool that identify the exact position and details of malicious content in binary files using external Anti-Virus scann…☆41Dec 26, 2023Updated 2 years ago
- A manual for UM-SJTU JI students to survive better.☆41Apr 30, 2022Updated 3 years ago
- 半导体器件物理 LaTeX笔记☆12Apr 19, 2025Updated 10 months ago
- Submit your work to JOJ via CLI.☆10Jul 24, 2024Updated last year
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research☆17Updated this week
- Useful Monads in Elm☆10Feb 8, 2016Updated 10 years ago
- eBPF Tools - Tool for monitoring, performance benchmarking and tracing linux kernel☆16Jan 29, 2021Updated 5 years ago
- MikanOSをRustで製作したいプロジェクトです☆10Dec 1, 2023Updated 2 years ago
- Elm bindings for regl.☆12Jun 19, 2025Updated 8 months ago
- Zodiac: Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs, SOSP 2024☆15Nov 28, 2024Updated last year
- RISC-V instruction encoding/decoding☆13Mar 22, 2023Updated 2 years ago
- LangGraphRAG: A terminal-based Retrieval-Augmented Generation system using LangGraph. Features include message history caching, query tra…☆15Jul 13, 2024Updated last year
- Cloudflare DNS Record Manager☆11Jul 24, 2023Updated 2 years ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Feb 7, 2025Updated last year
- Cursor Clip - GTK4 Clipboard Manager with dynamic positioning. Features a Windows 11–style clipboard history, adapted to native GNOME des…☆51Feb 18, 2026Updated 2 weeks ago
- A mini shell supporting tab-triggered hint & auto-completion written in C☆10Sep 24, 2022Updated 3 years ago
- Implementation of the logging layer of our SOSP '23 paper Halfmoon☆11Jul 28, 2023Updated 2 years ago
- Legolas: A Fault Injection Framework for Efficient Exposure of Partial Failures in Distributed Systems☆11Mar 29, 2024Updated last year
- Lightweight OpenGL-based rendering engine for OCaml (unreleased)☆23Aug 8, 2017Updated 8 years ago
- A gesture-controlled mouse application that lets you control your PC with simple hand movements in the air.☆15May 11, 2025Updated 9 months ago
- Automated Testing and Adaptive Detection of **Slow Faults** in Distributed Systems☆18Mar 6, 2025Updated last year
- p-checker: The one-for-all p-value analyzer. R-Index, p-curve, and more in one online app.☆12Sep 23, 2024Updated last year
- High-speed, Internet-scale, load-balanced paths discovery.☆19Jan 14, 2026Updated last month
- Code of "Regularized Best-of-N Sampling with Minimum Bayes Risk Objective for Language Model Alignment" (2025).☆14Apr 4, 2025Updated 11 months ago
- https://github.com/jellyqwq/novel#novel☆18Apr 10, 2022Updated 3 years ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Oct 16, 2020Updated 5 years ago
- Markdown renderer and other site generator tools.☆15Aug 24, 2025Updated 6 months ago
- 全自动工作流调度引擎,基于 Claude Code Agent Teams☆42Mar 1, 2026Updated last week
- 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
- Programmer-friendly framework for visual novels (VN) / text-based adventure games (AVG) on Godot☆20Aug 27, 2024Updated last year
- [refactor] eBPF trace language☆17Feb 1, 2026Updated last month
- An async python script that synchronizes files and folders across Canvas LMS Files and local, with extremely fast speed.☆53Dec 16, 2024Updated last year
- ☆15Feb 7, 2026Updated last month