a condensed pixel font built on 6x13 ("fixed")
☆20Jul 8, 2017Updated 9 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:
- (re)arrange and select fields on each line☆12Sep 15, 2025Updated last year
- Shoes-dependent, YAML-driven interactive fiction framework for fashion adventures☆19Mar 2, 2014Updated 12 years ago
- Javascript port of Chuck Moore's colorForth☆10Jan 7, 2020Updated 6 years ago
- a 7x15 pixel font inspired by Codec and Quadraat Sans Mono☆39Feb 14, 2016Updated 10 years ago
- A utility for embedded Linux systems for writing JPEG images directly to the framebuffer☆18Jan 31, 2023Updated 3 years 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.
- A command line tap tempo. Hit enter key with style and you'll get the BPM.☆12Jun 7, 2018Updated 8 years ago
- ☆23Oct 12, 2024Updated 2 years ago
- list files, recursively☆167Sep 6, 2025Updated last year
- VoidLinux XBPS primitive wrapper with bash-completion☆10Feb 2, 2020Updated 6 years ago
- 328eForth for Arduino with mods for coinForth☆25Oct 26, 2015Updated 11 years ago
- Type Theory in Type Theory using Cubical Agda☆15Feb 21, 2019Updated 7 years ago
- An efficient, portable and secure general-purpose virtual machine and virtual network using libable☆28Jun 3, 2026Updated 4 months ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 6 years ago
- Easily compare SHA/BLAKE2 sums.☆13May 25, 2022Updated 4 years ago
- 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.
- Power-calibrate calibrates the power consumption of a mobile device that has a battery power source. It will attempt to calculate the pow…☆13Jan 1, 2025Updated last year
- 🌈Make your debug life a little bit more colorful☆10Jan 2, 2020Updated 6 years ago
- Minimal forensic/exfiltration/evil-maid/rescue live boot system☆12Feb 28, 2020Updated 6 years ago
- A single file implementation of a non-standard Forth written in the FIG style☆30Feb 5, 2020Updated 6 years ago
- An English translation of Deligne's three "Hodge theory" papers☆15Sep 21, 2026Updated last month
- Internal administrative tools service for GOV.UK Pay products.☆11Updated this week
- Forth interpreter and compiler - a standard, portable, optimized Forth☆38Aug 26, 2025Updated last year
- OSMesa source code and cargo build scripts to compile on Linux and Mac☆13Mar 20, 2024Updated 2 years ago
- A well typed by construction kernel language for bidirectional programming☆14Jan 2, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- My Agda/Mikan stuff☆13Aug 29, 2026Updated last month
- My own personal collection of configfiles. ⚠️ Copy bits and pieces at your own risk. ⚠️ Might be broken or break your computer. You have …☆48Oct 11, 2026Updated 2 weeks ago
- a lib☆11Oct 16, 2025Updated last year
- A functional programming language. Like LISP but focused around maps rather than lists.☆12Jun 12, 2019Updated 7 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- description of leahutils☆82Aug 22, 2025Updated last year
- PoC of Swift for Compute@Edge☆12Feb 3, 2022Updated 4 years ago
- 🌎 Service aware network state plugin☆20May 15, 2021Updated 5 years ago
- Macros for Humans☆12Oct 5, 2021Updated 5 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Emacs minor mode to display whitespace characters efficiently☆16Jun 26, 2022Updated 4 years ago
- Xilinx VHDL project to drive a Mac Classic CRT☆14Oct 17, 2014Updated 12 years ago
- Front end for tracking OSRS clients (Data received from backend, and backend receives data from runelite plugin)☆12Mar 2, 2023Updated 3 years ago
- A data serialization format☆15Oct 29, 2022Updated 3 years ago
- Design Files for the SparkFun SHOVEL☆12Jun 27, 2025Updated last year
- A binary encoder / decoder implementation in Rust. (Forked from the now-defunct bincode)☆12Nov 2, 2020Updated 5 years ago
- Repository used for my master's thesis on implementing RVSDG as a dialect of MLIR☆14May 30, 2023Updated 3 years ago