A simple and fast text editor
☆16Jun 3, 2026Updated 5 months 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:
- Vim plugin: Emulate Emacs' narrowing feature☆14Mar 24, 2012Updated 14 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- Unison syntax highlighting for VS code☆10Jul 13, 2022Updated 4 years ago
- Example project showing the project structure of a simple chat app built with IHP☆10Aug 30, 2022Updated 4 years ago
- ☆20Aug 30, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Solutions to Advent of Code 2021 in APL☆11Dec 1, 2022Updated 3 years ago
- Automatically discover mathematical expressions that best fit your data using genetic programming with e-graph optimization.☆14Apr 12, 2026Updated 6 months ago
- An agda2hs-compatible library for well-scoped syntax☆11Aug 26, 2026Updated 2 months ago
- Lean 4 kernel with NbE☆18Oct 28, 2026Updated last week
- Experimental library for Narya☆13Aug 6, 2025Updated last year
- lucid + htmx = lucid-htmx☆19Jul 31, 2024Updated 2 years ago
- a simple brainfuck interpreter written in porth.☆14Oct 13, 2021Updated 5 years ago
- ☆15Dec 19, 2022Updated 3 years ago
- ☆17Jan 3, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Javascript runtime built in VSCode text editor.☆14Dec 9, 2022Updated 3 years ago
- A number guessing game with a p-adic twist.☆13Oct 13, 2023Updated 3 years ago
- Unison base libraries☆25Sep 25, 2025Updated last year
- An implementation of scoped algebraic effects and handlers in Agda.☆18Mar 11, 2021Updated 5 years ago
- Library for proving propositions quantified over finite sets☆15Sep 21, 2022Updated 4 years ago
- Exemplary real world application built with Imba☆16Jul 6, 2024Updated 2 years ago
- Experiments with Realizability in Univalent Type Theory☆20Oct 21, 2024Updated 2 years ago
- A Galilean revolution for computing: Unboundedly scalable reliability and efficiency☆16Aug 6, 2023Updated 3 years ago
- Neovim plugin for forester☆21Nov 18, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A port of ping crm demo to Imba, node and edgedb using imba and node inertia adapters☆22Apr 13, 2023Updated 3 years ago
- Experimental JS bindings for idris2-rhone☆21Oct 22, 2023Updated 3 years ago
- formalization of an equivariant cartesian cubical set model of type theory☆21Jan 3, 2025Updated last year
- A toy app showing SSR for Elm☆23Dec 10, 2022Updated 3 years ago
- Library classes for the Twelf Proof System☆22Jun 16, 2020Updated 6 years ago
- ☆11Sep 29, 2017Updated 9 years ago
- My Advent of Code solutions☆23Mar 31, 2026Updated 7 months ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆30Feb 1, 2022Updated 4 years ago
- Base code for writing blender addons in clojure☆12Jun 23, 2020Updated 6 years ago
- 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.
- ☆21Apr 6, 2026Updated 6 months ago
- Yosys RTLIL dialect for MLIR☆25Jun 12, 2025Updated last year
- A Haskell monad transformer library for data validation☆38Aug 17, 2023Updated 3 years ago
- Floating Point Semantics Mechanization for Lean☆26Jun 18, 2026Updated 4 months ago
- Probabilistic data structures and sketching algorithms in Clojure☆13May 27, 2026Updated 5 months ago
- A library to diff and patch clojure(script) datastructures☆10Nov 23, 2014Updated 11 years ago
- My Linux dotfiles☆24Aug 24, 2026Updated 2 months ago