☆18Oct 9, 2011Updated 14 years ago
Alternatives and similar repositories for auc-tikz
Users that are interested in auc-tikz are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Conveniently use the Kibit Leiningen plugin from Emacs☆13May 8, 2015Updated 11 years ago
- Jump to and correct spelling errors using ace-jump-mode and flyspell☆13Mar 9, 2017Updated 9 years ago
- ☆12Dec 1, 2023Updated 2 years ago
- Emacs minor mode for highlighting HTML start and end tags☆13Oct 8, 2021Updated 4 years ago
- 📔 Simple command-line tool and Emacs package for managing diary entries.☆18Apr 24, 2023Updated 3 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.
- ☆11Jan 20, 2020Updated 6 years ago
- Major mode for editing and executing AppleScript code☆13Mar 6, 2021Updated 5 years ago
- A curriculum designed to help teach robotics with mbots to highschool kids☆12Apr 22, 2016Updated 10 years ago
- Writes files atomically in Haskell while preserving permissions☆19May 18, 2026Updated 4 months ago
- Parser and type analysis for the Go programming language☆12Apr 3, 2026Updated 5 months ago
- Homebrew formula to install [ccls](https://github.com/MaskRay/ccls)☆16Aug 3, 2019Updated 7 years ago
- 📚 Understand, don't memorize.☆17Jun 12, 2026Updated 3 months ago
- The LLVM Symbolic Simulator, part of SAW.☆22Jul 17, 2020Updated 6 years ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Sep 20, 2021Updated 5 years ago
- 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.
- 🔑 Pass extension for creating symbolic links.☆16Nov 22, 2025Updated 10 months ago
- Force Emacs Langtool to ignore certain fonts. For example, this can be used to prevent langtool from highlighting LaTeX in math-mode.☆12May 31, 2021Updated 5 years ago
- Create complex but readable skip-functions for org-agenda☆58Jan 29, 2018Updated 8 years ago
- ☆11Sep 19, 2017Updated 9 years ago
- Expands type synonyms in Template Haskell ASTs☆11Jan 10, 2026Updated 8 months ago
- org-link support for pdf-view-mode☆30Aug 8, 2019Updated 7 years ago
- 🤦 Automatic balance transfer for Venmo. This should not need to exist.☆14Apr 20, 2026Updated 5 months ago
- Add a hspec test-suite in one command☆10Aug 22, 2016Updated 10 years ago
- Achievements for emacs!☆17Oct 28, 2016Updated 9 years ago
- 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.
- Mirror of https://git.tecosaur.net/tec/ox-pluto☆19Jan 4, 2024Updated 2 years ago
- Framework for rapid development of Ansible modules in Haskell programming language.☆14Aug 20, 2022Updated 4 years ago
- my urxvt scripts☆17Jun 26, 2020Updated 6 years ago
- making cursorless & emacs talk to each other?☆19Nov 12, 2025Updated 10 months ago
- Haskell bindings to Apache Arrow☆12Aug 21, 2018Updated 8 years ago
- Integers bounded by a closed interval☆14Sep 15, 2026Updated last week
- Display the status of C++ feature flags☆20Jun 6, 2023Updated 3 years ago
- PostgreSQL Schema is a database migration tool.☆13Apr 5, 2018Updated 8 years ago
- An Emacs Org-Mode implementation of Joel Spolsky's Evidence-Based Scheduling (https://www.joelonsoftware.com/2007/10/26/evidence-based-sc…☆16Feb 27, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Has .vimrc, .zshrc configurations☆14Oct 18, 2021Updated 4 years ago
- Commit patches to Darcs, Git, Mercurial, Bazaar, Monotone, Subversion, or CVS☆21Jan 29, 2024Updated 2 years ago
- ☆13Aug 16, 2020Updated 6 years ago
- A research platform and active library for generalised SAT solving☆33Jun 12, 2025Updated last year
- Communicable Elisp☆24Jan 1, 2026Updated 8 months ago
- A Collection of High Performance Parallel Skeletons for Tree Search Problems☆22Jul 15, 2026Updated 2 months ago
- Haskell pretty printing library supporting indentation, mixfix operators, and automatic line breaks.☆14Jan 26, 2017Updated 9 years ago