a condensed pixel font built on 6x13 ("fixed")
☆20Jul 8, 2017Updated 8 years ago
Alternatives and similar repositories for 5x13
Users that are interested in 5x13 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Javascript port of Chuck Moore's colorForth☆10Jan 7, 2020Updated 6 years ago
- desktop pager for X11☆13Jan 7, 2025Updated last year
- A command line tap tempo. Hit enter key with style and you'll get the BPM.☆12Jun 7, 2018Updated 7 years ago
- ☆22Oct 12, 2024Updated last year
- Synchronize work-in-progress git branches in a light weight fashion☆23May 12, 2026Updated 2 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Shell-based launcher☆41Dec 25, 2018Updated 7 years ago
- web browser and html rendering engine for embedded devices☆12Oct 13, 2015Updated 10 years ago
- ☆17Jan 3, 2025Updated last year
- ☆19Jul 14, 2022Updated 3 years ago
- description of leahutils☆74Aug 22, 2025Updated 9 months ago
- 🌈Make your debug life a little bit more colorful☆10Jan 2, 2020Updated 6 years ago
- a 7x15 pixel font inspired by Codec and Quadraat Sans Mono☆38Feb 14, 2016Updated 10 years ago
- A well typed by construction kernel language for bidirectional programming☆14Jan 2, 2025Updated last year
- My Agda stuff☆13May 23, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- My own personal collection of configfiles. ⚠️ Copy bits and pieces at your own risk. ⚠️ Might be broken or break your computer. You have …☆44May 2, 2026Updated 3 weeks ago
- PoC of Swift for Compute@Edge☆12Feb 3, 2022Updated 4 years ago
- A functional programming language. Like LISP but focused around maps rather than lists.☆12Jun 12, 2019Updated 6 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- A readline and libedit replacement that supports UTF-8, syntax highlighting, hints and Windows and is BSD licensed.☆12May 22, 2026Updated last week
- Forth interpreter and compiler - a standard, portable, optimized Forth☆35Aug 26, 2025Updated 9 months ago
- A theme for Emacs with few colors☆20Sep 12, 2021Updated 4 years ago
- A data serialization format☆15Oct 29, 2022Updated 3 years ago
- Interact with ComfyUI directly within your code editor.☆17Jan 5, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Regionalized Value State Dependence Graph written in Rust☆11Nov 17, 2019Updated 6 years ago
- list files, recursively☆164Sep 6, 2025Updated 8 months ago
- 🧪 | Lisp with REPL and macros which will compile itself☆13Dec 4, 2024Updated last year
- GOV.UK Pay Admin Console Users service☆13May 22, 2026Updated last week
- Python beautifier tcp server based on autopep8, yapf, isort☆10Jun 11, 2021Updated 4 years ago
- Minimal forensic/exfiltration/evil-maid/rescue live boot system☆12Feb 28, 2020Updated 6 years ago
- Rewrite your HTML/JS/CSS (and sourceMap!) files with SHA-512 content hashes☆12Mar 5, 2023Updated 3 years ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- A pretty, legible 6x12, 8/9x14, 8/9x16, 9x18, 12x24 bitmap font with over 1700 glyphs. Perfect for terminals and text editors.☆44Oct 3, 2018Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Linear Types, Symmetric Monoidal Categories, and Tensors☆13Oct 14, 2025Updated 7 months ago
- Ansible role to harden darwin/macos system☆10Apr 5, 2026Updated last month
- A Lean 4 package for heavy numerical computations☆20Jan 16, 2022Updated 4 years ago
- METAR reports are meteorogical weather reports for aviation. Metar is a small program which downloads weather reports for user-specified …☆13Sep 11, 2019Updated 6 years ago
- Software synthesizer and sequencer programming language☆56Jan 23, 2018Updated 8 years ago
- phlegyas: an implementation of 9P2000 in Clojure.☆15Jun 5, 2023Updated 2 years ago
- A thread-safe version of tkinter☆15Sep 28, 2014Updated 11 years ago