A simple and fast text editor
β13Aug 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.
Sorting:
- A GDB frontend for Linux.β22Mar 1, 2025Updated last year
- π The starter kit for using Rippletideβ74Apr 2, 2026Updated last month
- Syntax highlight text using Vimβ17Dec 28, 2018Updated 7 years ago
- β20Aug 30, 2025Updated 8 months ago
- [ECCV 2024 (Oral)] Towards Scene Graph Anticipationβ19Mar 10, 2026Updated last month
- End-to-end encrypted email - Proton Mail β’ AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- 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
- β17Jan 3, 2025Updated last year
- Build decentralized event-driven applications.β28Apr 29, 2026Updated last week
- An implementation of scoped algebraic effects and handlers in Agda.β15Mar 11, 2021Updated 5 years ago
- Nethack 3D for OS Xβ13Apr 1, 2024Updated 2 years ago
- README.mdβ20Apr 24, 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 3 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.
- This fabric mod adds permission checks into vanilla, to allow for full permission customization.β37Mar 25, 2026Updated last month
- 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
- Minimalist cross-platform terminal based text editorβ17Dec 22, 2025Updated 4 months ago
- Ready-to-use agent that can interact directly with any tool or native endpoint, in less than 5 lines of codeβ48Oct 16, 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
- Wordpress hosting with auto-scaling - Free Trial Offer β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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β23Jun 16, 2020Updated 5 years ago
- β41Apr 27, 2022Updated 4 years ago
- Apache Spark Connect for Rustβ31Feb 13, 2026Updated 2 months ago
- The implementation of an SMTLib dialect for xDSLβ18Apr 16, 2026Updated 2 weeks ago
- Notes relating to using PC9801/9821 (and possibly other retro PC system) disks in Linuxβ20May 15, 2021Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer β’ AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Yamaha DX7 Synth and related presets available as Soundbanksβ19Sep 2, 2024Updated last year
- β12Mar 9, 2024Updated 2 years ago
- Download manga from kissmanga (which usually has good translations)β29Sep 1, 2022Updated 3 years ago
- β31Updated this week
- Find devices connected to the same wifi that your pc connected toβ13Jun 28, 2024Updated last year
- Meta-programming utilities for Agda.β20Apr 24, 2026Updated last week
- An agda2hs-compatible library for well-scoped syntaxβ11Apr 15, 2026Updated 3 weeks ago