This is a repository for latex settings in vscode
☆20Jun 30, 2024Updated 2 years ago
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.☆19Aug 4, 2026Updated 2 weeks 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…☆24Jul 23, 2026Updated 3 weeks ago
- New generation of Canvas Helper.☆11Jul 15, 2024Updated 2 years ago
- A Chinese style platformer powered by Elm. Implemented with a self-made 2D game engine.☆21Aug 13, 2024Updated 2 years ago
- Static code analysis for VE280 projects☆17Jul 12, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An async python script that synchronizes files and folders across Canvas LMS Files and local, with extremely fast speed.☆55Dec 16, 2024Updated 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
- A manual for UM-SJTU JI students to survive better.☆41Apr 30, 2022Updated 4 years ago
- My Academic Website：https://jerrysys.top☆19Feb 21, 2025Updated last year
- 基于Logisim的RISC-V五段流水CPU，支持重定向流水线和单周期多中断☆17Aug 31, 2022Updated 3 years ago
- A mini shell supporting tab-triggered hint & auto-completion written in C☆11Sep 24, 2022Updated 3 years ago
- RISC-V instruction encoding/decoding☆12Mar 22, 2023Updated 3 years ago
- Interactive Mathematica notebooks illustrating the course content of VE401, Probabilistic Methods in Engineering at UM-SJTU Joint Institu…☆13Nov 10, 2022Updated 3 years ago
- 中文开源字库聚合。☆32Oct 11, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A tool for loading and executing PE on Windows and ELF on Linux from memory written in Rust☆15Apr 9, 2025Updated last year
- Code of "Regularized Best-of-N Sampling with Minimum Bayes Risk Objective for Language Model Alignment" (2025).☆14Apr 4, 2025Updated last year
- eBPF Tools - Tool for monitoring, performance benchmarking and tracing linux kernel☆17Jan 29, 2021Updated 5 years ago
- 半导体物理LaTeX笔记☆21Jun 21, 2025Updated last year
- Submit your work to JOJ via CLI.☆10Jul 24, 2024Updated 2 years ago
- Rust bindings for the Mattermost API☆10May 28, 2026Updated 2 months ago
- It includes various question-answering technology sub-projects☆25Aug 23, 2025Updated 11 months ago
- Huggy is a Unity ML-Agents environment showcasing a dog mastering stick-catching through deep reinforcement learning.☆16Jan 24, 2024Updated 2 years ago
- UDT: UDP-based Data Transfer Protocol☆11Apr 21, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- This is notes of ve203 by Mr. Ice.☆14Dec 13, 2024Updated last year
- Quantum circuits compiler with staging and continuations☆17Nov 19, 2024Updated last year
- Typst beamer/slides template for presentations☆42Jul 13, 2026Updated last month
- Kinda like Windows 10 Sticky notes but subjectively better - Written in go and GTK3+☆16Nov 24, 2018Updated 7 years ago
- 16型人格测试（程序员版本）整活项目、测试你的编程思维习惯☆97Nov 22, 2024Updated last year
- A compiler that translates a form of lambda calculus to C☆12Apr 21, 2024Updated 2 years ago
- A gesture-controlled mouse application that lets you control your PC with simple hand movements in the air.☆14May 11, 2025Updated last year
- A partial collection of courses with related files held in SJTU-UMJI☆38Aug 10, 2022Updated 4 years ago
- A mini (consistent-wannabe) proof-assistant with power roughly equivalent to intelligence of a two month old cat☆16Mar 12, 2022Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Markdown renderer and other site generator tools.☆15Updated this week
- Codecast C learning platform (formerly fioi-recorder).☆35Updated this week
- Tool for single pdf creation from http://ostep.org☆84Jan 17, 2025Updated last year
- 《唐诗三百首》数据☆38Nov 26, 2023Updated 2 years ago
- Implementation of the logging layer of our SOSP '23 paper Halfmoon☆11Jul 28, 2023Updated 3 years ago
- Helper module to easily develop git-annex remotes☆23Jul 20, 2026Updated 3 weeks ago
- 【随机动态生成】php免杀webshell☆19Mar 28, 2022Updated 4 years ago