hasklig-mode.el - Hasklig ligatures for emacs
☆42Jan 1, 2026Updated 6 months ago
Alternatives and similar repositories for hasklig-mode
Users that are interested in hasklig-mode are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Access to Google services from Common Lisp☆15Nov 18, 2017Updated 8 years ago
- Company-mode completion back-end for haskell-cabal-mode☆14Sep 17, 2017Updated 8 years ago
- Setting up GHC, cabal, stack on for Haskell-related CIs☆90Updated this week
- A repo for my nixos configuration files☆21Updated this week
- QML UI for kakoune☆15Aug 18, 2025Updated 11 months 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.
- Fold input + output blocks in Emacs comint shells☆11Oct 8, 2025Updated 9 months ago
- ☆10Dec 16, 2020Updated 5 years ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆58Jul 8, 2026Updated 2 weeks ago
- 4th Year MSci Dissertation☆11Oct 3, 2022Updated 3 years ago
- nixos based linux operating system for software development☆25Nov 13, 2022Updated 3 years ago
- Show completions buffer in child frame☆13Sep 13, 2022Updated 3 years ago
- A mimic of Select2 in Elm☆17Dec 9, 2022Updated 3 years ago
- Persist Emacs Tabs as Bookmarks☆31Mar 22, 2026Updated 4 months ago
- A visual zap-to-char command for emacs☆46Jan 5, 2026Updated 6 months 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.
- Racket-style higher-order contracts for Emacs Lisp☆16Jun 20, 2021Updated 5 years ago
- Formalization of category theory in Agda☆17Feb 20, 2023Updated 3 years ago
- magit-like emacs mode for dolt☆15May 13, 2026Updated 2 months ago
- Siag Office consists of the word processor Pathetic Writer, the spreadsheet Siag and the animation program Egon Animator.☆25Oct 6, 2015Updated 10 years ago
- port of the Eclipse theme Obsidian☆15Jul 19, 2017Updated 9 years ago
- Finds optimal code sequences for stack transformations☆26Feb 21, 2019Updated 7 years ago
- Counsel (Ivy) interface for org-clock☆45Mar 6, 2022Updated 4 years ago
- Cabal-fmt vim plugin for formatting Cabal package files☆15Jun 30, 2020Updated 6 years ago
- An automated showcase of Emacs themes available on MELPA.org☆31Jan 19, 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.
- 💡 The easy way to clean up your Emacs mode lighters.☆63May 9, 2022Updated 4 years ago
- ☆27Mar 25, 2025Updated last year
- An Oberon-07 compiler written in Oberon, with a bootstrap Oberon to C transpiler☆26Jul 1, 2026Updated 3 weeks ago
- An emacs library to create SVG icons on the fly☆95Jun 25, 2024Updated 2 years ago
- Smoke animation using html and css.☆11Apr 8, 2023Updated 3 years ago
- Collection of dotfiles for my NixOS machine☆14Jul 29, 2019Updated 6 years ago
- Go bindings for the Jupyter protocol☆10Jan 8, 2024Updated 2 years ago
- Consult extension for project.el☆74Apr 28, 2026Updated 2 months ago
- Helpers to test WAI applications with Hspec☆68Jul 15, 2026Updated last week
- 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.
- A Vale-compatible implementation of the Joblint linter☆14Nov 21, 2024Updated last year
- 📺 The power of Haskell in your terminal!☆45Jun 9, 2026Updated last month
- Insert Unicode math symbols in Emacs☆16Jun 1, 2026Updated last month
- A comprehensive port of the classic Twilight coding theme☆18Oct 7, 2020Updated 5 years ago
- An Awesome MCP Server Framework for Haskell☆49Jun 26, 2026Updated last month
- Refactor Haskell source files☆159Jan 29, 2025Updated last year
- The same, much faster.☆23May 26, 2018Updated 8 years ago