Hydraallen / Latex-vscodeView external linksLinks
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.☆16Updated this week
- New generation of Canvas Helper.☆12Jul 15, 2024Updated last year
- A 2D game engine for Elm☆21Jun 21, 2025Updated 7 months ago
- 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 2 months ago
- A rich repositery of BlobCat emojis, derived from Google's blob emojis☆137Nov 24, 2023Updated 2 years ago
- A manual for UM-SJTU JI students to survive better.☆40Apr 30, 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…☆38Dec 26, 2023Updated 2 years ago
- ☆12Oct 17, 2025Updated 3 months ago
- 半导体器件物理 LaTeX笔记☆12Apr 19, 2025Updated 9 months ago
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research☆17Feb 1, 2026Updated 2 weeks ago
- Elm bindings for regl.☆12Jun 19, 2025Updated 7 months ago
- A tool for loading and executing PE on Windows and ELF on Linux from memory written in Rust☆12Apr 9, 2025Updated 10 months ago
- Submit your work to JOJ via CLI.☆10Jul 24, 2024Updated last year
- 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
- Zodiac: Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs, SOSP 2024☆15Nov 28, 2024Updated last year
- Cursor Clip - GTK4 Clipboard Manager with dynamic positioning. Features a Windows 11–style clipboard history, adapted to native GNOME des…☆41Updated this week
- Cloudflare DNS Record Manager☆11Jul 24, 2023Updated 2 years ago
- RISC-V instruction encoding/decoding☆13Mar 22, 2023Updated 2 years ago
- ☆14Dec 11, 2025Updated 2 months ago
- Userspace eBPF Runtime Benchmarking Test Suite and Results☆17Apr 21, 2024Updated last year
- A mini shell supporting tab-triggered hint & auto-completion written in C☆10Sep 24, 2022Updated 3 years ago
- Markdown renderer and other site generator tools.☆12Aug 24, 2025Updated 5 months ago
- Legolas: A Fault Injection Framework for Efficient Exposure of Partial Failures in Distributed Systems☆11Mar 29, 2024Updated last year
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Feb 7, 2025Updated last year
- A compiler that translates a form of lambda calculus to C☆12Apr 21, 2024Updated last year
- Automated Testing and Adaptive Detection of **Slow Faults** in Distributed Systems☆18Mar 6, 2025Updated 11 months ago
- 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 10 months ago
- https://github.com/jellyqwq/novel#novel☆18Apr 10, 2022Updated 3 years ago
- 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
- Chinese translation to Understanding Ananlysis (Stephen Abbott)☆22May 28, 2025Updated 8 months ago
- A DWARF-aware eBPF tracer with cgdb-like TUI - explore live processes at runtime☆117Nov 28, 2025Updated 2 months 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
- 基于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
- ☆15Feb 7, 2026Updated last week
- [refactor] eBPF trace language☆17Feb 1, 2026Updated 2 weeks ago