Style checker for latex documents
β52Nov 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:
- β15Aug 19, 2023Updated 3 years ago
- π 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 8 years ago
- Progressive Uniform Manifold Approximation and Projection (EuroVis 2020 short)β13Feb 15, 2023Updated 3 years ago
- With ChordingCoding, typing becomes composing music!β16Apr 4, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean β’ AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024β13Apr 21, 2024Updated 2 years ago
- An R package to help assess the sensitivity of a Bayesian model (fitted with Stan) to the specification of its likelihood and priorsβ11May 29, 2026Updated 3 months 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
- Docker image to create sprites with spritezero-cliβ11Nov 22, 2018Updated 7 years ago
- Mary is the successor of Marx, a content delivery and assessment engine based on markdown and gitβ17Jan 23, 2024Updated 2 years ago
- A semantic highlighter for Idris codeβ14Feb 22, 2018Updated 8 years ago
- LiT (Zero-Shot Transfer with Locked-image text Tuning) image and text encoder models, working in the browserβ11May 16, 2022Updated 4 years ago
- Jupyter Notebooks and other code for Altair-based Interactive UpSet Plotsβ31Dec 1, 2021Updated 4 years ago
- Moana implementation in OCamlβ16Jul 15, 2015Updated 11 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 awesome YAML-based CV that works with your existing Jekyll siteβ11Jan 10, 2019Updated 7 years ago
- β19Updated this week
- An R package for estimating the log-probabilities of words in a given context using transformer models.β12Jun 30, 2026Updated 2 months ago
- LaTeX Lint for Academic Writingβ12Jun 6, 2019Updated 7 years ago
- A small library for tracking mutable state in Idris programsβ12Apr 19, 2017Updated 9 years ago
- MTH225 Statistics for Science Spring 2016β12May 13, 2016Updated 10 years ago
- β10Feb 1, 2023Updated 3 years ago
- Provides a reference implementation of FeatherweightRust in Java.β15Oct 28, 2021Updated 4 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.
- Templates etc. for creating experiments using Ibex Farm.β11Jul 21, 2018Updated 8 years ago
- β17Oct 16, 2018Updated 7 years ago
- β14Jan 7, 2024Updated 2 years ago
- OCaml back end for Idrisβ22Jan 24, 2018Updated 8 years ago
- A cross-platform R package to run RStan in parallelβ10Jun 3, 2015Updated 11 years ago
- Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]β15Jul 22, 2024Updated 2 years ago
- An editor for interactively building natural deduction proofsβ20Sep 24, 2018Updated 7 years ago
- ι¦ηΌ: A Note System Powered by Typstβ19Aug 12, 2026Updated last month
- Code repository for our work on Quantum Piβ12Jun 4, 2024Updated 2 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.
- Python module supporting the NIST CONTAM airflow modelβ10Oct 20, 2021Updated 4 years ago
- Stan syntax highlighting for knitrβ14Oct 26, 2020Updated 5 years 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 10 years ago
- β11Oct 21, 2024Updated last year
- A proper network library for Idris, now that I know what I'm doing.β58Sep 27, 2016Updated 9 years ago
- A partial implementation of Protocol Buffers in Idrisβ32Aug 12, 2017Updated 9 years ago
- Exploring aspects of similarity between spoken personal narratives by disentangling them into narrative clause types -- Supplementary infβ¦β12Jul 14, 2020Updated 6 years ago