Style checker for latex documents
☆50Nov 5, 2023Updated 2 years ago
Alternatives and similar repositories for style-check
Users that are interested in style-check are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 📊 x 📊 =❓An online gallery to explore the design space of comparative layouts☆18Nov 4, 2020Updated 5 years ago
- Work on type class deriving with elaboration reflection☆32Sep 9, 2018Updated 7 years ago
- Progressive Uniform Manifold Approximation and Projection (EuroVis 2020 short)☆13Feb 15, 2023Updated 3 years ago
- ☆32Jun 15, 2021Updated 4 years ago
- Google Apps Script to aggregate Google Scholar Alerts into a digest email☆14Nov 29, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Simple method to create notebook-ready visual analytics tools!☆32May 2, 2023Updated 3 years ago
- With ChordingCoding, typing becomes composing music!☆16Apr 4, 2024Updated 2 years ago
- @dave-thompson's QMK community modules☆13Feb 18, 2026Updated 3 months ago
- Context-Aware, Recommender-Powered Visualization Authoring☆22Jul 22, 2020Updated 5 years ago
- Visual Analytics Tool for Dragonfly Network-based Supercomputers☆13Dec 8, 2016Updated 9 years ago
- Differences and similarities between TVCG and VIS papers. Also, crowdsourced submission data for TVCG. Enter anonymous submission data at…☆26Feb 7, 2022Updated 4 years ago
- CHERI sample C programs☆12Jan 16, 2025Updated last year
- ☆17Oct 16, 2018Updated 7 years ago
- A small library for tracking mutable state in Idris programs☆12Apr 19, 2017Updated 9 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.
- A Redex tutorial with a focus on how to do work in Redex☆11Oct 21, 2024Updated last year
- An R package for estimating the log-probabilities of words in a given context using transformer models.☆12Feb 23, 2026Updated 2 months ago
- [AAMAS 2023] Differentiable Agent-based Epidemiology☆24Apr 10, 2024Updated 2 years ago
- LaTeX Lint for Academic Writing☆12Jun 6, 2019Updated 6 years ago
- Provides a reference implementation of FeatherweightRust in Java.☆15Oct 28, 2021Updated 4 years ago
- A benchmark suite for Graph Machine Learning☆19Oct 8, 2024Updated last year
- Code repository for our work on Quantum Pi☆11Jun 4, 2024Updated last year
- Using Forester, We are attempting to resurrect and grow the since deleted model theory wiki and give it a better foundation for future gr…☆16Jun 8, 2025Updated 11 months ago
- An implementation of (some fragment of) cubical type theory using rewrite rules, based on a talk given by Conor McBride at the 23rd Agda'…☆12Aug 5, 2016Updated 9 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.
- 🐉 Modular version of Draco visualization recommendation engine☆110May 2, 2026Updated 2 weeks ago
- Analyze parallel execution traces using pandas dataframes☆25Apr 24, 2026Updated 3 weeks ago
- Package to Train LANs (Likelihood approximation networks)☆15Mar 31, 2026Updated last month
- Archive of the categories mailling list☆12Sep 8, 2020Updated 5 years ago
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆15Jan 23, 2024Updated 2 years ago
- A TACtic library for Agda☆51Sep 14, 2024Updated last year
- Formalization of normalization by evaluation for the fine-grain call-by-value language extended with algebraic effect theories☆15Oct 18, 2025Updated 7 months ago
- FlexiTokens☆22Dec 27, 2025Updated 4 months ago
- Multiparty Session Types toolKit☆15May 7, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆17Jan 6, 2026Updated 4 months ago
- P4: Portable Parallel Processing Pipeline☆40Jan 10, 2021Updated 5 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆24May 1, 2016Updated 10 years ago
- Dataset and pre-trained model of EMNLP-IJCNLP 2019 paper "TalkDown: A Corpus for Condescension Detection in Context."☆10Jan 26, 2020Updated 6 years ago
- A little package to visualize ERPs in R☆14May 23, 2025Updated 11 months ago
- Interactive visual tool for the demonstration of topic evolution☆43Feb 9, 2021Updated 5 years ago
- Modelica library for convective heat transfer and pressure loss characteristics (Used for ClaRa library < 1.3.0)☆11Jul 30, 2019Updated 6 years ago