rexim/focus external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

rexim/focus

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/rexim/focus)

Close

rexim / focusView on GitHubMore

• External links
• Readme badge

A simple and fast text editor

☆14Jun 3, 2026Updated last week

Alternatives and similar repositories for focus

Users that are interested in focus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• rexim / gf

  View on GitHub
  A GDB frontend for Linux.
  ☆23Mar 1, 2025Updated last year
• rippletideco / rippletide

  View on GitHub
  📖 The starter kit for using Rippletide
  ☆82Updated this week
• rwstauner / Text-VimColor

  View on GitHub
  Syntax highlight text using Vim
  ☆17Dec 28, 2018Updated 7 years ago
• NeoCogi / pfds

  View on GitHub
  ☆20Aug 30, 2025Updated 9 months ago
• rohithpeddi / SceneSayer

  View on GitHub
  [ECCV 2024 (Oral)] Towards Scene Graph Anticipation
  ☆19May 12, 2026Updated last month
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• abesto / clox-rs

  View on GitHub
  Following along the second (C) part of https://craftinginterpreters.com/, but with Rust, because reasons.
  ☆22Dec 11, 2022Updated 3 years ago
• submitaitools / awesome-3d-ai-tools

  View on GitHub
  A curated list of awesome AI tools for generating and manipulating 3D models using text, images, or AI-enhanced modeling engines.
  ☆14Apr 19, 2025Updated last year
• xxspell / IP-change-openwrt

  View on GitHub
  Dynamic IP address change by click for router on openwrt firmware
  ☆21Apr 22, 2025Updated last year
• cedille / cedille2

  View on GitHub
  ☆17Jan 3, 2025Updated last year
• Lay3rLabs / WAVS

  View on GitHub
  Build decentralized event-driven applications.
  ☆28May 27, 2026Updated 2 weeks ago
• JonasHoefer / scoped-effects-agda

  View on GitHub
  An implementation of scoped algebraic effects and handlers in Agda.
  ☆17Mar 11, 2021Updated 5 years ago
• MaddTheSane / nh3d_OSX

  View on GitHub
  Nethack 3D for OS X
  ☆13Apr 1, 2024Updated 2 years ago
• masonliiu / masonliiu

  View on GitHub
  README.md
  ☆20Updated this week
• gbdev / gbcompo21

  View on GitHub
  An OG gbdev game jam! Create original games, demos or homebrews for the original Game Boy (Color) and compete for glory (and a lot of pri…
  ☆15May 16, 2022Updated 4 years ago
• Bare Metal GPUs on DigitalOcean Gradient AI • Ad
  Purpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
• DrexHD / VanillaPermissions

  View on GitHub
  This fabric mod adds permission checks into vanilla, to allow for full permission customization.
  ☆36May 18, 2026Updated 3 weeks ago
• LAC1213 / compact_unit_ball

  View on GitHub
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Dec 7, 2019Updated 6 years ago
• Mathias-Fuchs / ed-with-syntax-highlighting

  View on GitHub
  ed fork with simple C/C++ syntax highlighting on the linux console, using GNU source-highlight
  ☆13Aug 2, 2022Updated 3 years ago
• tsloughter / OpaDo

  View on GitHub
  Opa port of the TodoMVC app
  ☆24Mar 11, 2012Updated 14 years ago
• maksimKorzh / vici

  View on GitHub
  Minimalist cross-platform terminal based text editor
  ☆18Dec 22, 2025Updated 5 months ago
• universal-tool-calling-protocol / utcp-agent

  View on GitHub
  Ready-to-use agent that can interact directly with any tool or native endpoint, in less than 5 lines of code
  ☆50Oct 16, 2025Updated 7 months ago
• BenFradet / vscode-unison

  View on GitHub
  Unison syntax highlighting for VS code
  ☆10Jul 13, 2022Updated 3 years ago
• shygoo / ys-project

  View on GitHub
  Hacking tools and notes for Yoshi's Story
  ☆15Apr 30, 2019Updated 7 years ago
• akitaonrails / qmk_firmware

  View on GitHub
  fork for my own keymaps
  ☆10Jul 26, 2024Updated last year
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• TakedaHiromasa / HelloWorld-PC98

  View on GitHub
  OSなしで動くPC98ハローワールドです。(解説付き)
  ☆13Jul 20, 2020Updated 5 years ago
• agda / agda-finite-prover

  View on GitHub
  Library for proving propositions quantified over finite sets
  ☆14Sep 21, 2022Updated 3 years ago
• elliotwaite / jetbrains-godot-theme

  View on GitHub
  Godot Theme for JetBrains IDEs (PyCharm, IntelliJ, etc.)
  ☆16Nov 28, 2023Updated 2 years ago
• codereport / Advent-of-Code-2021

  View on GitHub
  Solutions to Advent of Code 2021 in APL
  ☆11Dec 1, 2022Updated 3 years ago
• boyland / twelf-library

  View on GitHub
  Library classes for the Twelf Proof System
  ☆22Jun 16, 2020Updated 6 years ago
• enajx / HyperNCA

  View on GitHub
  ☆41Apr 27, 2022Updated 4 years ago
• apache / spark-connect-rust

  View on GitHub
  Apache Spark Connect for Rust
  ☆32May 26, 2026Updated 3 weeks ago
• opencompl / xdsl-smt

  View on GitHub
  The implementation of an SMTLib dialect for xDSL
  ☆18Apr 16, 2026Updated last month
• bmzhao / kissmanga-downloader

  View on GitHub
  Download manga from kissmanga (which usually has good translations)
  ☆29Sep 1, 2022Updated 3 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• Caskexe / DX

  View on GitHub
  Yamaha DX7 Synth and related presets available as Soundbanks
  ☆24Sep 2, 2024Updated last year
• viniciusfonseca / rinha-backend-rust-2

  View on GitHub
  ☆12Mar 9, 2024Updated 2 years ago
• opencompl / sail-riscv-lean

  View on GitHub
  ☆32Updated this week
• 77axel / NetDisco

  View on GitHub
  Find devices connected to the same wifi that your pc connected to
  ☆13Jun 28, 2024Updated last year
• agda / agda-stdlib-meta

  View on GitHub
  Meta-programming utilities for Agda.
  ☆20Jun 5, 2026Updated last week
• drojaazu / pc98_disks_in_linux

  View on GitHub
  Notes relating to using PC9801/9821 (and possibly other retro PC system) disks in Linux
  ☆21May 15, 2021Updated 5 years ago
• jespercockx / scope

  View on GitHub
  An agda2hs-compatible library for well-scoped syntax
  ☆11Apr 15, 2026Updated 2 months ago