☆25Oct 17, 2022Updated 3 years ago
Alternatives and similar repositories for latex-emoji
Users that are interested in latex-emoji are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 📝 Easily convert Digital Object Identifier (DOI) and Uniform Resource Locator (URL) to BibTeX and DOI to plain text.☆38Apr 28, 2023Updated 2 years ago
- Timing attack resistant type systems☆24May 13, 2015Updated 10 years ago
- Generate livecoding drum patterns with magenta.js☆12Dec 9, 2022Updated 3 years ago
- ☆24Apr 2, 2021Updated 5 years ago
- Package bundling a few markdown-it plugins to approximate pandoc flavoured markdown☆18Mar 25, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Troopers Conference Supporting Materials☆12Apr 8, 2015Updated 11 years ago
- Multi-arch Docker images for Idris 2☆13Apr 7, 2026Updated last week
- Plots made Simple 📉☆32Jun 11, 2020Updated 5 years ago
- Algebraic Data Types for perl6, inspired by Haskell☆12Jan 15, 2020Updated 6 years ago
- Creatures Evolution☆12Feb 24, 2023Updated 3 years ago
- All and up-to-date tree-sitter grammars built for nix.☆15Feb 8, 2025Updated last year
- Haskell library dealing with vkontakte social network☆12May 6, 2019Updated 6 years ago
- A conda-smithy repository for polars.☆12Mar 22, 2026Updated 3 weeks ago
- Pandoc Interface and Types in Julia☆14Mar 16, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An English translation of a problem course ("Trivium") in undergraduate maths☆10Jan 25, 2023Updated 3 years ago
- Terminal feed aggregator and launcher for Youtube channels☆10Dec 20, 2023Updated 2 years ago
- ☆12Jul 18, 2022Updated 3 years ago
- linux kernel system call hooking☆18Dec 13, 2014Updated 11 years ago
- A Graphical Live Medium for Arch Linux☆19Jun 7, 2024Updated last year
- Go through the list of accepted papers for ICLR in terminal and add them to your reading list.☆13Jan 30, 2021Updated 5 years ago
- ☆15Sep 24, 2022Updated 3 years ago
- A Haskell library for building incremental static site generators☆14Nov 30, 2023Updated 2 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆31Sep 6, 2019Updated 6 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.
- Reinforcement learning approach to the prisoner's dilemma, based on Q learning☆13Dec 1, 2017Updated 8 years ago
- Markov-chain based text generator for Raku language. Generate superficially real-looking text.☆14Jan 14, 2023Updated 3 years ago
- Branch and prune interface for Julia☆16Feb 13, 2023Updated 3 years ago
- A repo full of scripts for running and reference.☆12Jan 18, 2023Updated 3 years ago
- Write ups☆16Dec 13, 2017Updated 8 years ago
- Configurator provides a GUI interface for your application, dynamically generated from a JSON file.☆18May 7, 2024Updated last year
- ☆12Jun 1, 2023Updated 2 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- A Plan 9-inspired way to share your OS X clipboard to multiple hosts.☆16Jan 9, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A tool to render a web page representation of a Non-Escalator Relationship Menu.☆11May 4, 2025Updated 11 months ago
- Scripts to call pandoc from within BBEdit and TextWrangler☆21Jul 28, 2019Updated 6 years ago
- Userscript for Bluesky that adds Vim-like navigation, read/unread post-tracking, and other features☆14Apr 6, 2026Updated last week
- HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)☆17Dec 9, 2020Updated 5 years ago
- ☆12Dec 31, 2023Updated 2 years ago
- Sources and Documentation for the HINT project☆12Mar 31, 2026Updated 2 weeks ago
- home of the marketing team #marketing:nixos.org☆15Apr 6, 2026Updated last week