A .tex file to use in the math discord
☆16Dec 10, 2025Updated 6 months ago
Alternatives and similar repositories for math-discord
Users that are interested in math-discord are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆31Jun 27, 2026Updated last week
- FiberNavigator - Maxime Chamberland -☆10Feb 9, 2022Updated 4 years ago
- Metamath logic game☆10Updated this week
- Solutions to the Incredible Proof Machine https://incredible.pm/☆10Jun 15, 2026Updated 3 weeks ago
- Miscellaneous scripts and the like that help with Japanese learning in some capacity.☆18Apr 23, 2024Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Hilbert-style formal proofs for mathematics☆12Jun 25, 2018Updated 8 years ago
- Repo for the learn mathematics website.☆22Feb 15, 2026Updated 4 months ago
- NeuroImaging Quality Control (niQC)☆14Mar 30, 2024Updated 2 years ago
- ❗️Who is not following you back on GitHub? ❓❓❓☆12Jun 14, 2023Updated 3 years ago
- ☆15May 3, 2024Updated 2 years ago
- Comprehensive tutorial notes for ETC2410 Introductory Econometrics☆14Sep 4, 2019Updated 6 years ago
- Little godot-made mp3 player!☆13Dec 17, 2023Updated 2 years ago
- Minetest visulization library☆10Jun 28, 2023Updated 3 years ago
- A little project that scrapes the discord web client and stores each version's main assets.☆11Oct 24, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Experimental Transpiler of Java Programs to EO Programming Language☆11Jun 23, 2026Updated 2 weeks ago
- Plugin for Elite: Dangerous market connector that automatically insert systems to clipboard☆15Mar 22, 2021Updated 5 years ago
- The Brick language spec☆30Jan 30, 2018Updated 8 years ago
- ☆17Jul 31, 2024Updated last year
- A LaTeX article class for Org-mode☆41Feb 22, 2018Updated 8 years ago
- A status monitor for Elite Dangerous, written in PHP. Designed for 1080p screens in the four-panel-view in panel.php, and for 7 inch scre…☆31May 20, 2021Updated 5 years ago
- A template for a Discord.js v11 bot created by acollierr17.☆12Mar 17, 2020Updated 6 years ago
- Brain R Image Science Kit☆30Jul 25, 2016Updated 9 years ago
- Helper functions for making brain image figures with ggplot☆23Jun 9, 2020Updated 6 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.☆27Jun 28, 2026Updated last week
- Experimental LLVM FFI bindings for the Java Platform☆14Apr 6, 2021Updated 5 years ago
- an work in progress, vulkan, modern jvm render engine☆14Jul 18, 2021Updated 4 years ago
- 📑 - A curated list of things for osu!.☆23May 3, 2026Updated 2 months ago
- A web-based graphical proof assistant for LK and Hoare logic.☆41Jan 10, 2026Updated 5 months ago
- A (proof of concept) plugin allowing users to delete and edit chat messages☆11Jul 30, 2022Updated 3 years ago
- A C++ libssh2 wrapper. In modern C++11☆22Aug 15, 2020Updated 5 years ago
- The old version of a project for starting and sending commands to Minecraft Servers via a web interface.☆18Jul 27, 2020Updated 5 years ago
- A DADA Virus to confuse people☆32Apr 20, 2016Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A jailbreak tweak that displays a mark at the touched location on the Window.☆18Oct 15, 2023Updated 2 years ago
- Qemu support for target processor 6502☆25Jul 29, 2012Updated 13 years ago
- A certain word game but in the terminal.☆19Jan 29, 2024Updated 2 years ago
- Dive into the uncharted waters of Maraxsis, a world where the sea covers everything. Utilize submarines to explore, craft advanced fluids…☆31Updated this week
- A mirror of first-party chip support firmware and documentation for Gigadevice MCUs.☆24Aug 29, 2025Updated 10 months ago
- An automatic neutron route plotter for Elite Dangerous☆31May 25, 2026Updated last month
- Directed graph layout for JavaScript☆30Nov 11, 2020Updated 5 years ago