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

☆14Aug 3, 2023Updated 2 years ago

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.
  ☆22Mar 1, 2025Updated last year
• rippletideco / rippletide

  View on GitHub
  📖 The starter kit for using Rippletide
  ☆73Apr 2, 2026Updated last 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 7 months ago
• rohithpeddi / SceneSayer

  View on GitHub
  [ECCV 2024 (Oral)] Towards Scene Graph Anticipation
  ☆19Mar 10, 2026Updated last month
• Serverless GPU API endpoints on Runpod - Bonus Credits • Ad
  Skip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
• 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 11 months ago
• xxspell / IP-change-openwrt

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

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

  View on GitHub
  Build decentralized event-driven applications.
  ☆28Apr 7, 2026Updated last week
• JonasHoefer / scoped-effects-agda

  View on GitHub
  An implementation of scoped algebraic effects and handlers in Agda.
  ☆14Mar 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…
  ☆14May 16, 2022Updated 3 years ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• DrexHD / VanillaPermissions

  View on GitHub
  This fabric mod adds permission checks into vanilla, to allow for full permission customization.
  ☆36Mar 25, 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
  ☆17Dec 22, 2025Updated 3 months ago
• BenFradet / vscode-unison

  View on GitHub
  Unison syntax highlighting for VS code
  ☆10Jul 13, 2022Updated 3 years 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
  ☆46Oct 16, 2025Updated 6 months ago
• shygoo / ys-project

  View on GitHub
  Hacking tools and notes for Yoshi's Story
  ☆15Apr 30, 2019Updated 6 years ago
• TakedaHiromasa / HelloWorld-PC98

  View on GitHub
  OSなしで動くPC98ハローワールドです。(解説付き)
  ☆13Jul 20, 2020Updated 5 years ago
• Wordpress hosting with auto-scaling - Free Trial • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• agda / agda-finite-prover

  View on GitHub
  Library for proving propositions quantified over finite sets
  ☆14Sep 21, 2022Updated 3 years ago
• apache / spark-connect-rust

  View on GitHub
  Apache Spark Connect for Rust
  ☆28Feb 13, 2026Updated 2 months 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
  ☆23Jun 16, 2020Updated 5 years ago
• enajx / HyperNCA

  View on GitHub
  ☆41Apr 27, 2022Updated 3 years ago
• opencompl / xdsl-smt

  View on GitHub
  The implementation of an SMTLib dialect for xDSL
  ☆17Apr 8, 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
  ☆20May 15, 2021Updated 4 years ago
• viniciusfonseca / rinha-backend-rust-2

  View on GitHub
  ☆12Mar 9, 2024Updated 2 years ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• Caskexe / DX

  View on GitHub
  Yamaha DX7 Synth and related presets available as Soundbanks
  ☆19Sep 2, 2024Updated last year
• bmzhao / kissmanga-downloader

  View on GitHub
  Download manga from kissmanga (which usually has good translations)
  ☆29Sep 1, 2022Updated 3 years ago
• opencompl / sail-riscv-lean

  View on GitHub
  ☆28Updated 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.
  ☆20Aug 5, 2025Updated 8 months ago
• jespercockx / scope

  View on GitHub
  An agda2hs-compatible library for well-scoped syntax
  ☆11Nov 6, 2025Updated 5 months ago
• 77axel / PyCNN

  View on GitHub
  A Python library to easily build, train, and test your CNN AI models.
  ☆21Jan 16, 2026Updated 3 months ago