A simple and fast text editor
β14Jun 3, 2026Updated last month
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.
Sorting:
- A GDB frontend for Linux.β23Mar 1, 2025Updated last year
- π The starter kit for using Rippletideβ85Jun 23, 2026Updated last week
- Syntax highlight text using Vimβ17Dec 28, 2018Updated 7 years ago
- β20Aug 30, 2025Updated 10 months ago
- [ECCV 2024 (Oral)] Towards Scene Graph Anticipationβ19Jun 17, 2026Updated 2 weeks ago
- Managed Database hosting by DigitalOcean β’ AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Following along the second (C) part of https://craftinginterpreters.com/, but with Rust, because reasons.β22Dec 11, 2022Updated 3 years ago
- 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
- Dynamic IP address change by click for router on openwrt firmwareβ21Apr 22, 2025Updated last year
- β16Jan 3, 2025Updated last year
- Build decentralized event-driven applications.β28May 27, 2026Updated last month
- An implementation of scoped algebraic effects and handlers in Agda.β17Mar 11, 2021Updated 5 years ago
- Nethack 3D for OS Xβ13Apr 1, 2024Updated 2 years ago
- README.mdβ20Jun 25, 2026Updated last week
- 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
- Managed Kubernetes at scale on DigitalOcean β’ AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- This fabric mod adds permission checks into vanilla, to allow for full permission customization.β36Jun 16, 2026Updated 2 weeks ago
- Lean proof that a normed vector space with compact unit ball is finite dimensionalβ11Dec 7, 2019Updated 6 years ago
- ed fork with simple C/C++ syntax highlighting on the linux console, using GNU source-highlightβ13Aug 2, 2022Updated 3 years ago
- Opa port of the TodoMVC appβ24Mar 11, 2012Updated 14 years ago
- Ready-to-use agent that can interact directly with any tool or native endpoint, in less than 5 lines of codeβ50Oct 16, 2025Updated 8 months ago
- Minimalist cross-platform terminal based text editorβ19Dec 22, 2025Updated 6 months ago
- Unison syntax highlighting for VS codeβ10Jul 13, 2022Updated 3 years ago
- Hacking tools and notes for Yoshi's Storyβ15Apr 30, 2019Updated 7 years ago
- fork for my own keymapsβ10Jul 26, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI β’ AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- OSγͺγγ§εγPC98γγγΌγ―γΌγ«γγ§γγ(解θͺ¬δ»γ)β13Jul 20, 2020Updated 5 years ago
- Library for proving propositions quantified over finite setsβ14Sep 21, 2022Updated 3 years ago
- Godot Theme for JetBrains IDEs (PyCharm, IntelliJ, etc.)β16Nov 28, 2023Updated 2 years ago
- Solutions to Advent of Code 2021 in APLβ11Dec 1, 2022Updated 3 years ago
- Library classes for the Twelf Proof Systemβ22Jun 16, 2020Updated 6 years ago
- β42Apr 27, 2022Updated 4 years ago
- Apache Spark Connect for Rustβ32May 26, 2026Updated last month
- The implementation of an SMTLib dialect for xDSLβ19Apr 16, 2026Updated 2 months ago
- β12Mar 9, 2024Updated 2 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.
- Yamaha DX7 Synth and related presets available as Soundbanksβ25Sep 2, 2024Updated last year
- Download manga from kissmanga (which usually has good translations)β29Sep 1, 2022Updated 3 years ago
- β33Jun 29, 2026Updated last week
- Find devices connected to the same wifi that your pc connected toβ13Jun 28, 2024Updated 2 years ago
- Meta-programming utilities for Agda.β20Jun 15, 2026Updated 2 weeks ago
- Notes relating to using PC9801/9821 (and possibly other retro PC system) disks in Linuxβ21May 15, 2021Updated 5 years ago
- An agda2hs-compatible library for well-scoped syntaxβ11Apr 15, 2026Updated 2 months ago