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.
Sorting:
- A GDB frontend for Linux.β22Mar 1, 2025Updated last year
- π The starter kit for using Rippletideβ65Updated this week
- Syntax highlight text using Vimβ17Dec 28, 2018Updated 7 years ago
- β20Aug 30, 2025Updated 6 months ago
- [ECCV 2024 (Oral)] Towards Scene Graph Anticipationβ19Mar 10, 2026Updated 2 weeks ago
- DigitalOcean Gradient AI Platform β’ AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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.β13Apr 19, 2025Updated 11 months ago
- Dynamic IP address change by click for router on openwrt firmwareβ21Apr 22, 2025Updated 11 months ago
- β17Jan 3, 2025Updated last year
- A WASI AVS runtime.β26Updated this week
- Nethack 3D for OS Xβ13Apr 1, 2024Updated last year
- README.mdβ20Updated this 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β¦β14May 16, 2022Updated 3 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensionalβ11Dec 7, 2019Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient β’ AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- This fabric mod adds permission checks into vanilla, to allow for full permission customization.β36Updated this week
- 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 3 months ago
- Ready-to-use agent that can interact directly with any tool or native endpoint, in less than 5 lines of codeβ46Oct 16, 2025Updated 5 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 6 years ago
- OSγͺγγ§εγPC98γγγΌγ―γΌγ«γγ§γγ(解θͺ¬δ»γ)β13Jul 20, 2020Updated 5 years ago
- Library for proving propositions quantified over finite setsβ14Sep 21, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean β’ AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Apache Spark Connect for Rustβ29Feb 13, 2026Updated last month
- 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 3 years ago
- The implementation of an SMTLib dialect for xDSLβ17Mar 16, 2026Updated last week
- Notes relating to using PC9801/9821 (and possibly other retro PC system) disks in Linuxβ20May 15, 2021Updated 4 years ago
- β12Mar 9, 2024Updated 2 years ago
- Yamaha DX7 Synth and related presets available as Soundbanksβ16Sep 2, 2024Updated last year
- Managed Database hosting by DigitalOcean β’ AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Download manga from kissmanga (which usually has good translations)β29Sep 1, 2022Updated 3 years ago
- β27Updated this week
- Find devices connected to the same wifi that your pc connected toβ13Jun 28, 2024Updated last year
- Meta-programming utilities for Agda.β20Aug 5, 2025Updated 7 months ago
- An agda2hs-compatible library for well-scoped syntaxβ11Nov 6, 2025Updated 4 months ago
- A Python library to easily build, train, and test your CNN AI models.β21Jan 16, 2026Updated 2 months ago
- π¦ Good as Rust, More low than C - Carla use Morgana as compilation back-end, comptime low than LLVM and designed for Carla's needsβ13Mar 6, 2026Updated 3 weeks ago