Teggy / APL-PragmataPro-keyboardView external linksLinks
A 87-key keyboard layout with APL symbols, uses the PragmataPro font for the key caps
☆28Aug 11, 2019Updated 6 years ago
Alternatives and similar repositories for APL-PragmataPro-keyboard
Users that are interested in APL-PragmataPro-keyboard are comparing it to the libraries listed below
Sorting:
- Semiotics of all the symbols and signs of Pragmata Pro typeface☆24Jan 18, 2026Updated 3 weeks ago
- Find locally installed executables by npm, composer, gem, pip, stack, ...☆12May 23, 2022Updated 3 years ago
- An implementation of (some fragment of) cubical type theory using rewrite rules, based on a talk given by Conor McBride at the 23rd Agda'…☆12Aug 5, 2016Updated 9 years ago
- An emacs lisp framework to help organize emacs-lisp commands and code templates into a hierarchy of keymaps, and to facilitate installing…☆15Sep 6, 2023Updated 2 years ago
- ☆14Jan 31, 2021Updated 5 years ago
- Live preview by any shell command while editing☆15Dec 15, 2023Updated 2 years ago
- Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees☆15Jul 21, 2017Updated 8 years ago
- Idle color animations in Emacs☆13Nov 29, 2024Updated last year
- secret project☆17Mar 14, 2018Updated 7 years ago
- Show indentation information in status bar☆22Nov 8, 2021Updated 4 years ago
- An emacs daemon pool for fast emacs startups, written in Rust.☆26Feb 3, 2026Updated last week
- ☆33Updated this week
- Rebranding Version☆12Jan 22, 2024Updated 2 years ago
- DELL XPS15 9550 11.0 黑苹果 配置☆10Dec 11, 2020Updated 5 years ago
- ☆10Dec 4, 2019Updated 6 years ago
- Template for a (PhD) thesis☆10Nov 5, 2025Updated 3 months ago
- Program with Personal Notation☆36Jul 8, 2019Updated 6 years ago
- Conway's game of life in 100 lines or less!☆35Aug 10, 2017Updated 8 years ago
- [SEMI-DEPRECATED] Radiobutton for org-mode lists.☆32Jan 4, 2022Updated 4 years ago
- Provides a simple interface to evaluating Emacs Lisp expressions but without contaminating current Emacs.☆34Jun 12, 2022Updated 3 years ago
- This is the basic subset of the glyph info that is used inside Glyphs.app.☆41May 25, 2025Updated 8 months ago
- Selects VGA from LINUX or EFI!☆11Feb 17, 2020Updated 5 years ago
- ☆11Oct 27, 2018Updated 7 years ago
- Storybook for Angular Material. (Based on https://github.com/amcdnl/material-storybook)☆15Jun 15, 2023Updated 2 years ago
- VS Code extension that recommends using the Windows Subsystem for Linux (WSL) and the Remote WSL extension.☆11Feb 7, 2026Updated last week
- Prototype for method of cloning orgmore headers☆36Jun 28, 2021Updated 4 years ago
- A work in progress. Move along, or try out the proof of concept and let me know how badly things broke!☆19Updated this week
- The multimode presheaf proof-assistant☆37Jan 23, 2026Updated 3 weeks ago
- A simple GUI for Agda☆31Dec 13, 2015Updated 10 years ago
- An Emacs major mode for managing launchd jobs☆14Jun 11, 2021Updated 4 years ago
- ☆12Feb 4, 2022Updated 4 years ago
- Org-babel support for blockdiag☆11Apr 25, 2021Updated 4 years ago
- Visual testing for HTML canvas drawing☆12Updated this week
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- Barebones Minecraft server in Rust☆21Oct 7, 2014Updated 11 years ago
- Official Java SDK for Momento Serverless Cache☆13Feb 5, 2026Updated last week
- IDA plugin to Display Mach-O headers☆21Nov 4, 2011Updated 14 years ago
- A very powerful keyboard layout for Windows, tailored for efficient and convenient output of international alphabetical languages and sc…☆14Feb 13, 2025Updated last year
- Telegram Bot in Node.JS, using Telegraf, for searching torrents at Rutracker and add them to your Transmission web service☆11Dec 2, 2022Updated 3 years ago