Alloy syntax highlighting for the "listings package" (Latex) (It follows MIT's Alloy environment color style)
☆13Nov 13, 2019Updated 6 years ago
Alternatives and similar repositories for alloy-latex-highlighting
Users that are interested in alloy-latex-highlighting are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Multiplatform encrypted note-taking app with block-style editor☆16Sep 3, 2025Updated last year
- A website providing data from the spanish housing market 🏠☆12Sep 30, 2026Updated last month
- ☆11Jul 1, 2021Updated 5 years ago
- A template repository to write scientific papers☆12Oct 25, 2026Updated last week
- Documentación sobre malas prácticas en C y C++ y su solución☆11Jun 21, 2024Updated 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.
- This repository currently contains just SAFE.Tool - a dotnet tool that might serve as an utility to manage SAFE projects.☆13Mar 18, 2020Updated 6 years ago
- SDF for YCB models for usage in gazebo☆12Nov 27, 2024Updated last year
- The first large scale formally verified reasoning dataset for Verilog☆25May 16, 2025Updated last year
- Compiled CGC binaries for experimentation porpoises.☆22Jul 6, 2017Updated 9 years ago
- 打印出手写体笔记☆10Dec 30, 2019Updated 6 years ago
- A helper document about the Alloy specification language☆10Dec 3, 2018Updated 7 years ago
- Zettelkasten file processor☆10Oct 7, 2020Updated 6 years ago
- The online version of Haskell: the Craft of Functional Programming.☆13Updated this week
- Distributed Edge Inference for Deep Neural Networks☆21Feb 28, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- the book of c☆20Dec 24, 2024Updated last year
- Official implementation of the paper "GRAPES: Learning to Sample Graphs for Scalable Graph Neural Networks".☆14Apr 1, 2025Updated last year
- A Sublime Editor plugin that can display RTL content correctly☆11Jun 13, 2021Updated 5 years ago
- Cheat sheet for Haskellers wanting to get up to speed with category theory☆12Mar 4, 2020Updated 6 years ago
- 🦙 阿草，数据爬取工具人 / acao, the tool man for data scraping of https://asoul.video/.☆12Jul 25, 2023Updated 3 years ago
- Different Implementations of 2D Procedural Maps☆21Aug 22, 2017Updated 9 years ago
- A simple Java JUnit project to check Java and Maven are installed correctly☆13Jul 29, 2023Updated 3 years ago
- My typesetting environment☆14Jun 2, 2024Updated 2 years ago
- ☆25Nov 14, 2022Updated 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.
- Official reference implementation of our paper "On Oversquashing in Graph Neural Networks Through The Lens of Dynamical Systems" accepted…☆10May 1, 2025Updated last year
- Clean and simple theme for ZSH.☆13Dec 8, 2016Updated 9 years ago
- 自建bilibili追番列表api☆10Mar 28, 2020Updated 6 years ago
- ☆11Apr 16, 2022Updated 4 years ago
- A simulation environment for artificial pancreas treatments of type 1 diabetes.☆14Jun 27, 2020Updated 6 years ago
- A selective functor is two lax monoidal functors standing on top of each other wearing a trench coat☆14Apr 8, 2020Updated 6 years ago
- The "draftwatermark" package extends LaTeX providing a means to add a textual, light gray watermark on every page or on the first page of…☆14May 6, 2024Updated 2 years ago
- Simple C++ script for the visualization of Mandelbrot fractals in the Ubuntu console☆22Aug 27, 2019Updated 7 years ago
- LILLY - Latex Framework☆12Jul 29, 2021Updated 5 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.
- An implementation of a SAT solver using the CUDA library☆15Dec 23, 2017Updated 8 years ago
- animate an SVG with a VCD file☆13Aug 3, 2022Updated 4 years ago
- Virtual repository that provides support requests for individual robots☆21Updated this week
- Bayesian Analysis for Stellar Evolution☆13Apr 4, 2023Updated 3 years ago
- Fetch TFRs from https://tfr.faa.gov/ in various formats☆13Aug 19, 2024Updated 2 years ago
- Backport of PEP 562☆14May 21, 2021Updated 5 years ago
- Deeply nested, multiple key-type maps.☆10Sep 27, 2026Updated last month