Easy typing of Unicode symbols in Emacs, tailored for Haskell sources
☆14Sep 5, 2011Updated 14 years ago
Alternatives and similar repositories for emacs-haskell-unicode-input-method
Users that are interested in emacs-haskell-unicode-input-method are comparing it to the libraries listed below
Sorting:
- Unicode alternatives for common functions and operators☆36Nov 16, 2021Updated 4 years ago
- Property-based Testing package for Odin language☆10Nov 11, 2024Updated last year
- Python Data Audit☆12Jul 24, 2020Updated 5 years ago
- CodFS: An Erasure-Coded Clustered Storage System for Efficient Updates and Recovery☆10Mar 31, 2015Updated 10 years ago
- Unofficial reference documentation for ATS programming language libraries☆15Jun 27, 2012Updated 13 years ago
- Editor for normalising learner texts (error annotation and tagging.)☆10Sep 4, 2025Updated 6 months ago
- Expands type synonyms in Template Haskell ASTs☆11Jan 10, 2026Updated last month
- ☆14Apr 2, 2024Updated last year
- CoqIDE-like experience for kakoune☆10Nov 8, 2022Updated 3 years ago
- Reactive memoization for Emacs Lisp.☆11Feb 17, 2022Updated 4 years ago
- ☆11Feb 1, 2026Updated last month
- Library for proving propositions quantified over finite sets☆14Sep 21, 2022Updated 3 years ago
- Examples showing mechanisms of `Maybe` monad and `do-notation`.☆14Jun 29, 2023Updated 2 years ago
- ☆11May 17, 2019Updated 6 years ago
- reproducible dev+test+production environments for java+javascript+clojure(script)☆13Feb 2, 2021Updated 5 years ago
- Concurrent and efficient implementation of statsd in Haskell☆19Feb 12, 2014Updated 12 years ago
- DEPRECATED (Cloud Haskell Platform) in favor of distributed-process-extras, distributed-process-async, distributed-process-client-server,…☆46Nov 4, 2015Updated 10 years ago
- The comparison of the performance of different machine learning methods for computer security problems☆10May 19, 2024Updated last year
- Automatic indentation mode for Emacs☆11Jan 12, 2026Updated last month
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Jan 15, 2026Updated last month
- My personal cheat sheets☆12Jan 9, 2026Updated last month
- Foreign variables, deprecated in favor of `StateVar`☆11May 1, 2019Updated 6 years ago
- Official Repo for "Multi-objective Differentiable Neural Architecture Search"☆15Jul 12, 2024Updated last year
- Generic feed adding social features to current applications.☆12Apr 30, 2018Updated 7 years ago
- Parser of ssh public and private keys☆12Apr 7, 2020Updated 5 years ago
- Algorand Implementation☆11Oct 3, 2017Updated 8 years ago
- Simple Testing With Emacs & ERT☆19Dec 14, 2014Updated 11 years ago
- Show the output of long-running commands in the emacs echo area☆10Dec 3, 2016Updated 9 years ago
- Python and Scala APIs for enhanced Spark analytics☆12Mar 15, 2017Updated 8 years ago
- Org-babel support for blockdiag☆11Apr 25, 2021Updated 4 years ago
- Haskell driver for ClickHouse☆10Jun 15, 2021Updated 4 years ago
- Overlay with VapourSynth plugins packaged for Nix☆15Jul 4, 2024Updated last year
- IPython/Jupiter kernel for Racket and Gamble.☆10May 1, 2018Updated 7 years ago
- Union mount in Haskell, with fsnotify☆12Dec 23, 2025Updated 2 months ago
- Nix Packages for Erlang, Elixir☆10Jul 9, 2021Updated 4 years ago
- Compute Emacs Lisp object sizes.☆10Jan 25, 2014Updated 12 years ago
- Run the kakoune text editor in your browser!☆10Jan 6, 2023Updated 3 years ago
- Fold input + output blocks in Emacs comint shells☆11Oct 8, 2025Updated 4 months ago
- HTTP request lib for Emacs built on curl with flexible callback dispatch☆14Mar 17, 2025Updated 11 months ago