Foundation for building semantically meaningful themes over emacs
☆14Jan 28, 2026Updated last month
Alternatives and similar repositories for emacs-semantics-theming
Users that are interested in emacs-semantics-theming are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 6 years ago
- ☆11Dec 3, 2020Updated 5 years ago
- Incrementally persists atom state to Local Storage in ClojureScript☆30Dec 11, 2014Updated 11 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Overloaded plugin☆31Jun 15, 2024Updated last year
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Dec 13, 2018Updated 7 years ago
- Regular expression matching of Haskell types☆13Apr 2, 2016Updated 9 years ago
- My GitHub blog☆14Mar 30, 2021Updated 4 years ago
- Vivid themes for Emacs.☆18Feb 15, 2026Updated last month
- Algebraic data types for python☆21Feb 10, 2017Updated 9 years ago
- Monochrome emacs☆23May 4, 2020Updated 5 years ago
- Serialize ngraph.graph to binary format☆10Oct 9, 2025Updated 5 months ago
- Data for the DiMSUM shared task at SEMEVAL 2016☆14Feb 8, 2016Updated 10 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- deprecated by `design-tools`☆17Dec 5, 2018Updated 7 years ago
- Arty FPGA board starter project☆12Sep 13, 2022Updated 3 years ago
- X-SRL Dataset. Including the code for the SRL annotation projection tool and an out-of-the-box word alignment tool based on Multilingual …☆15Apr 22, 2021Updated 4 years ago
- SMiLER - Samsung MultiLingual Entity and Relation Extraction dataset☆18Feb 11, 2021Updated 5 years ago
- A monadic interface for DAG construction.☆24May 11, 2021Updated 4 years ago
- Low-level Rust interface to the CUPS printing library.☆13Jul 15, 2022Updated 3 years ago
- My only agenda is to be more elegant.☆56May 10, 2022Updated 3 years ago
- ☆15Feb 10, 2015Updated 11 years ago
- 📤 defer instance resolution until runtime☆18Sep 23, 2019Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- The repository for the paper "When Do You Need Billions of Words of Pretraining Data?"☆21Nov 10, 2020Updated 5 years ago
- A script to import Exchange ics calendars into Emacs Org Mode☆24Mar 27, 2021Updated 4 years ago
- org-mode + babashka literate program example☆26Jul 16, 2021Updated 4 years ago
- ARM11 group project; Atanas G., Norbert P., Daniel Z., Levente K.: MARIO KART☆13Mar 9, 2019Updated 7 years ago
- This repository houses the IMPlicature and PRESupposition diagnostic dataset (IMPPRES), consisting of >25k semiautomatically generated se…☆19Sep 15, 2021Updated 4 years ago
- POSIX sh formatter and client for tldr pages☆12Dec 27, 2022Updated 3 years ago
- doom☆17Mar 8, 2016Updated 10 years ago
- Surgery for generic data types☆25Jan 25, 2021Updated 5 years ago
- Lens interface for your filesystem☆22Dec 21, 2020Updated 5 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- A hexchat-like activity overview for ERC channels☆11Sep 7, 2020Updated 5 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆22Oct 28, 2019Updated 6 years ago
- paredit-like commands for C-like languages☆24Aug 16, 2020Updated 5 years ago
- ☆24May 22, 2020Updated 5 years ago
- Various config files for Linux systems.☆12Nov 26, 2025Updated 4 months ago
- categories from category-extras☆34Oct 9, 2019Updated 6 years ago
- Utilities for working with keymaps in Emacs☆12May 8, 2020Updated 5 years ago